{"entities":{"Q2144173":{"pageid":2154916,"ns":120,"title":"Item:Q2144173","lastrevid":56889906,"modified":"2026-03-24T12:09:51Z","type":"item","id":"Q2144173","labels":{"en":{"language":"en","value":"A polynomial reduction of forks into logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7535444"}},"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":"Q2144173$2CAD8EE7-7216-4976-A0A7-FC5397B4297F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fae700be1e19561f91960fbca814b741587bda03","datavalue":{"value":{"text":"A polynomial reduction of forks into logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2144173$5DA08EFE-D470-43C6-A42F-6C4D60309EC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f2839cc838f91bf1241af55451f6f5602ea8672","datavalue":{"value":"1496.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144173$47B105C7-5ADB-48D4-85FC-67BAC8057142","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144173$BACE70B6-43DA-46AF-8034-83F4620A4810","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144173$E6FF6DA6-2795-4B31-B1C0-1DB70028B04A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb692f3299cf1c6e4f6dd07056e2a0cdf9e7c22a","datavalue":{"value":{"time":"+2022-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2144173$9E8BF650-FC37-4960-830B-11A3065C4448","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144173$1EBB699E-AD25-4FD1-B909-705763291D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144173$F48F45C3-1403-4F44-A58F-F78B0EF76CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144173$564C5EB0-B348-4991-A901-B089271EF2F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c37108cb035adfe873e927f980e219dc1ad4bd19","datavalue":{"value":"7535444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144173$ADCB8E37-C997-4767-A627-4EC3D9DAED5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2144173$055D1C97-1852-4A7B-991C-83F710800196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2144173$22A2184B-2E2D-4AD7-9709-CDDF13170DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ac413f5aa94c5b7e7fdc90244795870badd09b","datavalue":{"value":"equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2144173$51C91097-8AF4-4DA9-AD3F-426F09AF5BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2144173$F8F39908-F9D8-46B5-A969-C991327638D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b2cd1ff4b4ec358a0f04030c8cd19875b686c6","datavalue":{"value":"forgetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2144173$9598DB69-FBC2-45FA-ADDD-1E93BA88D3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2144173$8C747DB0-2423-4FA4-8E8F-DE77EA0BCB93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144173$3C21FF24-C25B-4631-AC0C-0B922D645AAD","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":"Q2144173$389F5662-489A-4E69-84B5-B01BDC7E17F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2be4a14d1a117a3aa7779411bb9afa81eee9028","datavalue":{"value":"https://doi.org/10.1016/j.artint.2022.103712","type":"string"},"datatype":"url"},"type":"statement","id":"Q2144173$04E0921B-D7AC-4380-91D4-48DC5F9DADFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d226aa864d1a7ab2dc2a42996461bbffe3092348","datavalue":{"value":"W4221103838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144173$BA855781-93E7-43C0-BD5F-DD9D386C5F08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1e3dc598e873a4ce4d2e495eb65f218e1d6181","datavalue":{"value":{"entity-type":"item","numeric-id":2321342,"id":"Q2321342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144173$29871D39-C4AF-4CA1-9FE8-0AAAF0B013B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144173$6AA16446-BD21-482C-B07A-7F535077EB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2ea6069dfa6450ccea31bdeae3d734ad234a17","datavalue":{"value":{"entity-type":"item","numeric-id":4576228,"id":"Q4576228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144173$54C9D304-E052-48DE-BD9D-A21C71F88DA3","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":"Q2144173$44E8616A-D8A5-4065-8724-2C02CB279C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4222f6544b76280d4fa03de079893177c5e59e","datavalue":{"value":{"entity-type":"item","numeric-id":5839920,"id":"Q5839920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144173$2F1257BF-22BF-46E6-9A1F-4269CF8AE324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233b8273450f535e01aa2e125690075bf88bfe05","datavalue":{"value":{"entity-type":"item","numeric-id":4812975,"id":"Q4812975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144173$EEB473E1-D431-4249-829A-82D8B2C3E37B","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":"Q2144173$44284F7E-AD00-4BE8-8388-1F6665F6D891","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f7542203f9457988849b80fc2b1efe8cb72c27b","datavalue":{"value":"10.1016/J.ARTINT.2022.103712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2144173$FDBDD1D6-EA14-4C14-9F61-A46BAFA7A893","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5e6365576907138f3cfbeb849a199cb9c8db23","datavalue":{"value":{"entity-type":"item","numeric-id":2321342,"id":"Q2321342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3aac3a5afc04427fae18e755e356fc7a35ba060","datavalue":{"value":{"amount":"+0.8911412358283997","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":"Q2144173$C0B765D0-B124-4977-97BB-43A1E64F386F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43697b0244aaf21f696c0393bb71a74dcddf6ae1","datavalue":{"value":{"entity-type":"item","numeric-id":2938510,"id":"Q2938510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f348af116d48115d52414c579d0137f763a68ab3","datavalue":{"value":{"amount":"+0.7607801556587219","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":"Q2144173$563BCB09-08EE-4B5E-ACE0-4ADBDDE2FBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb986fccd7e92e0a0b20080147f9be1498443e2","datavalue":{"value":{"entity-type":"item","numeric-id":2211850,"id":"Q2211850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d75bdfb922f564d980bfa3dce3b0d054b1c6ba","datavalue":{"value":{"amount":"+0.7397996187210083","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":"Q2144173$989B5FDE-8FE4-488E-A551-2BCBFF9D74D8","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":"cabcb1ca9fd8906b9c2b2cd7cd35a68055ea1696","datavalue":{"value":{"amount":"+0.7206738591194153","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":"Q2144173$21CDB63A-1399-4D17-BD9C-1909F3FE9D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbf550b6118af7ff242c611e843501d96d87fe9a","datavalue":{"value":{"entity-type":"item","numeric-id":2851229,"id":"Q2851229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac15cae328a7e17438383b7a26ca6b9afa8b457","datavalue":{"value":{"amount":"+0.7192885279655457","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":"Q2144173$2086C36B-8784-453B-9855-8AE09BF2F898","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2144173$D866B4B9-04A7-41E0-B0E4-3A694FAB6713","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2144173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2144173"}}}}}