{"entities":{"Q4032657":{"pageid":6062391,"ns":120,"title":"Item:Q4032657","lastrevid":81404177,"modified":"2026-05-06T18:26:38Z","type":"item","id":"Q4032657","labels":{"en":{"language":"en","value":"Nonmonotonic consequence based on intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150013"}},"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":"Q4032657$3A2C85E9-3747-44B2-B3C5-DF71106F8E73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61bbba523a2d3299383489fae72d5558ba4be952","datavalue":{"value":{"text":"Nonmonotonic consequence based on intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032657$BB881397-1F1F-44DF-8628-7006128FA24D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e131c1f9e840e0a5cd31ec183b6deb7302e93ba","datavalue":{"value":"0766.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032657$BA3DF529-1C3F-440F-9684-249858B83BD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d01d6c57a286c011a05707e9b7387cc27311249","datavalue":{"value":"10.2307/2275363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032657$5AA754DC-BD56-41D4-B5E7-6C49E91495AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bc0d1286410b61d0e3d23417e405a7a30c9582","datavalue":{"value":{"entity-type":"item","numeric-id":1240728,"id":"Q1240728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032657$1D154E4B-0EFD-4914-B3B2-7950F552AB32","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":"Q4032657$1AE03169-EA6B-41F1-AB64-758BEEC71897","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":"Q4032657$91125403-2E1E-4C31-8E2B-390FF4C97D84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032657$8A5DD69E-3D7D-439E-941E-7B0ACB971320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032657$171CD579-1F7C-47A7-A8E5-D6FA5DB2C30F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0df19f66e1955f176a6126d4605cfb005eeeb8b","datavalue":{"value":"150013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032657$A09B1545-1D79-43BA-A5C1-1F0F8C390006","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032657$EFFEE4D4-DF0D-4D10-94A3-4FF16996D4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0052acb227b59e3efc7fdecdcffc739e186da33e","datavalue":{"value":"nonmonotonic inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032657$99D5CB96-B746-41CE-A8A5-EDEBE8B29917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032657$A3D29AEE-FC7E-4D97-A6B0-F83098D2BC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6b1e5ad1a8685e99f951bee701c827a5b0d7c90","datavalue":{"value":"First Order Modal Intuitionistic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032657$CF06DFE7-B1C4-4CA5-83A6-C89E619C7BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032657$3BD2B855-946C-4A7D-80C2-88B1F7539929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032657$135A3192-50C8-4AC2-B4D9-C85E742AE450","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":"Q4032657$9143BFB1-427D-4D96-8D2F-184C528B19DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d669f6c757eb559cdc91f7813385404d3b7799b","datavalue":{"value":"https://doi.org/10.2307/2275363","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032657$585A1524-9A45-4A28-869E-32FE7B954DE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c13b45505b510c19609715c3ff3502a123777811","datavalue":{"value":"W1997367034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032657$4035AC71-A9F6-4EA6-BF44-704215AD6009","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d53b4d0b65edc05fb0be75134b1388f4c6f47e2","datavalue":{"value":{"entity-type":"item","numeric-id":759003,"id":"Q759003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032657$AB4652DF-5BD0-434A-98D4-74C1F8834478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f74d37195d57f01347814f0339041f54c370eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2556392,"id":"Q2556392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032657$ED24691B-6013-4D49-B4D2-14C4B663BCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032657$5F2BA779-FE42-4939-8CFA-1BC19FDE36D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aacca35fa42fa3506555849bf0261505efea805","datavalue":{"value":{"entity-type":"item","numeric-id":3218103,"id":"Q3218103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032657$4920339D-CDEF-4243-9D20-49FD9FD6C2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7ac24fd531f581fbac6bf121377ab8b25a4774","datavalue":{"value":{"entity-type":"item","numeric-id":3667969,"id":"Q3667969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032657$7743281D-D636-42B0-9520-C292E2454EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032657$AB9D3D9C-F55D-44AE-8932-0C9A85A60A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c5f13df01cbcd548040c72a3aeee875d882738","datavalue":{"value":{"entity-type":"item","numeric-id":3723720,"id":"Q3723720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032657$224738F2-25C1-4389-9297-603BA143721D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae2afe684363fb6f8001c77581ad2330fc153ef","datavalue":{"value":{"entity-type":"item","numeric-id":1903578,"id":"Q1903578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee8787846b16b8a72acfa0ee8d4e7a0723b3dca","datavalue":{"value":{"amount":"+0.8108227849006653","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":"Q4032657$62D0EBDA-8FBA-4B58-A649-B0B53F002790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6049dbd8865e4f9738ecc8a3e7b8b04970a3c664","datavalue":{"value":{"entity-type":"item","numeric-id":1355987,"id":"Q1355987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee8787846b16b8a72acfa0ee8d4e7a0723b3dca","datavalue":{"value":{"amount":"+0.8108227849006653","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":"Q4032657$95F0ED74-CE9C-470C-954D-32E9C8564F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52128a4ff9df8ad00c67ec7b2a15fe86cfaa41a","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc8469018e37ac8a0f8fe1b22fd0cdb65369563","datavalue":{"value":{"amount":"+0.7988572120666504","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":"Q4032657$7EE53D83-6642-48C5-BE0F-333E4A6E09E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acb41b21dd0420bfdd760cb9d2478542bf9e986c","datavalue":{"value":{"entity-type":"item","numeric-id":4298360,"id":"Q4298360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9497163bb2e85741dd5e1aff3e06d889773a443e","datavalue":{"value":{"amount":"+0.7889919877052307","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":"Q4032657$F7642E6D-C569-4D9B-ACDF-C7739CAE891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e22cd2d78d09d0824c8107bdc6f39af2067cc3","datavalue":{"value":{"entity-type":"item","numeric-id":1924422,"id":"Q1924422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461b2d03073be76081dc7a0946b0d6718af11032","datavalue":{"value":{"amount":"+0.7879265546798706","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":"Q4032657$FD923425-2A65-48BC-96E4-7B18635105B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonmonotonic consequence based on intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonmonotonic_consequence_based_on_intuitionistic_logic"}}}}}