{"entities":{"Q5212839":{"pageid":7242410,"ns":120,"title":"Item:Q5212839","lastrevid":58478661,"modified":"2026-04-05T09:47:06Z","type":"item","id":"Q5212839","labels":{"en":{"language":"en","value":"Why extension-based proofs fail"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7160572"}},"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":"Q5212839$23039127-1F9C-4DA2-9FF1-96C120E49263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a848dc6df7a716d061f79ebb40a1e570325be9e","datavalue":{"value":{"text":"Why extension-based proofs fail","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212839$C7644CBE-5497-41A6-811F-973D38FA409A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c350ae0ab63600322ab8199e21365c765fed2e5","datavalue":{"value":"1433.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212839$4E8339B8-A5C1-4AA2-9C0D-FC0348CD91F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de751caeea4f3035a4749fe9274ba18ea75c3434","datavalue":{"value":"10.1145/3313276.3316407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212839$5CBABE9F-5B51-4736-B362-7516D95F9D35","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":"Q5212839$AE2849A1-CF7F-4E82-B637-ED09B2DC357C","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":"Q5212839$E78BD5C1-E7C8-4721-956D-93EF07C3E746","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":"Q5212839$09DF3AE6-3B35-4527-B228-4D6C39663B46","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":"Q5212839$0BCEF920-B3F5-4581-9800-ACC432FB3738","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":"Q5212839$04249265-E4A8-42DB-9F79-515FE7C3B63D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec30071785b97eb964fee27a72d549b6933f168","datavalue":{"value":{"entity-type":"item","numeric-id":5212741,"id":"Q5212741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212839$45D45EEE-B668-4131-B168-D9166BD54485","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d2fff2838771d2e0e512e8ba6e71ab0bdd7329b","datavalue":{"value":{"time":"+2020-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212839$97519128-62FC-41D1-AE8F-C417806291D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b7e9b40495f5a1157df9f47f1a62bcb3774082c","datavalue":{"value":"https://arxiv.org/abs/1811.01421","type":"string"},"datatype":"url"},"type":"statement","id":"Q5212839$3F4F189D-3491-4003-A97A-1AFF79308218","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212839$EDA7B0C0-F0B2-4AA4-9730-28E8309594A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212839$93E6C371-9D40-42C0-9691-C0B715BE422D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cef15cf5fba897146c13698caf82ef3d9705f38c","datavalue":{"value":"7160572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212839$581DDDF8-294A-4A19-BCA4-552289D9BFBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"682c6e950e476eb53c91dd09025b29e4ab7104ea","datavalue":{"value":"combinatorial topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212839$009E39F5-F258-42EF-B67D-FE3A373E0A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f618181bd0c34a113954150f91725a26101a70","datavalue":{"value":"impossibility proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212839$7BFE1FB8-7517-4E3A-99F9-5F8FBC3439E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de0093b6cc0f07d3c1fd262421faffe097c235b4","datavalue":{"value":"set agreement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212839$3D12A757-ED32-410B-BDF1-C4A1C4D23274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2243580d9a2c0a2e34dc0b800ad3bb9f7d979eb","datavalue":{"value":"valency arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212839$574849F7-A8C3-435D-8925-14F0691B6053","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":"Q5212839$3CBE535E-E042-4E66-B973-385147EFD13E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebeab56dd6f7f0a77dde803f5d3a05a0c895f12f","datavalue":{"value":"W2963106249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212839$FDBBC314-C5F1-4527-BBB0-43045C9DFB16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9838ab8170652eb5e316fe3f06826f8c0be94800","datavalue":{"value":{"entity-type":"item","numeric-id":4943878,"id":"Q4943878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fb7489844a3071e8893e8d8f69094547b39345","datavalue":{"value":{"amount":"+0.7943007946014404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5212839$5EEDE83A-48F6-47AE-B3A9-FFACCAD3575E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd6d807a5628a8d94f2e14f336a624f852f1fdf","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fb7489844a3071e8893e8d8f69094547b39345","datavalue":{"value":{"amount":"+0.7943007946014404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5212839$6B80CE7A-2916-444E-B286-9F3172507B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5235d4ab5a6091c160771bb18d625fbb898c67fd","datavalue":{"value":{"entity-type":"item","numeric-id":391997,"id":"Q391997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb71ac90f49d6cf39e7a2e8638bf80cc37125346","datavalue":{"value":{"amount":"+0.792944610118866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5212839$10FEB45D-2602-4985-A8EE-0063F62AC4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39203170f5b4b521195f5d9fe9a7eb1e2a015c66","datavalue":{"value":{"entity-type":"item","numeric-id":4909423,"id":"Q4909423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee313a85c15752af325f0a08c1f232e5d9d277c","datavalue":{"value":{"amount":"+0.7733917236328125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5212839$8EFC58FE-5DBA-412F-B13D-374286AA1227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c6c8f24276686a6f14767cd3885352c8e780aba","datavalue":{"value":{"entity-type":"item","numeric-id":834901,"id":"Q834901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427d9e94c619d140be3835b25c73b6c99aa85a46","datavalue":{"value":{"amount":"+0.7613556981086731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5212839$8C6EA372-4150-46B9-B868-7994BBC88178","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5212839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5212839"}}}}}