{"entities":{"Q4371993":{"pageid":6401592,"ns":120,"title":"Item:Q4371993","lastrevid":89412881,"modified":"2026-06-04T17:18:25Z","type":"item","id":"Q4371993","labels":{"en":{"language":"en","value":"Expressiveness of stable model semantics for disjunctive logic programs with functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1106664"}},"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":"Q4371993$4F92BA2F-8BC1-4925-A10E-FB71FD098A15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"025e645214afa8d85f54bbc52b1401269ad0b187","datavalue":{"value":{"text":"Expressiveness of stable model semantics for disjunctive logic programs with functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4371993$E9D94A47-E457-4C1B-95E6-984A8025FDD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74b25fa8df9d300e9a19e976e369392d203db072","datavalue":{"value":"0890.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371993$8AD741F3-EC75-4744-BEC9-2C5209753CC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b439c7cd6c8f3fa78c808dce87c667e6a6753fd","datavalue":{"value":"10.1016/S0743-1066(97)00027-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371993$D87D3A12-776C-41F6-9115-4A90C5EAABE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371993$B37E17CC-DED4-4C90-BD00-76814927B77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371993$C1250177-E0A4-4341-ABF7-45C45459EBBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371993$F20980DD-F41E-419E-B366-57CAF9B7BC5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a328fa88899aa72e39974cb27adb3422e0e7b54f","datavalue":{"value":{"time":"+1998-07-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":"Q4371993$66B71EEE-27D9-46AB-9619-C00CA8DAEE20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371993$35C36A9F-3945-4EB8-BD33-D8FBA115A8EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ed17ebc5c1ad54f28fc14cd5cdd1f2bb342fc21","datavalue":{"value":"1106664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371993$14B2CA47-B5BC-4F77-B8D6-452DCC12F25D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0455910bd255bbb8b513238c1f3706fe3d365ad7","datavalue":{"value":"disjunctive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371993$C7F7FA7A-246D-473B-AC00-A0FF6CEAC210","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aaa13bd9927f59190555440408be2137f1ab0fe1","datavalue":{"value":"Q59259753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371993$9E8691CC-6D90-4658-87D0-3BE49BCED8B5","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":"Q4371993$1F2057B2-46FF-46AF-AC64-66DBD9DE39B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f78f59a048ac6fc714e5498e3e7f4fca9661b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278207,"id":"Q5278207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cccf51d152c0fbeedfa3c4234b153a4a7e581f","datavalue":{"value":{"amount":"+0.9322342","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":"Q4371993$0BFBCE8C-DA97-4332-91B3-78B6A01CE932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7662bf62316859e1e110290de01a1895fbcee798","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224990c92fb3a544e1a7a0e51786547fc650a8bb","datavalue":{"value":{"amount":"+0.91528374","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":"Q4371993$37D9156C-05E3-4B36-ADB3-45E1EBCAB65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4827ad7d3ece97e8e4313684e6d8f53bbb054976","datavalue":{"value":{"entity-type":"item","numeric-id":4375823,"id":"Q4375823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef389d412e8868f98dfdee87aaa4d4d72cf14204","datavalue":{"value":{"amount":"+0.9147911","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":"Q4371993$D8708A66-B872-45FF-A01F-A2C402DB25F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"280d771e24f08f0a211a2ad0567d631b1556027f","datavalue":{"value":{"entity-type":"item","numeric-id":4798003,"id":"Q4798003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4a5d72785b6d8ec5312e66f7804d0eb059488b","datavalue":{"value":{"amount":"+0.91464126","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":"Q4371993$30837585-77A1-4A12-95EE-B7CB36E0A155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f3ace1a2691d73ffc5626431b577a5ec2f2859","datavalue":{"value":{"entity-type":"item","numeric-id":4815033,"id":"Q4815033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4a5d72785b6d8ec5312e66f7804d0eb059488b","datavalue":{"value":{"amount":"+0.91464126","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":"Q4371993$2C2A842F-62B8-4C83-BD95-BA2C1CF5377F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef13f75cc68fc25b9f306085f79e10e04e8459c1","datavalue":{"value":{"entity-type":"item","numeric-id":1127348,"id":"Q1127348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd1775b75696ce77e3239991d273173ceb3199d","datavalue":{"value":{"amount":"+0.90875155","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":"Q4371993$BABF2E8F-CD83-4A00-B360-AC2D96170AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2fc2c42ad8dc5d2ed972f60f8a9d14682c05f52","datavalue":{"value":{"entity-type":"item","numeric-id":3089164,"id":"Q3089164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8cf97811606a851529d46011da28eca2558c9b","datavalue":{"value":{"amount":"+0.90061915","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":"Q4371993$B307A66D-856F-4C80-B094-21D29CD591F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7652043c6defbf63abdf6ed6a894cb2bd1b0306f","datavalue":{"value":{"entity-type":"item","numeric-id":2851918,"id":"Q2851918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8cf97811606a851529d46011da28eca2558c9b","datavalue":{"value":{"amount":"+0.90061915","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":"Q4371993$0231350A-1EDE-4816-8866-EC85A492C1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebff1a88eb2e8d92ed58b7d72126e2aa1677fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":3634954,"id":"Q3634954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ebaecc7c0bd5110088f98e989c31a61dc08d5c","datavalue":{"value":{"amount":"+0.9001867","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":"Q4371993$E1B65869-9490-4B5B-8CB9-FE86BF525DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2758127a543c259f405637036145bc5c8d72d368","datavalue":{"value":{"entity-type":"item","numeric-id":3348900,"id":"Q3348900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad938e788635982617cec1feb39f219aec65af1","datavalue":{"value":{"amount":"+0.8968892","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":"Q4371993$CB68490A-07C1-4F2E-ADEA-86C5C29DB801","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressiveness of stable model semantics for disjunctive logic programs with functions","badges":[]}}}}}