{"entities":{"Q1903578":{"pageid":1914320,"ns":120,"title":"Item:Q1903578","lastrevid":69244305,"modified":"2026-04-13T05:43:25Z","type":"item","id":"Q1903578","labels":{"en":{"language":"en","value":"Semantics-based nonmonotonic inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 824592"}},"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":"Q1903578$73842D47-84D4-446B-9D97-D6D9D53EFB9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a6a5deb6df17eb2a1acb7180a0f675fc6901840","datavalue":{"value":{"text":"Semantics-based nonmonotonic inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1903578$E94118CF-0856-4CC1-9479-91DBF65EB4F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e719503d3f8c8e4c8f2a8043fad7c5b70bf26aae","datavalue":{"value":"0839.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903578$853E37F6-48BC-4F4D-9F2C-84CEB0249B88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$D6B75F04-2B97-4CA0-AC78-B71B14CF71C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34f52d918af478999e80358099a1e95d48cb3c91","datavalue":{"value":{"time":"+1996-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1903578$5E75C7CC-0BEF-41FD-937A-3FF049479B48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1a670fc05e45af7f26f92f2eb27af9a3cefb054f","datavalue":{"value":"\\textit{D. M. Gabbay} [``Intuitionistic basis for non-monotonic logic'', Lect. Notes Comput. Sci. 138, 260-273 (1982; Zbl 0481.68091)]\\ suggested defining a specific nonmonotonic inference relation in terms of a possibility operator ``it is consistent to assume at this stage that'' in the context of intuitionistic propositional logic. However, this turned out to have certain counterintuitive features, as also did a subsequent variant of Turner using Kleene's three-valued logic. The author proposes another variant in terms of Nelson's constructive logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903578$E02F5694-9E7C-4218-BDFF-6587E5429A01","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$73D1E6FC-CD54-4DE0-BCEC-8FC9E66B0B9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903578$5A08FD39-F2E6-4A6E-A28C-C539D8D4968D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96f8469aeffd6b990e38414b360ae730ad786d92","datavalue":{"value":"824592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903578$9F27FA43-9A49-4076-A447-30DB2850BF7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903578$A0F8FB1A-473A-4D38-BFEC-6B259C796242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903578$570620E8-0ED0-434B-BA20-9833268190C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0052acb227b59e3efc7fdecdcffc739e186da33e","datavalue":{"value":"nonmonotonic inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903578$C1A0FF7D-C968-44F0-90AE-89EC31B6CC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2bf13dc7212c02bdaf7dfbf3555a690c4c10df5","datavalue":{"value":"Nelson's constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903578$5F88C355-4286-4B2F-A4CF-5DAAC9960C16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$56EC3528-E330-4C45-8ECE-968A46C3FDF2","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":"Q1903578$F261B6ED-C4EC-4438-BB1C-1C5A0F771DC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15c4200625deafa727b95cc713aeadf8cea2ed74","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040308828","type":"string"},"datatype":"url"},"type":"statement","id":"Q1903578$C10CC7CE-F484-4EDD-81F6-88744E42A86E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8a33faf6e9c6009058a788eee9b44b7f1a72c4b","datavalue":{"value":"W2084571374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903578$73C49128-9B42-44D0-A623-23FE2F804D91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$1B4A63EF-B352-4831-8DA1-D83B5C627969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9cba34032eda769ff26f3a001a5221f5f05d76","datavalue":{"value":{"entity-type":"item","numeric-id":3218106,"id":"Q3218106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$2714BF99-3D4C-4849-8158-CA55ED03C7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619ef057e81255b9ccbd4741acc451bdab004b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3939274,"id":"Q3939274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$56EF584A-5C9C-4742-8149-99FCB6CDFF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$05B73FC1-91C2-43BD-9FAE-8783B4657E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$6EEB3039-FABC-40EB-8B30-E9301A0BF32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$E3272A91-BF73-45B8-BE4C-F15904DE4BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf81ce9053e1ce50176bdc6cf3139eed90f60ed4","datavalue":{"value":{"entity-type":"item","numeric-id":4713273,"id":"Q4713273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$64D54D86-9092-4744-9171-7C5101A5AFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c048ba9eda1ea036e5a67e736564f9a88964bf","datavalue":{"value":{"entity-type":"item","numeric-id":3988060,"id":"Q3988060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$AF024AE8-1A64-4CC8-969D-BAF558625320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fea7a5caddaaf7eb1795202472849680bf0d483","datavalue":{"value":{"entity-type":"item","numeric-id":1315517,"id":"Q1315517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$8604B032-948C-450D-9F6F-5939FBE1310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903578$4C9DAF9B-B2EF-4D8E-835D-591D808DE952","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45fc6475b889e6e96c6a9beeeeaa53600dfc308a","datavalue":{"value":"10.1305/NDJFL/1040308828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903578$1144ABD0-56D2-45CE-83B0-656686A35540","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57841034924c9031dfee61e46f6253312f7549f1","datavalue":{"value":{"entity-type":"item","numeric-id":4032657,"id":"Q4032657"},"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":"Q1903578$EAEB5744-8CF0-4E01-91D9-A252507AE882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e308dc5bbc9d6984c6333489483eb1eb2f8c78","datavalue":{"value":{"entity-type":"item","numeric-id":3817644,"id":"Q3817644"},"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":"Q1903578$100A06A5-CAC3-4388-96BF-0193AE799664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31bc8f55ce384312f91b9f882195b78a941a2a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4797421,"id":"Q4797421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9c495d9284cf0ca56003d7f5d59069ba20f028","datavalue":{"value":{"amount":"+0.8015449643135071","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":"Q1903578$6C20F87B-A51C-4EE1-80CD-EC8E676B0400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d868900bf91e698b1364d2f1787d33dab793e115","datavalue":{"value":{"entity-type":"item","numeric-id":4380299,"id":"Q4380299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487ba91403b32c1e4d59fdab6b437d654ae05582","datavalue":{"value":{"amount":"+0.7727729082107544","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":"Q1903578$6B5A736F-5A9B-4E3C-B294-132ED244C063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a87da5d3bcc74993014782cdbff5c432b853ba","datavalue":{"value":{"entity-type":"item","numeric-id":813086,"id":"Q813086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be2028cbc7b0430e531c0a646f799a1f68a266f","datavalue":{"value":{"amount":"+0.7671032547950745","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":"Q1903578$F807C17B-D9F2-4825-8044-FB9CDD6FE64D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics-based nonmonotonic inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics-based_nonmonotonic_inference"}}}}}