{"entities":{"Q1924751":{"pageid":1935493,"ns":120,"title":"Item:Q1924751","lastrevid":46404429,"modified":"2025-12-24T17:30:33Z","type":"item","id":"Q1924751","labels":{"en":{"language":"en","value":"New proofs in default logic theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937253"}},"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":"Q1924751$86A12673-C529-4E4A-92CB-D3D7F211BF08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46d253ed609dc9eaf834e4b84490d3dcc5f752a1","datavalue":{"value":{"text":"New proofs in default logic theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924751$26932E81-34F5-40DB-BF9C-43E2B1FD8A97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02af10278db5ccc1a976feee3463baaa2acaefe6","datavalue":{"value":"0856.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924751$42D6045A-AF12-4342-B065-C67F96074679","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9692c4b6e23f4db31d3109471eca64eec291986","datavalue":{"value":"10.1007/BF01530786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924751$C8644447-E3D0-4166-9BE6-8828B68EE0C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924751$C4DD581E-85B2-4CFE-A5F9-30D92EE1C331","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924751$02792B9E-8FC6-4819-8763-B6B415767B64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924751$E374EE8E-69F1-4002-A5FB-79818970BB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924751$63582E45-9D2C-4730-AF7B-E739CA4A80BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73d311982ec597331a378b3cd7e8365940b7ddff","datavalue":{"value":"937253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924751$D560D718-55CC-49A4-A7AB-DD214F7DE52A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924751$279AAE32-A48A-4482-89B0-6C90682A0757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924751$08122048-EA01-4D71-A95E-096A8796290D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49571c6f9ed4a488c3fc9e504bfbabfd66a64634","datavalue":{"value":"operational interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924751$4289CFC8-A0C0-4049-9952-EC2AD2F55A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9ed4062c36a4c7f391711407d314cdebf664d5","datavalue":{"value":"ordered, semi-normal default theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924751$485A72FF-67A3-4F60-9D48-09853B9FB384","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8c18eebc3ad4663439ca2b820f070e2c96dfb28c","datavalue":{"value":"Q58198182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924751$37C1345B-FA35-4A62-882E-C0DBA9CAE085","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c3148aec313a02e6c2fdd6275819883a763f27f","datavalue":{"value":{"entity-type":"item","numeric-id":360255,"id":"Q360255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924751$71DA5C21-CB18-46B9-910D-129CD3362D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3057478a723080e84e34f51c55a028da6e2ddb2e","datavalue":{"value":{"entity-type":"item","numeric-id":170471,"id":"Q170471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924751$79275E3D-A655-4311-840C-5C689360AD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"199fc774b7d7c0fb191f4d96816895cc32b9520b","datavalue":{"value":{"entity-type":"item","numeric-id":1272348,"id":"Q1272348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924751$47D15BE1-A6A2-4F34-9245-41BDC67B07CE","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":"Q1924751$9BF356C5-83A1-47D9-9A3E-57F793857CFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dede907af717fa4d0770b59203d8dbe5e45f01c8","datavalue":{"value":{"entity-type":"item","numeric-id":4333375,"id":"Q4333375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924751$F093C58A-728E-4FCC-802D-2070E24B61ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee21c9107ee4afe5ff335e3999b55e4f41a5a6ef","datavalue":{"value":{"entity-type":"item","numeric-id":4692931,"id":"Q4692931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924751$1BF5AE27-633A-4B02-8056-CFE5ED37A327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d470e6c08c7d2bc40187c19447d3686ec0e28865","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924751$8694E37A-3C98-4BE3-AC15-ED52C37EF11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d171160bdfbdcde1cad944aa0210e21c0aef9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4202924,"id":"Q4202924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924751$98A4168B-38AE-496A-9320-4261869BF715","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":"Q1924751$2030D748-45C8-44E4-A1CD-96C7E80BB215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03f0d58636ba080342733786a2e2395ad4e7bde","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924751$7CC30B7C-4C7F-4CF1-8A87-7CE495F657B2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"67c9f612bf2e790f2628d8b98ef6217571a28ebd","datavalue":{"value":"journals/amai/AntoniouLS94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924751$92B2856D-4A55-4FDC-ADA7-D4E0B03A44E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2810bd447c62b2786a70fb7d8999a9aaffd4d20f","datavalue":{"value":{"entity-type":"item","numeric-id":1333283,"id":"Q1333283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66411dfa8c68466d0796498ee0ffc1c08173da0c","datavalue":{"value":{"amount":"+0.8044844269752502","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":"Q1924751$262E8477-8FF2-490A-AF80-3D82BFA1048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a604ecc05ff5d387fe7869d94b912c3a6b9ce343","datavalue":{"value":{"entity-type":"item","numeric-id":1895976,"id":"Q1895976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f047418b731005767342c16077f3b42858ba87d","datavalue":{"value":{"amount":"+0.7930315136909485","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":"Q1924751$CB8FF34F-B04D-4A81-A8D6-FA8191FE392A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba64328f3da153bdc283716be23ad38fe863e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4028783,"id":"Q4028783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea28be3ce1eb8663e32689ceba8451e64f382a10","datavalue":{"value":{"amount":"+0.7927695512771606","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":"Q1924751$BEE93212-2129-41A2-9418-9BD6FA1D778B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8869b32ce9b73c6218e322db9cd5efa937ad94","datavalue":{"value":{"entity-type":"item","numeric-id":4004731,"id":"Q4004731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fbfe4fd6e174251898d356ed3d907012a0f2779","datavalue":{"value":{"amount":"+0.7864988446235657","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":"Q1924751$67E7539F-927B-4CB0-B85A-E2DF9F138292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1924751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1924751"}}}}}