{"entities":{"Q6567778":{"pageid":14178933,"ns":120,"title":"Item:Q6567778","lastrevid":55703998,"modified":"2026-02-17T21:20:21Z","type":"item","id":"Q6567778","labels":{"en":{"language":"en","value":"Higher-order proof by consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876733"}},"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":"Q6567778$1AB4335F-B9DA-4A7D-897B-6FEB49417B2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c1e4db4962506154f917412e93ecd1a3c7540fb","datavalue":{"value":{"text":"Higher-order proof by consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567778$B805E986-60DE-45A1-B6B5-345AFC3F280E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a17e0792531a87d5eb0a2458f5c3488b946f056e","datavalue":{"value":"1541.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567778$9ED89E02-78F6-4ABD-B979-1420FCD1ED65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec1012021d4995f84a1c660ca2d9c287f9d901a4","datavalue":{"value":"10.1007/3-540-62034-6_56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567778$BC5C73FD-19B9-4865-8487-508AA4FC75F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8f3776d1bb235b0f97115a2b7772965fa7fbe5","datavalue":{"value":{"entity-type":"item","numeric-id":4895542,"id":"Q4895542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$3D5E04C1-D413-4754-ADFB-E064231BE677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"223489511b64196527b95b35561ffff391885c10","datavalue":{"value":{"entity-type":"item","numeric-id":4229810,"id":"Q4229810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$C3AE3666-B891-49BF-B9B5-526ED4100FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b0aa3f954e9adb388216269ba8382b87a46cab3","datavalue":{"value":{"entity-type":"item","numeric-id":1317861,"id":"Q1317861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$30E9A723-B4D4-4B5D-962E-7F45AF93DD03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567778$20B905F9-D405-42F2-AB07-BD56FBC97177","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567778$924AE60D-3E1A-4A32-9107-D928F47AB32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567778$458A70D2-485B-408E-B247-F50387BF254D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8160755fc2fb079def3ef24e89069c9db071c99b","datavalue":{"value":"7876733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567778$6353A873-C09F-4361-9F67-F2A2AB245F0E","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":"Q6567778$99EB27CD-ACE8-4E79-B9D2-8DE226D7B9EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$806FA668-2F01-4852-A10E-3383650FC817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0d59414c9b5c266b18b5ddd6d4e96c6d9862f5","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$8BA9D73E-9450-49AB-BB7A-44862BA902BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$6B2274F5-30FD-4F64-BAC6-E00C7C842131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$55FF398A-C11A-42AE-B99F-200FCA2BB792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$9CA93B8C-808E-43EE-87AC-222A7448CC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$D4AF346D-8543-4271-B48F-059D56A2C220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5464a240ea005d91846c0ed6384f1e539280600","datavalue":{"value":{"entity-type":"item","numeric-id":5055834,"id":"Q5055834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$731BDC5D-FC12-48E8-BCEE-D601072D2373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$AA55DB9A-6D62-47B5-878C-563243560125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$5EB0C2CA-5144-4166-A794-033B86D7DE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$261C854A-5661-4457-A8B9-363B9262ACBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ffcdb6809d7206633a782158c40b3eb602629cf","datavalue":{"value":{"entity-type":"item","numeric-id":4246727,"id":"Q4246727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$5627E5AC-E1A2-4672-8555-36AF37F1C8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175bd9c427b5e45bd10716095d7d0f070a9c3827","datavalue":{"value":{"entity-type":"item","numeric-id":1336767,"id":"Q1336767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$5A91BDD6-9853-440B-A9CE-4DE636DE62E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e9db7d26f0c7b0b45d432b73750c58bf2f80eb","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$CA98393F-AE52-44A1-8EB1-EF308CC02649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$9F45DA66-BE13-4233-8A5E-8D1355C7971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$9E9CDAF6-21E8-498F-A26B-21AE661616F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e7eb75745b42d1e8b1dfbc0c8dea9db9c7c786","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$F0A7FA93-4CB8-463B-A951-AD8323984185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567778$AC2D950B-D43F-41B9-A060-56EFB4F84DC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719abdf64fbafcee49ac77342ac5d943f9d200e","datavalue":{"value":{"entity-type":"item","numeric-id":1854350,"id":"Q1854350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83d15f55a889f95fa7ae549bd2c307e30002206","datavalue":{"value":{"amount":"+0.798642635345459","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":"Q6567778$97B065CE-8801-4598-94DA-C81600C6DD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12141e2aa877229e96e51c0f331873e7688e14b","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a499c5664fe9dcf05b10ea9653364c5ca99ddc1b","datavalue":{"value":{"amount":"+0.794899582862854","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":"Q6567778$659404A3-A6A0-4BDC-9E29-31322E934D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8537b16bd2ab63f05b68cdcf3fa52d30ef9300","datavalue":{"value":{"entity-type":"item","numeric-id":5881188,"id":"Q5881188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d76ba300e60bd95169ae06de461da10363c9980","datavalue":{"value":{"amount":"+0.7635039687156677","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":"Q6567778$EEAED5DE-CF27-4CD6-ABE9-AB897BF3B0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf406162bd23dd9c925caa640d4857ed42d8c326","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a72dc087eb302bcf9a8324e2e22c919cf863ce6","datavalue":{"value":{"amount":"+0.7447705268859863","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":"Q6567778$86FF9FCB-5853-4987-B3E1-C2897D2B01BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db0fc7f44189aaffeb910455ec48d98d1e35fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5901573,"id":"Q5901573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f83edda61f509317537f6f1c734875b6702cc84","datavalue":{"value":{"amount":"+0.7308374047279358","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":"Q6567778$F98A60B4-3559-4E87-AD5D-9DCB6254D9E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567778"}}}}}