{"entities":{"Q5059691":{"pageid":7089267,"ns":120,"title":"Item:Q5059691","lastrevid":55432258,"modified":"2026-02-17T16:18:31Z","type":"item","id":"Q5059691","labels":{"en":{"language":"en","value":"Default Negation as Explicit Negation plus Update"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7642558"}},"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":"Q5059691$4BA19180-6762-4C63-8E2C-19E25FB55DF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4e5077d765b33e96329969a564ea380ae15f2a5","datavalue":{"value":{"text":"Default Negation as Explicit Negation plus Update","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5059691$5B4F6E4B-DFB3-40DA-B66D-6970FFF0F12E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16418b8a24ebbc9239c88320fd3adb80d64e1919","datavalue":{"value":"10.21146/2074-1472-2021-27-1-64-81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5059691$03E980DF-21D5-4E8E-9A21-A3FB7B3D259E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$AAF7BA8F-49B6-4D88-8883-521A63A73C83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"419a39ba736b850fef44044ed2847be5eb6b6cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2981227,"id":"Q2981227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$60617B83-A779-4D79-BB78-F5BBC3434953","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e733846b3bfd25bf6f727b92d447838576981ef","datavalue":{"value":{"time":"+2023-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5059691$83EA7FB5-14BC-42A0-A80E-6309F28B8CCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5059691$06FD0F92-CB0A-471D-A95F-B9F2022F0CD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de1e5dfe716469b4e21f49a49a9c28ca03241e16","datavalue":{"value":"7642558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5059691$8FA33D6F-C653-47EB-BAA8-08074B284E1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b4a56948433743b992d5917616dd7d8a77caeb1","datavalue":{"value":"default negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059691$37B0907F-CB00-4776-BD75-6683787C029C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d97490c4f3c4f7fc2c93a55c1556b8a588a8b1","datavalue":{"value":"explicit negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059691$C8A26B92-8CC3-4A0D-A85D-9E3760BA5EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e497ca8646614137559b5cb81cc639b78ed9733","datavalue":{"value":"logic programming update","type":"string"},"datatype":"string"},"type":"statement","id":"Q5059691$C6C13C24-407A-4785-8962-0C6D230D8672","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":"Q5059691$FEB917B1-994D-40B3-8051-7471CFA581B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42205019a2c74423b1468f3163f2920a4bc673cd","datavalue":{"value":"https://doi.org/10.21146/2074-1472-2021-27-1-64-81","type":"string"},"datatype":"url"},"type":"statement","id":"Q5059691$294EF49E-416F-4F9C-8E19-F88AAE91190F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c291b6b03d05f5a68191d642d5741a59b5be609a","datavalue":{"value":"W3197254143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5059691$88FDE832-9042-4E1C-8829-268D41D8B353","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a96a6683b897f7ca64bc6cf9cbd92b4693c72f","datavalue":{"value":{"entity-type":"item","numeric-id":4507852,"id":"Q4507852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$B3E0921E-26F7-40D2-BDD9-169BC47BBD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b70255913a491d6bba0eb24319a868d041de84","datavalue":{"value":{"entity-type":"item","numeric-id":1173955,"id":"Q1173955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$44246B62-BB68-4A3F-892B-561AD0332F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f0792184f4782fb8471543c25912bdf28c8e47","datavalue":{"value":{"entity-type":"item","numeric-id":4452622,"id":"Q4452622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$EEE4D8DA-1327-4049-94A7-245F428EA9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$8B6249E9-2F1D-4BD9-9A58-1422CBA12420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$B54CDE27-96AE-4D02-8C8C-BC70B58161C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d97350253df6485906c2b23a8d941473677b97","datavalue":{"value":{"entity-type":"item","numeric-id":4208854,"id":"Q4208854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$8D31C659-CA0E-4C01-AC17-3D619D0B1635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c2c28fdcf47bcc9d0a05b70047ff50ee45cb45","datavalue":{"value":{"entity-type":"item","numeric-id":4797777,"id":"Q4797777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$F7DE5338-2582-47B5-A603-C16967E4DA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f88c0b1ec1f2a36b1d3db0280123adca770524","datavalue":{"value":{"entity-type":"item","numeric-id":4944881,"id":"Q4944881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$349979C1-844E-4CDC-BCFD-977AC139439B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69190f2fcb79af37af8501cc4522400218bea1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$BE7B53EF-8B1E-41E7-A936-C529051EA359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$8D0C6C4E-01FF-4DE3-9653-C1E37C44A81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db129d68c6b1e1274e62dc2a8cc912e3103b7e8","datavalue":{"value":{"entity-type":"item","numeric-id":5473986,"id":"Q5473986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$09D10A33-FD72-46D6-AC39-A34F0BA5E206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713dfe4d0e4472016710febb2b7c9adfb35495d2","datavalue":{"value":{"entity-type":"item","numeric-id":2715522,"id":"Q2715522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$1018A525-6285-46C6-95CB-0BAD215C0F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810a438105196696cc0a2f8acd79928b03e80b29","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$28F4AA1F-7387-467A-931A-AA52331DF1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc29c22511b451935201468aab1a58844919604","datavalue":{"value":{"entity-type":"item","numeric-id":4365058,"id":"Q4365058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$857A9F17-FA6D-49FD-BF6D-8B6E7FA68F93","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":"Q5059691$3DCD6D7A-3C6D-4F55-B4BA-8396C380D60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac46e36a52dda895d0724c8cc5a69f0134c66453","datavalue":{"value":{"entity-type":"item","numeric-id":4955335,"id":"Q4955335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$2CF63E89-0AE8-47C4-B223-5DA6714A445F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d4b2aeb37eb13abdffedc884489170ead1456f","datavalue":{"value":{"entity-type":"item","numeric-id":2289011,"id":"Q2289011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$CF08D7D4-EB68-4484-8B5C-0FD8DA4C6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04dcf5517436df926264bf8685dd26a5ac7f48c6","datavalue":{"value":{"entity-type":"item","numeric-id":4391448,"id":"Q4391448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$98259F87-F0F5-48E9-995F-25B6A5824728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564f3faa19bc9bc8cd9e98023593c298bc18e532","datavalue":{"value":{"entity-type":"item","numeric-id":2999230,"id":"Q2999230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$ADC20253-BBB2-4E8F-93F8-A545C3767272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c6f7ab5f180e49ad773df63b59dcbbe0c686a2","datavalue":{"value":{"entity-type":"item","numeric-id":2933088,"id":"Q2933088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$BE463057-6B64-4153-A58F-4E2499EAB718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aa7f823732baef134ea790bcd0c07074553bf","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5059691$8EC72F49-115F-4D40-BC4D-66BC8B0173CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a30452669ab4c3b06ef56f853d9a15540a6e484","datavalue":{"value":{"entity-type":"item","numeric-id":4461804,"id":"Q4461804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2653babdcc3349bd95bfb57f3b167de547f4d0","datavalue":{"value":{"amount":"+0.8057504892349243","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":"Q5059691$8A7A4466-E4DD-4CA0-894C-6833A8FE7337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f132278cdcfd171dcc21c07947517beb43a8e3cb","datavalue":{"value":{"entity-type":"item","numeric-id":4244297,"id":"Q4244297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0f26df3ee7dd8d8f817c7f87170f3dfcdba406","datavalue":{"value":{"amount":"+0.8015743494033813","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":"Q5059691$50762481-6315-4C6B-B11B-893EAB8FCCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3930b4b9d23f3be48f7037d728e33d66571235","datavalue":{"value":{"entity-type":"item","numeric-id":4296303,"id":"Q4296303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d302b17b558c20735e0a854a1a2f7cf1dec64914","datavalue":{"value":{"amount":"+0.7872781157493591","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":"Q5059691$1795FB22-D3C2-4939-BD78-63A5C1607448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04066bb08a1554a2cf3148dd65fe36c8232ce0f5","datavalue":{"value":{"entity-type":"item","numeric-id":1382156,"id":"Q1382156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b2ca044e6213307e8ced3fd771fd0dec65075f","datavalue":{"value":{"amount":"+0.7863656878471375","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":"Q5059691$7004AD57-5D85-4A1B-9D3D-F3A261D62049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e5957886582fa9bc5adddcca8a350dbce04f49","datavalue":{"value":{"entity-type":"item","numeric-id":753501,"id":"Q753501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ea2de5be8fcd618e03163c146d56e9e54747d8","datavalue":{"value":{"amount":"+0.783145010471344","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":"Q5059691$87CCEF3E-5C6B-4663-9482-6EAA14732279","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5059691","badges":[]}}}}}