{"entities":{"Q115029236":{"pageid":109683432,"ns":0,"title":"Q115029236","lastrevid":1783153947,"modified":"2022-12-03T03:45:47Z","type":"item","id":"Q115029236","labels":{"en":{"language":"en","value":"Data-driven lemma synthesis for interactive proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article published in 2022"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu espubliz\u00e1u en 2022"},"ar":{"language":"ar","value":"\u0645\u0642\u0627\u0644\u0629 \u0628\u062d\u062b\u064a\u0629 \u0646\u0634\u0631\u062a \u0641\u064a 31 \u0623\u0643\u062a\u0648\u0628\u0631 2022"},"bg":{"language":"bg","value":"\u043d\u0430\u0443\u0447\u043d\u0430 \u0441\u0442\u0430\u0442\u0438\u044f"},"bn":{"language":"bn","value":"\u09e9\u09e7 \u0985\u0995\u09cd\u099f\u09cb\u09ac\u09b0 \u09e8\u09e6\u09e8\u09e8-\u098f \u09aa\u09cd\u09b0\u0995\u09be\u09b6\u09bf\u09a4 \u09ac\u09c8\u099c\u09cd\u099e\u09be\u09a8\u09bf\u0995 \u09a8\u09bf\u09ac\u09a8\u09cd\u09a7"},"ca":{"language":"ca","value":"article cient\u00edfic"},"cs":{"language":"cs","value":"v\u011bdeck\u00fd \u010dl\u00e1nek"},"da":{"language":"da","value":"videnskabelig artikel udgivet 31. oktober 2022"},"de":{"language":"de","value":"wissenschaftlicher Artikel"},"el":{"language":"el","value":"\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03bf\u03bd\u03b9\u03ba\u03cc \u03ac\u03c1\u03b8\u03c1\u03bf"},"eo":{"language":"eo","value":"scienca artikolo"},"es":{"language":"es","value":"art\u00edculo cient\u00edfico publicado en 2022"},"et":{"language":"et","value":"teaduslik artikkel"},"fi":{"language":"fi","value":"tieteellinen artikkeli"},"fr":{"language":"fr","value":"article scientifique"},"gl":{"language":"gl","value":"artigo cient\u00edfico"},"he":{"language":"he","value":"\u05de\u05d0\u05de\u05e8 \u05de\u05d3\u05e2\u05d9"},"hu":{"language":"hu","value":"tudom\u00e1nyos cikk"},"id":{"language":"id","value":"artikel ilmiah"},"it":{"language":"it","value":"articolo scientifico"},"ja":{"language":"ja","value":"2022\u5e74\u306e\u8ad6\u6587"},"ka":{"language":"ka","value":"\u10e1\u10d0\u10db\u10d4\u10ea\u10dc\u10d8\u10d4\u10e0\u10dd \u10e1\u10e2\u10d0\u10e2\u10d8\u10d0"},"ko":{"language":"ko","value":"2022\ub144 \ub17c\ubb38"},"nan":{"language":"nan","value":"2022 n\u00ee l\u016bn-b\u00fbn"},"nb":{"language":"nb","value":"vitenskapelig artikkel"},"nl":{"language":"nl","value":"wetenschappelijk artikel"},"nn":{"language":"nn","value":"vitskapeleg artikkel"},"oc":{"language":"oc","value":"article scientific"},"pl":{"language":"pl","value":"artyku\u0142 naukowy"},"pt":{"language":"pt","value":"artigo cient\u00edfico"},"pt-br":{"language":"pt-br","value":"artigo cient\u00edfico"},"ro":{"language":"ro","value":"articol \u0219tiin\u021bific"},"ru":{"language":"ru","value":"\u043d\u0430\u0443\u0447\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f"},"sk":{"language":"sk","value":"vedeck\u00fd \u010dl\u00e1nok"},"sq":{"language":"sq","value":"artikull shkencor"},"sr":{"language":"sr","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"sr-ec":{"language":"sr-ec","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"sr-el":{"language":"sr-el","value":"nau\u010dni \u010dlanak"},"sv":{"language":"sv","value":"vetenskaplig artikel"},"tg-cyrl":{"language":"tg-cyrl","value":"\u043c\u0430\u049b\u043e\u043b\u0430\u0438 \u0438\u043b\u043c\u04e3"},"th":{"language":"th","value":"\u0e1a\u0e17\u0e04\u0e27\u0e32\u0e21\u0e17\u0e32\u0e07\u0e27\u0e34\u0e17\u0e22\u0e32\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c"},"tl":{"language":"tl","value":"artikulong pang-agham"},"tr":{"language":"tr","value":"bilimsel makale"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u0436\u043e\u0432\u0442\u043d\u0456 2022"},"vi":{"language":"vi","value":"b\u00e0i b\u00e1o khoa h\u1ecdc"},"zh":{"language":"zh","value":"2022\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-hant":{"language":"zh-hant","value":"2022\u5e74\u5b78\u8853\u6587\u7ae0"},"en-gb":{"language":"en-gb","value":"scientific article published on 31 October 2022"},"en-ca":{"language":"en-ca","value":"scientific article published on 31 October 2022"},"zh-hk":{"language":"zh-hk","value":"2022\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-mo":{"language":"zh-mo","value":"2022\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-tw":{"language":"zh-tw","value":"2022\u5e74\u5b78\u8853\u6587\u7ae0"},"yue":{"language":"yue","value":"2022\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-hans":{"language":"zh-hans","value":"2022\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-cn":{"language":"zh-cn","value":"2022\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-sg":{"language":"zh-sg","value":"2022\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-my":{"language":"zh-my","value":"2022\u5e74\u5b66\u672f\u6587\u7ae0"},"wuu":{"language":"wuu","value":"2022\u5e74\u5b66\u672f\u6587\u7ae0"}},"aliases":{},"claims":{"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"9da45062260a7ddbf7a44e5ab91e35d7b9f0899c","datavalue":{"value":{"entity-type":"item","numeric-id":93356659,"id":"Q93356659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q115029236$106F8BDA-B735-47AD-820F-2A15BB1AFB83","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"59ea272a99ac38ac7dab7005ef49f5098cf8df65","datavalue":{"value":{"text":"Data-driven lemma synthesis for interactive proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q115029236$234B988F-0C21-4D47-8463-FDEB8078A83A","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"afd954b049545ed3c8b09bada864804f1338aa6e","datavalue":{"value":"Aishwarya Sivaraman","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q115029236$7D134176-9A29-48C9-8C17-F5C8E7918166","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"c3679638e42cdedafcc692c59f2b915c4b3f92cb","datavalue":{"value":"Alex Sanchez-Stern","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q115029236$8BF72726-D5B8-4373-B3CA-CE507EB51B5B","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"18aea0bc24ab174ea16824ca40cca8e89dbd354a","datavalue":{"value":"Bretton Chen","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q115029236$E5720691-6E40-4F86-B4CF-F90E6CDCCA16","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"2a4c6f6042dff76cd13520fa73d8f24294f38e83","datavalue":{"value":"Sorin Lerner","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q115029236$04563C88-DF90-42E3-8BD9-B6AD14797067","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"928fe108cda40fe3e4f0c87068c9d0c17c267235","datavalue":{"value":"Todd Millstein","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q115029236$E9C73B7D-3090-4EC1-9B84-09ABF6ED7E0F","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"3a62ffbf531a0e548857cd887330861042641d2b","datavalue":{"value":"505-531","type":"string"},"datatype":"string"},"type":"statement","id":"Q115029236$FFDB9DC0-7850-4032-99E5-47FCFF39A0AA","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q115029236$04E3A846-5EFC-4ED4-B12C-AD6979C7BB18","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q115029236$36C0F2E0-B719-471B-BEF7-6A3C1EF8E220","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"60b289eb7d419566d54b609f600e20cccb218505","datavalue":{"value":"OOPSLA2","type":"string"},"datatype":"string"},"type":"statement","id":"Q115029236$8704DFC1-6A4C-43A6-9E86-E0E312569691","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"7ec55205f2db1067ff9cc258d63c9c187f3bc517","datavalue":{"value":"6","type":"string"},"datatype":"string"},"type":"statement","id":"Q115029236$0C2B4DF7-56CD-4E7D-AA6F-351671688200","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"3ff073610dbd10389fefb22e98420f603cc6e526","datavalue":{"value":{"time":"+2022-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q115029236$EEEF340E-4869-40FD-802D-D91386150A89","rank":"normal","references":[{"hash":"a439ae3eeb88d20a86ba9f00402d513badb8276b","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"cc77b379026d440571178e5510c2d9feb04cb85b","datavalue":{"value":"10.1145/3563306","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"fb985ecae8bd76cd61bc88b16f894d53064deeac","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1145/3563306","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"6577bcd54cebdf28cae7cc0b7bb7b693de8e3886","datavalue":{"value":{"time":"+2022-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}]},"sitelinks":{}}}}