{"entities":{"Q5200032":{"pageid":7229603,"ns":120,"title":"Item:Q5200032","lastrevid":51306854,"modified":"2026-01-17T16:51:52Z","type":"item","id":"Q5200032","labels":{"en":{"language":"en","value":"Sine qua non for large theory reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934358"}},"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":"Q5200032$39FE2A61-F61A-428A-AA7E-CD0D357BF591","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5496c506e47b13b5a2e2b1ba352afbc1769c5b6d","datavalue":{"value":{"text":"Sine Qua Non for Large Theory Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200032$2C5BDA32-0BB6-4793-B198-41368EE6BD10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af350216b8a9cbd76210217a207a1c6085c2b331","datavalue":{"value":"1341.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200032$0CA46FA2-945D-440D-AF6A-005B914D37D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7779ae5170cb2d5e6a330908b55cdb5b1e14df3f","datavalue":{"value":"10.1007/978-3-642-22438-6_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200032$BD4B0A3D-F705-467B-9432-DB5B15657678","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3be5b3c67c998dfa04f0460b39f1c19d2f459b3","datavalue":{"value":{"entity-type":"item","numeric-id":2817930,"id":"Q2817930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$C5DBE5F9-41F9-4FA9-B39C-7D88ECCA087B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$0F8A9ED6-EC20-45BE-95A5-CCEC017CCC3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$4CE894C4-AB90-4D9B-84BF-DFD598958C49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200032$C55F97F7-0FBF-4317-B904-6C05097AA4D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200032$16CD4184-5D35-4866-B684-947016017C88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5680817f45ba91db6d61b82c8feb9da6f636e12e","datavalue":{"value":"5934358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200032$D9BAA8B3-3AC9-4D16-B4B6-9BC03991D63A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$81F3CFFB-DA0A-4CE5-88F8-9CAEBE23365E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$A2D8A3CA-07A2-418C-9F50-B91A470105AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$3B0C7126-5A35-4399-9373-ABA457A3D906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$F08AC2A6-C18A-43FD-B057-8BC397C3512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$77399976-283B-43ED-8E60-8FD207125EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb73c000f0f03817a6acf7e0f71c0834e22b2178","datavalue":{"value":{"entity-type":"item","numeric-id":27898,"id":"Q27898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$105746DA-FE76-497D-9E0D-59A958037B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c2ac6c1c15bd263207487c53115a7cc6abe2547","datavalue":{"value":{"entity-type":"item","numeric-id":19033,"id":"Q19033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$DB882366-A379-4DAE-BCD5-E599FD15417B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12995736fe82d65918938fdd42b1d647f84d490b","datavalue":{"value":{"entity-type":"item","numeric-id":33178,"id":"Q33178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$BFD1A054-2069-4653-811E-3FE6FC9B544C","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":"Q5200032$8DA4883C-DA80-4004-87A2-3734BBF8CF28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d1d0a1c92fabb0f734a6b07749b14a770564efe","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200032$DE32C340-C159-4B77-9280-2E5ED6357561","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d92442cd989e89291f64ed3fe6e76ddfbac2f7c","datavalue":{"value":"W41512512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200032$2597556C-7C35-46EA-9BB2-3473D8214290","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba556dba03bf31cf58af7f286faede7069925ed","datavalue":{"value":{"entity-type":"item","numeric-id":951681,"id":"Q951681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$2CBC25B6-788B-4EAF-B43B-7F06F219288D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed74b949115e5d18e129857075f73d9c30bc7f7","datavalue":{"value":{"entity-type":"item","numeric-id":5747760,"id":"Q5747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$407CB1C1-849C-47C0-989D-63EFACB046E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741b1c2a1697c669d1b3bbdff87dd79f9f007366","datavalue":{"value":{"entity-type":"item","numeric-id":1006731,"id":"Q1006731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$113B48EE-6FA4-4243-8873-C0E68B7E6F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040388a79a6c169ddca977411c0445df2cb87a5b","datavalue":{"value":{"entity-type":"item","numeric-id":814429,"id":"Q814429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$BE7F999C-8C24-4BD7-9A9C-221EA049F10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$7FA9BB69-C45E-40FE-B7C5-7421758BB3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c66f03ae58a1984709b26c2c3abbc1577f8d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":3561621,"id":"Q3561621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$A4C0EAD3-8A3C-4C4F-B4CA-E205CDF9B3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81eb1bed6fe619f48a29f5aee3e7db00567c1586","datavalue":{"value":{"entity-type":"item","numeric-id":3608780,"id":"Q3608780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$1D1092CA-BAA0-40DD-AA6E-7C7FC27A457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7b4ce3ab96d4236a4c36e2f89589530011a89","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$CBB4EB55-5A8E-43FB-A3E3-57099B0165EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1b7572751e7c38d04d8597a88021abb417e889","datavalue":{"value":{"entity-type":"item","numeric-id":5747877,"id":"Q5747877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$5EB028CE-92F5-4483-903D-FC69246C8A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9655c068a195af6d54bbb62184581b058670a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3541722,"id":"Q3541722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200032$F286C85B-7519-4326-850F-3CB719B6B283","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee322674eef856e75b48817221f14e55ede38380","datavalue":{"value":{"entity-type":"item","numeric-id":1799131,"id":"Q1799131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cccd18a8b1c86a8b975524183e8593bc103677","datavalue":{"value":{"amount":"+0.7405397295951843","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":"Q5200032$4011D818-AC60-4B4F-A176-4C98F1FEECC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3689330747876239c0d461d9b8067368594eb019","datavalue":{"value":{"entity-type":"item","numeric-id":3568226,"id":"Q3568226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd370253c34fc529145393f068eddc4125ece65","datavalue":{"value":{"amount":"+0.7401642203330994","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":"Q5200032$2513EE87-C5B5-4EF5-8722-2C10F2946390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e41d5f5c3025f1a4cd3f2b92f4e83fa7a32452e","datavalue":{"value":{"entity-type":"item","numeric-id":5747782,"id":"Q5747782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08197e7c0d0c62c3adeaa2b5c6a3fdab3f06882f","datavalue":{"value":{"amount":"+0.7223272323608398","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":"Q5200032$A707936B-11B1-4C8E-A9C3-2E1F8B69209C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04886eeb7acb89866a6321699cc037392628dd4","datavalue":{"value":{"entity-type":"item","numeric-id":2908509,"id":"Q2908509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f651305487d3a699dcc360eb646c67379518ad62","datavalue":{"value":{"amount":"+0.7162597179412842","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":"Q5200032$731CD3A6-7264-484C-915E-C60E67C4D8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1a3dec55f299e729942970011656ab570722aa","datavalue":{"value":{"entity-type":"item","numeric-id":3608780,"id":"Q3608780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f713e61b3140c10b7bb6872e136fc790330d11","datavalue":{"value":{"amount":"+0.7136067748069763","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":"Q5200032$BC2712DC-3F0A-4E44-8B04-7AA732CE016C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200032"}}}}}