{"entities":{"Q4561680":{"pageid":6591270,"ns":120,"title":"Item:Q4561680","lastrevid":81967250,"modified":"2026-05-06T19:46:50Z","type":"item","id":"Q4561680","labels":{"en":{"language":"en","value":"Formal Methods for Nonmonotonic and Related Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992875"}},"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":"Q4561680$19391391-2279-44F2-B884-42D0245A895A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5e15938bf7649ac37f62bbc02c2ea21b44b4647","datavalue":{"value":{"text":"Formal Methods for Nonmonotonic and Related Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4561680$E291514E-1F97-405D-A6CF-25F1B1A54EA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d909368094e2ba43938a03ab82e9d6aa2ac4dcb1","datavalue":{"value":"1406.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561680$09206562-EE05-4105-8A03-59DA29299E91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22bc95f5f4a13e9bb59bab51af994078428af405","datavalue":{"value":"10.1007/978-3-319-89653-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561680$10A6C5FF-A547-4322-8CAF-0FCAF18802F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84c7fbcde7ae48252617c6fbfdd934a12e29771","datavalue":{"value":{"time":"+2018-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4561680$99B5530E-8712-43AA-9C62-7965533DEB71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561680$5D1AFFBD-F835-4A05-8171-1D3F6D9DBEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561680$BA2D7C48-A9C1-4B1C-A771-20226E9D90E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561680$8EF37F9A-13B3-4DD0-A6F2-108BDE73455A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11d8d71fc4dce1a2ce10f62d6426bb9ce3643781","datavalue":{"value":"6992875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561680$0C402856-2CCC-4D86-BBDB-05D68D724D4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45d84572ec056f47af051076492891ac636faa00","datavalue":{"value":"non-monotonic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561680$F2D32920-A4B8-4772-BBAA-48056AB62316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b958c507749d6a565432a20f94d07d5b3df9cd","datavalue":{"value":"preferential structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561680$181EF348-100C-4103-A177-3A8B0BDE6412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d6f71f7ec849adbaa0b672214969de103ab7ec","datavalue":{"value":"abstract size","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561680$0C214267-A5CA-44B8-99B9-AE1B3E9B4D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee9612ac0cd1a0aed318c1aea3d77838752b12fd","datavalue":{"value":"theory change","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561680$F86B7516-6E62-4685-9F12-9C305CB50EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bbc1b4c6c528fc924b4e3f4cbb138aa49e34b73","datavalue":{"value":"defeasible inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561680$753D1544-F668-4F8A-A4B7-F12F49CE6DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561680$E4ABD645-2673-4482-B25E-36849AB212BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561680$77E29AAB-39A4-4FB4-BACB-DA73C49CFA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23bb9e3ac414c69601783da7db8adb5996bc2c0","datavalue":{"value":"abstract independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561680$2A13BD14-46E5-4896-A88F-3DF83350FE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb208012d8629dcd80fa4f5d7ca3e71b61006e96","datavalue":{"value":"counterfactual conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561680$EC3110A6-9F15-44D8-9F37-90667C45C577","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4120420f32096a74456a9ab04c44cd4c5022a172","datavalue":{"value":{"entity-type":"item","numeric-id":969422,"id":"Q969422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561680$6B32D3F6-CDE0-4102-BC8E-6E0489C59EEB","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":"Q4561680$AC736B9C-389C-45CA-93E0-640B4624DC36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41f716118c3bb34a009325368b57f5bbb432fb81","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89653-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4561680$2AA340D5-99F6-44D4-98F8-5550C25D02FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52790378f19b45202e17042d12dfb1e36a720a74","datavalue":{"value":"W3162875288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561680$79CB3B4B-DD00-42B3-B699-0C5842C61AB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d401a002683f440ac3370bcb09fef6768899b8","datavalue":{"value":{"entity-type":"item","numeric-id":4611202,"id":"Q4611202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9f2bb5218f7c224303139b46a0ea04145093d3","datavalue":{"value":{"amount":"+0.9000925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4561680$ED1DF441-1990-4718-8A74-D514BB84B5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517ab234fa179e78da317f3ac018032997afdd4b","datavalue":{"value":{"entity-type":"item","numeric-id":2757853,"id":"Q2757853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d94c8cea5a75745c0a59fe632a9b9222766a4f","datavalue":{"value":{"amount":"+0.87906474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4561680$2F151887-2A65-4C8F-A6C7-9F8237E6BF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8ffcb76c6cf6c7b822083e3852134fc448836f","datavalue":{"value":{"entity-type":"item","numeric-id":1924777,"id":"Q1924777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027b9813f21badd16c69cf2c7f984158d5d2f3be","datavalue":{"value":{"amount":"+0.87799454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4561680$F5E3EF85-F106-4B31-8B67-9FEA21347559","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":"09fe852d044b25a728246e7edea22e02730be06f","datavalue":{"value":{"amount":"+0.8698044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4561680$547B7E4E-8D7A-44E9-8571-C59C30FA503A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afdeaef4acc3d8ca1029af66ffa2b917f9877a4a","datavalue":{"value":{"entity-type":"item","numeric-id":5250311,"id":"Q5250311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a6a0b7057711b97f626e90767328762dbb67df","datavalue":{"value":{"amount":"+0.8666366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4561680$F2153B5A-0476-40DE-81DF-F6063273B298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676146e2ae2837b6be73c686bb147b36e5846467","datavalue":{"value":{"entity-type":"item","numeric-id":3783634,"id":"Q3783634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6947e1eacb1ab1f1dc114f2d78b9c5cc1bd3cfff","datavalue":{"value":{"amount":"+0.86051804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4561680$8CFE7123-FE17-4923-9E31-CF27ACD31773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3123c3d86b09353f7d2138074503ea435f2a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4244305,"id":"Q4244305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fe50a4b8b8a9db8ab14797c962dd518b6a0f0d","datavalue":{"value":{"amount":"+0.8596569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4561680$4B58DF50-1B88-419D-8135-044FCCDB1C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44eef3180b18587541791189ce7588524f6f087f","datavalue":{"value":{"entity-type":"item","numeric-id":1028644,"id":"Q1028644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316b07e009486d69cf7091db2ec49640e4286b2a","datavalue":{"value":{"amount":"+0.859432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4561680$6CB4954D-9A81-42D4-9F1B-7F6282F04A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebb7fec94f38c576aef40de450d2de7b5dd2e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4906889,"id":"Q4906889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40de05705ddc27fffdf7a2d1ae9e8b6d532dc188","datavalue":{"value":{"amount":"+0.85849714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4561680$205B6FDD-092D-44C7-A85B-C1109A774BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84837260f6ac8ab76ba8ff04face93b6fe0c9f63","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabafce2bc951dc039473d92b822f436bef8484b","datavalue":{"value":{"amount":"+0.8571887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4561680$79B5B7BC-A996-494B-8589-796B71F52974","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods for Nonmonotonic and Related Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Methods_for_Nonmonotonic_and_Related_Logics"}}}}}