{"entities":{"Q5260992":{"pageid":7290560,"ns":120,"title":"Item:Q5260992","lastrevid":100543043,"modified":"2026-06-05T22:24:08Z","type":"item","id":"Q5260992","labels":{"en":{"language":"en","value":"Proofs and constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6454618"}},"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":"Q5260992$AFB82BC2-C88F-4537-B479-B770ECE75BA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39099e3f8013ed45087f297f1ed360f9b87e52d0","datavalue":{"value":{"text":"Proofs and Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5260992$F144D2BE-912A-4CBD-B160-3CCC51DDDD08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83cd65ab0669bdab00cc641726758cceefb7850b","datavalue":{"value":"1317.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260992$4D49C159-583A-46EB-BCB0-38B398429A9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7b21bfde243acbdadca4a1d19ad470a0b343d21","datavalue":{"value":"10.1007/978-94-007-0431-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260992$A0ABDD0D-3E6C-49B4-9726-AD1A1E56EF88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d6e27545f5ff87bd8e85f58155ee9385c69934","datavalue":{"value":{"entity-type":"item","numeric-id":595650,"id":"Q595650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5260992$6DF27A4B-BAD8-46D2-80FE-98218E184B49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80e3c41bdfb3050b4d3eeff6305ee865d9647ca8","datavalue":{"value":{"entity-type":"item","numeric-id":611305,"id":"Q611305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5260992$4DD0DB2C-0F6C-4C14-B5C4-0371BE5DAF55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad558bb8bb462498bde21669617f63f2228c7674","datavalue":{"value":{"time":"+2015-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5260992$F10B97CC-3859-468B-8AC0-55CC25CEE202","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260992$DB1D9007-428E-41D9-818F-C8C7622C04A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260992$89DA1F94-686D-4E87-B4AC-A533C82A022A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfdea56a5c7b55ea2481cd2c675ca3d5823614bd","datavalue":{"value":"6454618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260992$3E30B3F7-DE94-4E7D-9BE1-A5D8CEB9D150","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"959ae6b843c39c14e471e89b004d9fcaca130c9a","datavalue":{"value":"internal negations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260992$54D7968D-6173-4C69-BFA6-DA253AEFE632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738f72cd66f88f71dd012c0eed3d6280eef7f8f4","datavalue":{"value":"external negations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260992$018A094A-971B-42DA-9771-25E9858B9536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260992$A1BDAD71-1E2C-4B11-8945-9CE188AAB829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e2be2e67f3fb24787d04b10b8075474b623aa5","datavalue":{"value":"weak counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260992$9A2872C6-78EE-47D2-A0B9-4B7E9B8A203D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d53d4dd279e6429f0ed8bff59fc70ba492dd0458","datavalue":{"value":"theories of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260992$4FCB5CDC-6BFF-4753-AAD1-A53C07700CF2","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":"Q5260992$9E526533-AEED-4712-962A-31EE9D3403F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"277a0db4abbaa1e31f13ce72ff26bfbae88c8388","datavalue":{"value":"https://doi.org/10.1007/978-94-007-0431-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5260992$64C26508-806D-479F-ADE4-454927A41480","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"870ca1c7f011a5b0ee27981a6039570e4bba2b75","datavalue":{"value":"W944211517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260992$925C16C5-CF33-4506-988C-09F03241BF19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4004af71ac3195d9448708756e77f18c80a3f3","datavalue":{"value":{"entity-type":"item","numeric-id":3772216,"id":"Q3772216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23292b38931683f8fac4168e4b903fe578a6d79","datavalue":{"value":{"amount":"+0.776788592338562","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":"Q5260992$38311AD9-1E39-4D50-9F56-7027B86B1FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0229c053035564a0995089a05945344375b2537","datavalue":{"value":{"entity-type":"item","numeric-id":4918382,"id":"Q4918382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df3341783dc0a4057b65f0f6319671ebdeb2e91","datavalue":{"value":{"amount":"+0.7732605338096619","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":"Q5260992$72516C1F-163F-4DCF-AA97-62C80CE5EC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a48d7d407a8146023321d2f19353502760e67a1","datavalue":{"value":{"entity-type":"item","numeric-id":4817198,"id":"Q4817198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43197f84ec43c6bd2e9ad14e685778ca977a4a8","datavalue":{"value":{"amount":"+0.7718195915222168","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":"Q5260992$3D1E31E9-D8E9-49DF-86E1-5CF96ED8EB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad12851235ae3925eb643408c57dec44b357243e","datavalue":{"value":{"entity-type":"item","numeric-id":2505640,"id":"Q2505640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abda95f124e4a94a54e99d4183d4f9e3a3783d5f","datavalue":{"value":{"amount":"+0.7675887942314148","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":"Q5260992$033377DE-A5E0-414F-A08F-A35B6E229981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151cc7be9b8a4dc979a4b844a549888443bc24c2","datavalue":{"value":{"entity-type":"item","numeric-id":5688693,"id":"Q5688693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13fa519debbdead62e75be1827eb24223cb75b0","datavalue":{"value":{"amount":"+0.7673948407173157","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":"Q5260992$68453314-41E7-46B3-895F-CC145F218749","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs and constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proofs_and_constructions"}}}}}