{"entities":{"Q2765568":{"pageid":2776307,"ns":120,"title":"Item:Q2765568","lastrevid":83180597,"modified":"2026-05-07T06:32:30Z","type":"item","id":"Q2765568","labels":{"en":{"language":"en","value":"Intuitionistic choice and restricted classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694863"}},"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":"Q2765568$036A1EC8-397F-4540-A819-61F8A8656A72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5a815399539f6343d833e6ba14d18af24474dbc","datavalue":{"value":"0992.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765568$45984707-C1D5-4B77-994A-7DFC986AB295","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765568$5F19850C-A1E9-4C2C-A575-BF854702A838","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f8c686acf111f5870bb8b8a79eaa7f4f60ee12e","datavalue":{"value":{"time":"+2002-09-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":"Q2765568$A54E778C-8C23-4DF7-89F6-8CC44C17F74B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765568$4F7B86C2-0904-4CF9-87B4-100E6ED1450F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765568$B4161BDF-67D2-4AE4-996B-83FCD3577084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765568$EA8B3C33-AB13-4357-92B4-BFD32D157A10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"167f18189a2450dce471d9471e8c94f12e9e05d0","datavalue":{"value":"1694863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765568$DEE4628A-5712-4E11-BB79-716BEF9C89FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765568$9A943128-08B5-4827-8297-1462686E837C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d3dc3b68c2e2205b7c96f4885ac7d4a7c736370","datavalue":{"value":"restricted classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765568$F3EBE20E-E4DD-40B3-801A-76369C7249AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb7266821290b7a9544b0c6153785e55531de6a","datavalue":{"value":"lesser numerical omniscience schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765568$4886469A-19FD-4557-B2E7-432BC813B295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765568$196ACD5E-8788-416E-851E-9FFE9127A891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79788e40d6b154132906a3599358f2e8d37c8963","datavalue":{"value":"binary K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765568$2F38BD63-A234-48D8-BDC4-44C9D3B31780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"236789542e330f93d96278374f9c26b7a950111f","datavalue":{"value":"semi-classical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765568$541AF91A-0B01-48CC-BC51-3D56EDF6D74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765568$1FB2D3C1-5759-4B36-B7EF-450D600ECE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765568$C274F4C5-9B4C-44D8-947F-A52A680B78E8","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":"Q2765568$4EFC5D85-597E-4617-BC90-31DE17F4E6BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de2fc4f0a01bfa95fa156d852bb3d10e6be7d1fa","datavalue":{"value":{"text":"Intuitionistic choice and restricted classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2765568$BA303C45-B8E0-43EF-859D-095F775133E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765568$325D5055-B6CA-497A-A015-2115C9F474B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee93ab9360fe2d3fe06e73c4c11646851458e92","datavalue":{"value":{"entity-type":"item","numeric-id":2368911,"id":"Q2368911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f89dea3c991ad68d9f7ab433864376cd7033b2","datavalue":{"value":{"amount":"+0.7473682165145874","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":"Q2765568$C69AA287-A961-49EF-9C91-FEA44611F991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf7dd0cd9c361dcba520f59613dd9e567fce713","datavalue":{"value":{"entity-type":"item","numeric-id":2443117,"id":"Q2443117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7517db38f524d26878f30fcc88340a68b059890","datavalue":{"value":{"amount":"+0.7443627715110779","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":"Q2765568$DDF3F936-873B-4A1E-8D18-CC2B8C8C2A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86373fa881e584c4b3d9adf53657f0ac55a32f46","datavalue":{"value":{"entity-type":"item","numeric-id":3313858,"id":"Q3313858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb769f70fc9cd8d02e2f9959c71aff7e4142ac28","datavalue":{"value":{"amount":"+0.7437950372695923","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":"Q2765568$6A2918F3-D2BD-41A5-978A-7DF02A3B7512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27831cc1e9dd0bb9e6791782a39edef3b07c7b66","datavalue":{"value":{"entity-type":"item","numeric-id":4635918,"id":"Q4635918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef15720ee3f98766bccedf232f3bdfa673624571","datavalue":{"value":{"amount":"+0.7387933135032654","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":"Q2765568$A6DA8212-BA0C-4AE2-963D-604B6840FCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7a9cee27635f48dbe32c2b39a0e90d50d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0727d464d5c2784249161e9cd271cbd5a40c0c","datavalue":{"value":{"amount":"+0.7353888154029846","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":"Q2765568$9FB9E528-82ED-48D2-BCB3-7E5FAD45E5FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic choice and restricted classical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_choice_and_restricted_classical_logic"}}}}}