{"entities":{"Q4649731":{"pageid":6679312,"ns":120,"title":"Item:Q4649731","lastrevid":41743221,"modified":"2025-05-07T20:03:57Z","type":"item","id":"Q4649731","labels":{"en":{"language":"en","value":"Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6105006"}},"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":"Q4649731$EF8AF039-5558-4C01-B480-75B1CFF68778","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3449658757d7bfba32abb0deab3bbef62685aede","datavalue":{"value":{"text":"Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649731$B0344107-B021-441D-93CC-F9121D15A90C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fabcef72f318963796f9797ee4a1d7eb97cdb195","datavalue":{"value":"1251.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649731$F59A3C12-02BD-40F2-BD16-7EE661AC3290","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b4aeead61607f46571dd4039a878e5ec8da4b9d","datavalue":{"value":"10.1007/978-3-642-02846-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649731$EAE96FD4-7142-4881-93EB-957EFF5436C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca2007526997750f6621dbd8268e4738be04df24","datavalue":{"value":{"entity-type":"item","numeric-id":286082,"id":"Q286082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$0EDC2469-2678-4AA9-A786-9477332B5E35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$11DF618A-229F-48EC-BBC1-8EC8C3BCA874","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c80839e4a0921a35f61ead63f84da81a31ae4c5","datavalue":{"value":{"time":"+2012-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649731$229215ED-8B3E-4A5E-B0D6-2867A7019904","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649731$EA3F5B53-1FC4-42F9-9A8A-924EACC4A766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649731$A2372FD6-5F23-4D2F-A86E-1034DD255568","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ac191264ef20f5a413c2ebc0a628466a3da570c","datavalue":{"value":"6105006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649731$9893D010-C391-4AAC-9FC9-DED0D835C722","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649731$ACBFC892-223C-4DFB-AE43-695F8FC8D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649731$A2EFF8BC-CBEE-41B1-B881-7866BE8058AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b3e84508d8e1322e0b1246cc250040621034fd","datavalue":{"value":"logic here-and-there","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649731$9843CCD2-E1A2-47F5-BFA6-DA777DC52933","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$682D81F0-35AD-4858-8748-7CB4E2E2B4D1","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":"Q4649731$898CE47B-5D88-4C65-8EF2-42A8DFDD2FCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"482cddefb49d68960c9682db04d74394165afe3c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02846-5_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649731$8564834D-9E10-47ED-87F3-31AFC8118AE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c73ed248a73c99aa180f102d19dcf83c1195c5d9","datavalue":{"value":"W1810243429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649731$CBA0A128-76AF-40F2-B746-D3547B8F8ABF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$30217A5F-CCCA-4C42-A3CA-D2F57B37B1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$9C24DD4B-6838-470B-9369-32E73AA8954A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d155c7dcd0b41aa8d5369fa6a9b7a5ca42b115","datavalue":{"value":{"entity-type":"item","numeric-id":1603731,"id":"Q1603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$8F19AEB2-F872-4AAD-B45B-622E9BC8A0F6","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":"Q4649731$6873AE5B-66A4-4B47-9D43-540A0BFD7826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$6A172077-E19A-478F-9BF0-DE4E4A02E676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc4e81b20f8546036523a450cceb6c505dbe33f","datavalue":{"value":{"entity-type":"item","numeric-id":3007261,"id":"Q3007261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$26D5CFC5-2775-4F89-99F6-E5F3B2266516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a84be2ae9c49d42c7fb559f3ea6a8d266cc5879","datavalue":{"value":{"entity-type":"item","numeric-id":5394125,"id":"Q5394125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$5FF91CE2-DC9E-4081-9A9F-A81A224E0E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48453128754bce5b8adae4af5564eb4c85cd90e2","datavalue":{"value":{"entity-type":"item","numeric-id":2734950,"id":"Q2734950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$F80BF2D0-8F2A-4290-A6F4-0C27D7E44209","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":"Q4649731$59C0B920-F133-49B0-AFA1-AE3B3C4BBAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$F4DCBCD5-A957-4AF1-9CF7-3BCFA5CA16E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$528EF726-B4CB-42EA-AEA9-14E7A22651E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf275ea16c4cb3b4c034947ed7873316c29790a","datavalue":{"value":{"entity-type":"item","numeric-id":5431419,"id":"Q5431419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$A6C2E669-477B-4396-9553-AB7187C59535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304326ed85915f183efa0eae24adaada24beb610","datavalue":{"value":{"entity-type":"item","numeric-id":4365082,"id":"Q4365082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$549C551F-5373-41FB-B19F-EF052ACD6F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06bb48a0f27e5f90ce3a54e2b86a95a19ca85de1","datavalue":{"value":{"entity-type":"item","numeric-id":1028652,"id":"Q1028652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649731$935E8743-E257-444D-A3F2-666E272F9401","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc1c8b6b52c85dd2930b3b068fb2786dd70f16b","datavalue":{"value":{"entity-type":"item","numeric-id":622117,"id":"Q622117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","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":"Q4649731$A35F1676-F568-4A4A-80C6-054483F26955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0634602489ef699a910fdd6e87b1a8ada0da63e9","datavalue":{"value":{"entity-type":"item","numeric-id":4413066,"id":"Q4413066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db4e7aade2fc460b47e208191dcb12248801871","datavalue":{"value":{"amount":"+0.93150914","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":"Q4649731$71E0C4D1-0BDD-49EC-BF7D-E199F6198DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9acf76d4282f666f48eda47b30cbeb51aa60e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354203df6882526725b07372001342834a5fce9d","datavalue":{"value":{"amount":"+0.9141904","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":"Q4649731$684E1560-E71C-41BB-AAA3-171A74BAC453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed33447b2191b3f838a06f84d94e7ac1e3acc282","datavalue":{"value":{"entity-type":"item","numeric-id":4730755,"id":"Q4730755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23cf0340b449c2e7164528a3a975e13a29dbf164","datavalue":{"value":{"amount":"+0.9004154","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":"Q4649731$3A79864F-3C63-4AFE-AB10-85756E9D6FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81aca38709b78489bda3bf6c74cca69f198df488","datavalue":{"value":{"entity-type":"item","numeric-id":4644602,"id":"Q4644602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afca2428fb4be2de2e39623a210d0ecaee5896a4","datavalue":{"value":{"amount":"+0.90039146","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":"Q4649731$C4D74F63-2768-4FDF-A167-187BF5C2CF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae81e51470b77798252e3d07b2623cc489e890e","datavalue":{"value":{"entity-type":"item","numeric-id":2148780,"id":"Q2148780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8f752eb6042158d265f627adb47b3a73fe90e9","datavalue":{"value":{"amount":"+0.89793456","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":"Q4649731$0840F2E6-B5B3-4A59-83C1-E52D7CF6382A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d98bc805cac53d33a25307b97dfae271d3a8c60","datavalue":{"value":{"entity-type":"item","numeric-id":4763536,"id":"Q4763536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fafdc2c370039c9ad6c93aefc846448a23c58dd","datavalue":{"value":{"amount":"+0.8952676","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":"Q4649731$101A4144-88A1-421C-83F8-A0C98C437A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa560bb2f14c8e40c30f2ae2b06ffe5efdd65862","datavalue":{"value":{"entity-type":"item","numeric-id":5705953,"id":"Q5705953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86fa237d82cc64e80f490d94a9a2801ac14a78f","datavalue":{"value":{"amount":"+0.8943933","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":"Q4649731$8A606FA1-92AD-4EA6-BEC1-071AE66ACA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b840bc0149648a3afd81452f26f132c73af8991","datavalue":{"value":{"amount":"+0.8929499","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":"Q4649731$9DE199A2-0A92-4955-8C3B-E4A449D91488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee51c5b56a5aac84a6e446473373c1edc02f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb02029d0b974e6c66dd7eeb0402c3b089a2931d","datavalue":{"value":{"amount":"+0.8898066","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":"Q4649731$42B4ED2C-B9EB-4B87-AC59-D46BA495E484","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649731","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649731"}}}}}