{"entities":{"Q5855206":{"pageid":7884757,"ns":120,"title":"Item:Q5855206","lastrevid":32506257,"modified":"2024-03-19T23:02:25Z","type":"item","id":"Q5855206","labels":{"en":{"language":"en","value":"Brief Announcement: Why Extension-Based Proofs Fail"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7323169"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855206$F895703B-D483-406D-B8C8-AD0F41DB146F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9af2d6d81a15abf578a3d6f813b91af0245a9e62","datavalue":{"value":{"text":"Brief Announcement: Why Extension-Based Proofs Fail","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5855206$2B17DEE4-ED5A-49FD-AE83-1092DB08DD70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a5b54ceb6e3bc65bb5031e17b9accc24024fcd4","datavalue":{"value":"10.1145/3382734.3405743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855206$F4FE0EDE-9BF4-4157-8C2C-56307CEA7A50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf7160b1a2094cdb5915f4267698705367a11dc","datavalue":{"value":{"entity-type":"item","numeric-id":693078,"id":"Q693078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855206$78B20A0B-FFF4-44FC-9FCA-5D0E95783F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ad8972fdf94712a646aa5b2ddb3410c7c12f7b0","datavalue":{"value":{"entity-type":"item","numeric-id":352237,"id":"Q352237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855206$AA4F1858-D156-407E-B6C3-F32B591A4386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9c72ec4f82398db55bae829a02f3d07d5fddf65","datavalue":{"value":{"entity-type":"item","numeric-id":324623,"id":"Q324623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855206$7185462C-BF02-42DA-9FDE-C713ABE90530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c8bfbc4e679ec8a9507ac8d84c35248bde15d6b","datavalue":{"value":{"entity-type":"item","numeric-id":1657198,"id":"Q1657198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855206$1A7842FC-6FC3-4D36-B2A0-DFFEE6C30FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c522637bc24d083f03402417c0c001be6e22a60","datavalue":{"value":{"entity-type":"item","numeric-id":1988521,"id":"Q1988521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855206$1E1B2FE5-3102-4D83-B1AE-3E50FF8220A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8bcfe3766b03b51277c8ac682aa62b86f31a16a","datavalue":{"value":{"entity-type":"item","numeric-id":5854054,"id":"Q5854054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855206$3FBC15F3-CA64-465D-80DD-5884CB1F2426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90402026762cc285412ef8f1754a9bcdc7c2905a","datavalue":{"value":{"time":"+2021-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5855206$7B96E738-60BB-4F3F-8F2C-F8C57FED9A8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855206$B014EEF5-A4DC-4B49-9B5A-89925F1F9F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855206$1169D8B6-D6BB-4BCC-9AA5-1D431D5E94B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70abd553f04e99af0b3237efd8269a195eba7ecf","datavalue":{"value":"7323169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855206$0C885DCA-BFF4-47C5-BB86-E7289E10AC9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f618181bd0c34a113954150f91725a26101a70","datavalue":{"value":"impossibility proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855206$3FB9B4F1-0592-40D6-BBCF-12BD6114E041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de0093b6cc0f07d3c1fd262421faffe097c235b4","datavalue":{"value":"set agreement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855206$2C02DA0C-E5C7-48CB-B686-E265F2247109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2243580d9a2c0a2e34dc0b800ad3bb9f7d979eb","datavalue":{"value":"valency arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855206$E27E889F-1CF3-4DF4-890A-15E2EAFBAF14","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855206$3391EE84-5655-496F-AB3C-C233373F196A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6892b9b4d0988f4efc9d286299f2455d1f3715c","datavalue":{"value":"https://doi.org/10.1145/3382734.3405743","type":"string"},"datatype":"url"},"type":"statement","id":"Q5855206$32B3183D-A31D-48AC-9931-168115C421D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c081c2d9a6ec865ed3c1bb3bd95ee700fcb97ac","datavalue":{"value":"W3046630346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855206$0308F483-ABC9-4BC8-8E76-1C7D0ABCBB74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5855206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5855206"}}}}}