{"entities":{"Q5038473":{"pageid":7068050,"ns":120,"title":"Item:Q5038473","lastrevid":57312378,"modified":"2026-03-30T09:27:15Z","type":"item","id":"Q5038473","labels":{"en":{"language":"en","value":"Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7595335"}},"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":"Q5038473$C3D782D1-E70F-44B4-BFDD-9F1C1CEF653A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d569f0244fe8a22d09b6a966184c54b9227e73d","datavalue":{"value":{"text":"Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5038473$4DBA958A-07BA-4035-92D6-D69294D21962","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba6984e640377a51abf2ed3fc7aadd7d7a3a5a8b","datavalue":{"value":"10.1017/S1471068422000242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038473$F42DC402-B10A-4C70-B224-5BB7E4A34E35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f30fbf241dcff7bda46e30ee12c7795b236f611","datavalue":{"value":{"entity-type":"item","numeric-id":512648,"id":"Q512648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038473$70F49A32-7B2E-41EF-8B09-657B65CB18D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eabe44788d95d3eeb614879e9f2cbd05912d1c01","datavalue":{"value":{"entity-type":"item","numeric-id":345701,"id":"Q345701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038473$5AB9F774-6C70-463A-9033-CA34A464D9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc397ee761647537d18191e49156594f1ff1e719","datavalue":{"value":{"entity-type":"item","numeric-id":169899,"id":"Q169899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038473$FA76F395-5BF0-4D14-879F-1DA1316FCDF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038473$F3A578B5-8126-4954-A3D5-5F95991AB924","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9283dd817d2ebf256bf865a5d69ed7b0c35a3bc5","datavalue":{"value":{"time":"+2022-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5038473$A040F93F-4E96-42C5-AD97-9358902E0D95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29730aeb7b07a7e812f81945ca57be666dd582d1","datavalue":{"value":"https://arxiv.org/abs/2205.04882","type":"string"},"datatype":"url"},"type":"statement","id":"Q5038473$DC4B2B69-AC0F-4049-80E4-C7BEBB4EFB30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038473$A9E08B85-153D-4F65-B1A2-1A7C56BEB776","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d750d92a617c79cb65e74833440c35bd3c3f8de7","datavalue":{"value":"7595335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038473$0C70968D-33AD-4EB3-AE13-363ABD812309","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e420e2cf3f4e9fabc63b1612874f4bee7727b57","datavalue":{"value":"ordered disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038473$F964B4F9-D320-47B7-AC39-4377E0B134FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038473$6F87C3C9-9294-4718-B505-02267C45D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523058d49ad030a3fe6c55ba3f577151f388f8fb","datavalue":{"value":"logic of here-and-there","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038473$62D9F97C-5A78-47A5-8E5B-BEDFDFDE914F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554e7d94e535f9067a8106c37c3422e0273ee972","datavalue":{"value":"answer sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038473$638F4972-77C9-4B2B-8C4D-2BF2E3A8D024","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":"Q5038473$C25151CB-6F29-4A17-A6E7-F3123B037DED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b211bc25b9bb75edab5ceafc4b86eb86c9a27039","datavalue":{"value":{"entity-type":"item","numeric-id":814609,"id":"Q814609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038473$2526CFF7-D6E5-4336-AA4D-A14229A86302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7d40acc92475929c4bc7d544c0f617c93070ae","datavalue":{"value":{"entity-type":"item","numeric-id":3011299,"id":"Q3011299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038473$49CC8C30-63DF-4547-B343-E3219DA801ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccda224cf92515866ef119a116669d1b3eb5aac","datavalue":{"value":{"entity-type":"item","numeric-id":5019604,"id":"Q5019604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038473$E57F303A-8BE7-453B-8DA7-E414EF2384A8","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":"Q5038473$62222322-1615-4D3E-BD99-0DFC9081A926","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":"Q5038473$5D26A74A-E106-4051-BBBF-0E508BE0F013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e3b8457bdbc5cddcf19c9c044bcacd79aa4e5a","datavalue":{"value":{"entity-type":"item","numeric-id":4736482,"id":"Q4736482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038473$F8E677A0-1D91-4FBD-B508-0945B94DC232","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d288c240a5814351d3a48b5e73d5550a93c051","datavalue":{"value":{"entity-type":"item","numeric-id":3100239,"id":"Q3100239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f357004f3ab8e76bbe028d2746a5ce219a08a75","datavalue":{"value":{"amount":"+0.9249896","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":"Q5038473$6AD67EC8-85E7-450D-BA0F-BEBB97BBC184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6655172ce65cb409a27c2e078ddfef1c12143b0","datavalue":{"value":{"entity-type":"item","numeric-id":6063883,"id":"Q6063883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a451a5dae2aca121c5965d7ac405fe5150bb33","datavalue":{"value":{"amount":"+0.9239828","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":"Q5038473$C4C6E2B6-6F67-44CA-B678-69541FBBA063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e000ad49afd82833cb64d9dd071c10fe20bb66","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3162c14fd77682aad9d8f53c00cfadfa9c4fbf6","datavalue":{"value":{"amount":"+0.9237174","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":"Q5038473$1C9F0E3A-BE2C-4E4C-923C-BF6FDB2C5F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822d34ba832a68c059d9c16804120c2a62f62418","datavalue":{"value":{"entity-type":"item","numeric-id":5424873,"id":"Q5424873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4974e440f26f8dbe0787bdbff5e49edbf7f249b3","datavalue":{"value":{"amount":"+0.9127885","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":"Q5038473$9C20B117-D701-42F3-A3B6-5CFA11391CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ebd1ef8ba881f2aa1541aaeab2864d1059522d","datavalue":{"value":{"entity-type":"item","numeric-id":2344722,"id":"Q2344722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca22bd5714ddcd9e0904eb8bcc004b0422c02c1","datavalue":{"value":{"amount":"+0.91169214","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":"Q5038473$995EF9F2-FAE3-4EB2-8788-CF3C0AF3B340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5580b7b2d9e6dbff81caff5eedd59eeb38b40b49","datavalue":{"value":{"entity-type":"item","numeric-id":5038462,"id":"Q5038462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24faf123314163f027fe9a2cad8e3514c7b9e19","datavalue":{"value":{"amount":"+0.91118383","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":"Q5038473$D0035F9F-A705-44FF-93B8-A6169D5F5BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bde5666f8df105c96672e08556ea4886981a05","datavalue":{"value":{"entity-type":"item","numeric-id":3624060,"id":"Q3624060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae85b1ded85b940ac5e59e307ac997a122793693","datavalue":{"value":{"amount":"+0.90930444","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":"Q5038473$6D175847-849E-4B80-8636-052C4572286F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98feae1d06fd8c743d43434738fc6e44687bf403","datavalue":{"value":{"entity-type":"item","numeric-id":4244294,"id":"Q4244294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7ce0f71514398b5339141c63512716638c1998","datavalue":{"value":{"amount":"+0.9092605","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":"Q5038473$44679529-16F2-424F-90F3-20675134C633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5379bcf6eb57dbd7dc1e8cddf64eec2297960c","datavalue":{"value":{"entity-type":"item","numeric-id":4799292,"id":"Q4799292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e47040a895228e1e88cb34a4e8a2680b67a7a9","datavalue":{"value":{"amount":"+0.9089822","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":"Q5038473$0BB68402-875E-479B-A8BD-668B86AED93C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038473$B2F75E86-4EE3-4597-A34A-4059F16FEB2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5038473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5038473"}}}}}