{"entities":{"Q4032871":{"pageid":6062605,"ns":120,"title":"Item:Q4032871","lastrevid":55230592,"modified":"2026-02-05T02:33:29Z","type":"item","id":"Q4032871","labels":{"en":{"language":"en","value":"Rules of inference with parameters for intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150237"}},"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":"Q4032871$47C6D7BF-BBD7-42A2-8077-C4DCA057808F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b23b237850572c6cd8cddec4d7fff52cbbb6a203","datavalue":{"value":{"text":"Rules of inference with parameters for intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032871$7EB071FC-A4F8-4A5D-9D0A-0E6B26EC3318","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8d5b4c01eec65ce03d76524ac37f01ae62f787f","datavalue":{"value":"0788.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032871$D217FF4D-8E53-45C4-A05F-6D05080045B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14830b0fce1d615b14054b781e8f43707a4173f7","datavalue":{"value":"10.2307/2275439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032871$57C2774F-E21E-47AC-A17A-19AC90060F15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032871$80FD5D27-1B6D-458D-BA19-C334DD6884C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032871$1BFAF4A7-87FF-476A-A906-668163CF75F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032871$6133A22F-FA12-48C9-8B2A-7239781856EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"677dc76a7754a128b0557fe83667064463ca42f7","datavalue":{"value":"150237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032871$0D1E0C01-E9BB-4529-98E7-D116C4F1D33F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032871$79628F59-CC3A-4A81-A1FD-EE2C2D95627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3a2e415e27aef5e520d648211ee657c05760d5","datavalue":{"value":"algorithm for deciding admissibility with parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032871$1A062679-DD72-4827-B3D5-DC5D69DF5718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f92d367d0bfeca6d9849cedba3d522eb382f7161","datavalue":{"value":"finite Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032871$B0F2ABAD-47FD-4225-847B-56981CDB719D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032871$C8BC1F6D-06C2-45D1-B4E3-F7CAA5FE88AF","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":"Q4032871$2619CD36-D7E0-44AE-9378-0A16C2F0F85F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ee09e90dcbdb91d2df224344d99fff0a35d3f0c","datavalue":{"value":"https://doi.org/10.2307/2275439","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032871$9BA80D06-F66B-411F-BB00-D4A54085741F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ac5e1ff7a39d2f4645abc8e8dd1c1b912c215e2","datavalue":{"value":"W2168410054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032871$C8724E42-E986-49AA-93F8-C82F8B607D33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a5677857c114501de7a40c9ec5bfb3a3bb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5538910,"id":"Q5538910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032871$02C135C2-55B8-4485-A872-4AF5FBA4E901","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1650acc6b6daaa19c02525026601a31b36dc45","datavalue":{"value":{"entity-type":"item","numeric-id":3970453,"id":"Q3970453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62739e2bb3c706ebce208edf8f5c002f6dcdc2fd","datavalue":{"value":{"amount":"+0.9324280023574828","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":"Q4032871$DF7F15B5-054C-4C8F-9267-180FB9D3DB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f977d5881a8761622798d9475a9fe0b8c1378b","datavalue":{"value":{"entity-type":"item","numeric-id":3970454,"id":"Q3970454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4316363c1e83b13e36d7916ae4f5d3bb950ff4d9","datavalue":{"value":{"amount":"+0.9301274418830872","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":"Q4032871$DBFB68F4-EA54-4EDE-B7F4-007F1CFB1CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f07adb79d287443d839a696210660b41f5b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3032232,"id":"Q3032232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8635e9553e255b3a2f4d4a931e1b61296405be","datavalue":{"value":{"amount":"+0.927471399307251","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":"Q4032871$4D7A1133-D861-476B-8F38-2613369A9B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7310b06a39478a3b0b2cb3618454bb24070b5c93","datavalue":{"value":{"entity-type":"item","numeric-id":4133602,"id":"Q4133602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615dccd6765d25b36daf05c4234f6f258d7b4584","datavalue":{"value":{"amount":"+0.924246609210968","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":"Q4032871$9FDD9CCB-DCC0-4EFD-8E31-59043A1A580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0508efe1e4ffd0a11bf9d5783b6ff7b677203a1b","datavalue":{"value":{"amount":"+0.8391318321228027","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":"Q4032871$34C9D7D5-5678-4D88-AE46-083144370079","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032871"}}}}}