{"entities":{"Q4013252":{"pageid":6043048,"ns":120,"title":"Item:Q4013252","lastrevid":55189111,"modified":"2026-02-04T14:48:14Z","type":"item","id":"Q4013252","labels":{"en":{"language":"en","value":"Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64025"}},"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":"Q4013252$29FF6986-B856-472E-88F5-EDCB63DA9F68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e407023dc408e8681efa4238773a807425c1058c","datavalue":{"value":{"text":"Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4013252$D8028893-74A6-4142-B472-09966D919DC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60788ed04d727f11a62f9f041d0930d6149dcfe1","datavalue":{"value":"0767.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013252$3EB2E9EA-F683-4D0A-9CB5-D52BA0CF876E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb332206e0ec1568e30509ff6f6d494fbaa96c05","datavalue":{"value":{"entity-type":"item","numeric-id":3210905,"id":"Q3210905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013252$EFD96950-92B0-4136-9445-C9C20C52F1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02f201cd00f9aa80c1e56d34816f11afa8440ced","datavalue":{"value":{"entity-type":"item","numeric-id":352962,"id":"Q352962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013252$6685ED5A-2BE8-4E84-A617-675D65998EE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4013252$A356671D-653E-4C6E-A153-94A6AD2D1100","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013252$6A8AFD7B-78A3-415D-9644-3ED3B94D2BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013252$5EAA83C0-3570-4407-B805-40951B6A6FA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1da302671d7daddaefeb52ac5d9d6c707c67739a","datavalue":{"value":"64025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013252$8E0A57BD-3B43-409C-AD1D-7859383E2FFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a54f3e018cba00b3ea5e95a6220a58df0172b9","datavalue":{"value":"ordered logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013252$B0650138-76B7-45C2-9038-8283BAC42EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013252$94CFD079-40F3-405D-821A-39E836830EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013252$275BF319-6CCC-490E-8B64-708A3B173B1E","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":"Q4013252$23E17867-621C-47E5-BCEF-0D28362576C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af31fc7edbfbe5af84158f95ed3a2f055ce13a79","datavalue":{"value":"https://doi.org/10.1093/logcom/2.2.133","type":"string"},"datatype":"url"},"type":"statement","id":"Q4013252$DC38C471-33B8-4702-BE1F-2CF6D4C9C114","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e5806d5d42c5484d58af35d61c641c4e60c56e6","datavalue":{"value":"W2033106108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013252$5926195C-BB82-4C79-A8B5-129D6E604F90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b76980a0d590c64d9f08b7cf49f6f851d4e5c398","datavalue":{"value":"10.1093/LOGCOM/2.2.133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013252$3F6FA4EA-CC84-4600-A97A-7F1F3C878374","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013252$F3AAD0D5-C3E1-4933-A093-352C221BEE93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc90b0727030b603a2438e66b4adca9359b2a9c6","datavalue":{"value":{"entity-type":"item","numeric-id":1313371,"id":"Q1313371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c82a6a5e0f9854feffc4f0784ad805297bbee8","datavalue":{"value":{"amount":"+0.805203914642334","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":"Q4013252$1B064229-E880-4A22-9A9E-3F568065658E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217dcec96f69f38daaad7f3a2481eb955a50e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3210906,"id":"Q3210906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c99e38ec99c7e67580614644970f168e60a0fc0","datavalue":{"value":{"amount":"+0.8008671402931213","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":"Q4013252$73783E20-91F0-4689-88F7-5F4D16AE8EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001b1aa20f7fcd2f6a0cbb9ae9c35d1e3b8f8ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4551034,"id":"Q4551034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb0e59492c9bad7a64ad89a40ec3ee6462fb5b6","datavalue":{"value":{"amount":"+0.7967361807823181","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":"Q4013252$6102B91D-ACEA-4D9A-9541-A0D5BFCF82CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9683d70a90859a0c56090c74ee51b5fff4aec43","datavalue":{"value":{"entity-type":"item","numeric-id":3129493,"id":"Q3129493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb0e59492c9bad7a64ad89a40ec3ee6462fb5b6","datavalue":{"value":{"amount":"+0.7967361807823181","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":"Q4013252$96F91A56-7E0F-4AA3-B33E-239330C73F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d5006b7939853d1382e30c23e24210453e079a","datavalue":{"value":{"entity-type":"item","numeric-id":4275258,"id":"Q4275258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc58896fe6e0e8e1020fad6f4bff10c35b43270e","datavalue":{"value":{"amount":"+0.7964381575584412","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":"Q4013252$A1BEB0A3-E089-4AB8-9183-0FC8222B6B30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4013252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4013252"}}}}}