{"entities":{"Q4592993":{"pageid":6622578,"ns":120,"title":"Item:Q4592993","lastrevid":58284300,"modified":"2026-04-04T13:49:13Z","type":"item","id":"Q4592993","labels":{"en":{"language":"en","value":"Dual-normal logic programs -- the forgotten class"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804556"}},"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":"Q4592993$643BB681-3EF1-4180-A1E6-E73AE7F33F8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8af552850442deeb406648c8cd6664f6ef6d38f5","datavalue":{"value":{"text":"Dual-normal logic programs \u2013 the forgotten class","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592993$ED4537EE-1A8F-40BA-B23B-86FDA7FAF1BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c49bb929ed4e0a233b118349ee38593836a52b46","datavalue":{"value":"1379.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592993$4C3FFCD0-3353-4499-BC62-ACCF2AF573AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"788dbf2c0d2a6e1a6f33548a6e09cccb064d577e","datavalue":{"value":"10.1017/S1471068415000186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592993$3639DCE5-3459-489C-94F8-DABCE9B82FE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1231c9ffdd6fd18a27526f5f9b2ee5db0f5e7a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1647689,"id":"Q1647689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$675BEC0F-CC09-495E-8232-B5E1F8A9C45E","rank":"normal"},{"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":"Q4592993$FB66A3E0-29A7-4DAB-9369-7D09C0EDF8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$F5F913B5-2DF0-4CF1-85DB-3866177AD57E","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":"Q4592993$6EC2789B-DFEA-420E-9690-2833CC127116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592993$D8648B47-1D1A-4142-82E1-C397DB144B55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0ccd87f432a7dda8370b162d391eca4631184a2","datavalue":{"value":"https://arxiv.org/abs/1507.05388","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592993$7CEA301F-DB11-4977-923D-D90F46F1C204","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592993$12985FD0-2BA9-4440-9A73-F193FA686B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592993$2C9029C3-2E27-4EE7-90DD-848DD26031E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c34f4c168edb9094a9a9214fd55313a28756fdd3","datavalue":{"value":"6804556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592993$F9490F3E-E401-412E-8CEE-77045894BDD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592993$8C30AB4E-D5F3-42BD-B4E4-DB16C98BE623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1d9782fb9a17d11b654f86e96c459657cb98b4","datavalue":{"value":"classes of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592993$322C85AF-CBA1-47F2-92D0-5E2C4C18E9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8d12c456332ba960b878756c4026af923f6ed40","datavalue":{"value":"strong and uniform equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592993$B8F6439F-3A5F-449C-9FA0-D092AFB260EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592993$D405D827-AEFC-415D-BF79-5A06CFC04874","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":"Q4592993$77987C57-440C-4AA5-98AD-9BC587D39587","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e52c9edd164dfd70c023941e9c3045889fa60dd","datavalue":{"value":{"entity-type":"item","numeric-id":854966,"id":"Q854966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$7BF55D33-E64A-416C-B647-E101DEFFE10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$AF03DCAC-B945-455C-9F5E-BA2BA8B20AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$0A757358-0604-40EB-84BA-3298A3B048D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3eb31d1f35138bbf0149d57bdfea62403193c96","datavalue":{"value":{"entity-type":"item","numeric-id":5191482,"id":"Q5191482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$A428E45D-E7DF-417D-AA1A-8A0EC3265FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3210d060a12afe0766e0d0ca189692d5e890a42b","datavalue":{"value":{"entity-type":"item","numeric-id":4583308,"id":"Q4583308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$ECE3A6B5-F18D-4F26-A43D-0434693782D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ec7e26714b2588a89599299802fbed0e409e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277782,"id":"Q5277782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$02AA3A3D-C446-48CF-8C21-74240C5308C7","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":"Q4592993$B21F42CB-3162-47E4-B578-7FDACD0B8D52","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":"Q4592993$492EFF65-F3D5-4078-A047-2DB626E0E1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deb1ccde75ab053138014416c29fa9ac44d758","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$166C701B-952F-4A84-9D32-D43C3A080DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a570c48c6d97b419e37f9240e6e6b34a0f8f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5277741,"id":"Q5277741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$A48AE71D-B815-4797-BD89-2AC1B85DFB77","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":"Q4592993$4D470C56-7702-4638-88FF-EBE85607D496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd95268db7c6b7315032cb4ede7c6c2c9b37e1f","datavalue":{"value":{"entity-type":"item","numeric-id":3181745,"id":"Q3181745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$524583E4-65E2-41EB-AFB9-6B162FA54756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb678fcfbbb428f6b5621e5f89f6a8cb37d8f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$6EC6587B-F85C-4871-8995-B3E52615F92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c5da400fcd5e99d0d3ee4e7ebc525826735f84","datavalue":{"value":{"entity-type":"item","numeric-id":2909524,"id":"Q2909524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$2DBF74C4-E626-4945-A60A-B44FE862AC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928bdcbdf5648eaa3f56609a6f27b6e16785ef46","datavalue":{"value":{"entity-type":"item","numeric-id":2884255,"id":"Q2884255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$5CD94C22-B468-459A-8ADE-DECB4159F366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b9b252dff5d87abea60c051c9335a5fa3b86e7","datavalue":{"value":{"entity-type":"item","numeric-id":5947949,"id":"Q5947949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592993$F94F7160-F394-43A2-AC68-CC2FD08ADDCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ae31687ef7dcddb0fea08c051056769d31e7e2","datavalue":{"value":{"entity-type":"item","numeric-id":5277908,"id":"Q5277908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a92cd6411f2795e3bfe36ab98e63844ea72fff8","datavalue":{"value":{"amount":"+0.7732155323028564","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":"Q4592993$E30A40ED-C63F-4346-BC5B-0FE496F8B7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a37a1bb8d639c0ead96a438818418662f037d2d","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf9d27bc8f4349d9dcfdbc30db9bc6a804f8ab3","datavalue":{"value":{"amount":"+0.7647888660430908","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":"Q4592993$F869E9D5-4CBD-4A50-9035-054D94B2AB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1731e813ae6510d6db4c8e9fedd7692ebd91608","datavalue":{"value":{"entity-type":"item","numeric-id":5715451,"id":"Q5715451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00c870a42e2fb59dfcce1a094b2f637d39a8471","datavalue":{"value":{"amount":"+0.75650954246521","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":"Q4592993$A4B64C7C-E9F0-48F6-9724-CD23307542F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244abcda809fde78af819f89d328566e1f96dec7","datavalue":{"value":{"entity-type":"item","numeric-id":5900402,"id":"Q5900402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8882df93a478344de5a48de470ef4e00cb6506","datavalue":{"value":{"amount":"+0.7562173008918762","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":"Q4592993$EA8501DD-D3AE-4DAE-A341-3CA69560CCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2226f416d0673ac716e3bc8e74166cbc37100e81","datavalue":{"value":{"entity-type":"item","numeric-id":4812969,"id":"Q4812969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7447f5b4aedca8275681dc6008485c62f1ee6908","datavalue":{"value":{"amount":"+0.7545024156570435","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":"Q4592993$3DCBBE98-86C6-46AE-B5E5-8A0B431C4FE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592993"}}}}}