{"entities":{"Q5718567":{"pageid":7748121,"ns":120,"title":"Item:Q5718567","lastrevid":48632680,"modified":"2026-01-05T11:01:26Z","type":"item","id":"Q5718567","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247255"}},"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":"Q5718567$6F0C9D15-E44F-46C0-A6FA-4336AF9C8A9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"141963154058da66b023e8740642abc6c2e813fb","datavalue":{"value":"1096.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718567$04C7248B-2074-4233-A3C9-4779BEEC6A69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718567$86302335-D636-4CED-82A6-9643385A3FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06c1321f49508cea4a158e2ae71d33c1ecda72d","datavalue":{"value":{"entity-type":"item","numeric-id":693062,"id":"Q693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718567$9D0B189C-9E5D-4EA4-AD65-3F8BF887E39D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5718567$4D3704F4-E722-43DC-8455-E6C916583B9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718567$590D7C92-D6FC-4C46-B6DF-B18221D2C1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718567$77C618EE-4E48-43F6-923B-86ED80606573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718567$82BE2C93-BF14-45E2-9ECC-66C2E930083F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718567$AEC50BF4-F8CE-4CC0-B349-26A77E0FAEDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7cbd6bc9216971648790da1ca82bec55845d113","datavalue":{"value":"2247255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718567$E8D0BED8-883E-462B-B89D-C6B0FCE6DA45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"497d013d164d7dca867ad0988e220395c8816235","datavalue":{"value":"extracting constructive content from classical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718567$048E2AED-3B7E-40E8-AE3D-23350EB42F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca943c276d33fd3a4cb1ec720c72d30d810ec48","datavalue":{"value":"infinite sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718567$A3A1B66C-FA28-4C54-9549-F727A49CDB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd0d47dc908571e2d93a0bc5e1abd53e5022057","datavalue":{"value":"nonconstructive choice principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718567$134FFA0D-D48F-4261-BB41-FF28EDA69B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718567$667C37BC-8328-4970-93EE-F46C47DFD07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39209d488652367428ee47b9a50e6491f07de09","datavalue":{"value":"Higman's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718567$55583560-8544-44EA-8CEB-3CED62F0620B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df9588964c7d0154f753cb6c4cd259081ee49bb","datavalue":{"value":"proof-theoretic optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718567$9A70D4BF-50E4-4380-BBFD-2D00ECBF953C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0152ee091934a24d3e9fc518317a482c80b673f6","datavalue":{"value":"interactive proof system Minlog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718567$D40B1ED9-CE17-47BB-A30A-A64B3ADE7E7B","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":"Q5718567$0DDD9022-C9EB-43DE-BBC4-8B18A680DE64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0037b042d10908455dbd830bb139aacf188ace7","datavalue":{"value":{"entity-type":"item","numeric-id":2482844,"id":"Q2482844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76dc638b0acbcbad51c4c9f1940fd3466db8e0e","datavalue":{"value":{"amount":"+0.8156468272209167","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":"Q5718567$C182C334-51AB-45CA-9E72-3EF150E98D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f049ad994992d3502281cb465c6a726710ff80d4","datavalue":{"value":{"entity-type":"item","numeric-id":4012886,"id":"Q4012886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7320913ba91414a3d9b4c2f812289d882c3caa28","datavalue":{"value":{"amount":"+0.779163122177124","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":"Q5718567$841BF54A-AE3F-4932-B397-2CC7A4A7C036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c64f6636386f48a39eb167327ecb52b30231284","datavalue":{"value":{"entity-type":"item","numeric-id":2752052,"id":"Q2752052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704432499d747ab2e4f23e7a990afc04110694a2","datavalue":{"value":{"amount":"+0.7720708250999451","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":"Q5718567$35F7E91F-25EB-4289-ADC5-D4501E491FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3729b0e8c4dddb325f1b0df9df0be3d5efa45e","datavalue":{"value":{"entity-type":"item","numeric-id":4883280,"id":"Q4883280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb542f877741f6a8cdc70b052f10a42d4bd059be","datavalue":{"value":{"amount":"+0.7594127058982849","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":"Q5718567$F8279E69-745D-4068-BC64-0EE55E14F894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd717f4b364c057469372f99f8840236b942a9db","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039f932a9c57d0131d65f89cd65cc510a49bbef5","datavalue":{"value":{"amount":"+0.7587023377418518","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":"Q5718567$B6CCE49F-5652-4642-86A7-AF9D9C88A7D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5718567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5718567"}}}}}