{"entities":{"Q2566063":{"pageid":2576806,"ns":120,"title":"Item:Q2566063","lastrevid":74231193,"modified":"2026-04-14T19:04:59Z","type":"item","id":"Q2566063","labels":{"en":{"language":"en","value":"Controlling witnesses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207219"}},"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":"Q2566063$3B4C4293-ECE5-479B-ABC2-814A9BBE1F27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"221bb6a928751704bc982f41709cfaf7b34c0977","datavalue":{"value":{"text":"Controlling witnesses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566063$6DF1BFA7-DE77-4A0E-8888-858795CBCAB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"784dbbd13b5825fc73b2a19fdbdf2fc6a30118cf","datavalue":{"value":"1090.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566063$40BFF669-52DD-4409-AD90-ABB9C546DFA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566063$0B37E5BA-2311-4B66-8F1B-9F7021AE76F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566063$A1F99507-2208-447B-81BE-E22EB06D3B1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566063$23899D2F-F0CB-488A-A43D-3F169F9FAEA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566063$D355B7E2-FFFB-4A57-9A41-A0317E03A869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566063$A63446FB-55CD-4077-877C-79148568F848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566063$B55B37F8-268E-432B-B1EB-D23A770E8107","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1574da3483043d3433a8c07ddc914eb338ae420","datavalue":{"value":"2207219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566063$3181906B-C351-4482-90DC-4E3295E4D7B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c24935dcad54bb8b35bd2297a2d654d149a5b","datavalue":{"value":"constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566063$65BABA9D-DAB5-4808-B052-F835C60FD729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566063$4CBFE3C9-C4B1-42FF-A4A4-21F706E873F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566063$99683A07-6CDE-44DD-80E4-C5DB9018ADFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc7d8419214870bb77d24d6b585f7fe5d056d134","datavalue":{"value":"constructive provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566063$9DF7ABCC-F171-4D04-BA3B-E764960A1979","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":"Q2566063$0297E2C6-74F1-4823-9C13-7BF16D54E6A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04b6c0d92a2da6a44ecf6c40d621b2b4b774b89d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566063$73C78DBF-102D-4422-B791-7E59669026D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f90ed4708ce5ef0ec6a014d5082ad974985397a","datavalue":{"value":"W4213261824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566063$24448070-5956-4A57-A713-4E1ADB895AA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"765e81f4b975ab7d764f81dfa02c3f847120bea9","datavalue":{"value":{"entity-type":"item","numeric-id":4681897,"id":"Q4681897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566063$DDE8A27A-9C9B-4402-9A75-F843F4410460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566063$70D9AA8C-6680-463B-8E11-CA330247D1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50569bab229d364cd322407418c533adee44dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1899140,"id":"Q1899140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566063$27989EA1-939C-4914-B573-6FD1B839EC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566063$3FD7C797-93F8-4DB2-9967-737A10E1E499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566063$631E06B1-05B9-46C2-A08C-2F369415CFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566063$54173B1B-02E7-47BD-8B63-27511AE7D188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566063$0D91F9E7-1C99-44EF-9E69-418644A7F485","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"275f2ad4a1c81ba5c83c7cfeb3a279abcb884064","datavalue":{"value":"10.1016/J.APAL.2005.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566063$8181367A-D992-41E9-9E5D-E553469B8867","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f48ad57df0853da0945069601a48d618e749a9b5","datavalue":{"value":{"entity-type":"item","numeric-id":463779,"id":"Q463779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025b25bb26952a634ca0ac3f440a29ab232c8bb7","datavalue":{"value":{"amount":"+0.74700737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566063$667C9E73-C808-41C6-92C4-AE9C6579EAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefce0c4dc0d7b2dc4d117f0292055ba081aaeea","datavalue":{"value":{"entity-type":"item","numeric-id":4452919,"id":"Q4452919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2d86ff9e34538b10b8b3763cd40929f2ed6b14","datavalue":{"value":{"amount":"+0.74694663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566063$9AD021F8-0929-47D1-9471-33A4681B68C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ed526babd1d7c25a4d17add79a4439b422ad01","datavalue":{"value":{"entity-type":"item","numeric-id":3540919,"id":"Q3540919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade6c38aae9acaf2f052c26f700d12bab25c0b39","datavalue":{"value":{"amount":"+0.7257818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566063$861981AE-7544-4851-B403-361A8DC35DAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Controlling witnesses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Controlling_witnesses"}}}}}