{"entities":{"Q2946602":{"pageid":2957322,"ns":120,"title":"Item:Q2946602","lastrevid":52347161,"modified":"2026-01-22T10:11:25Z","type":"item","id":"Q2946602","labels":{"en":{"language":"en","value":"FDNC: decidable nonmonotonic disjunctive logic programs with function symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483110"}},"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":"Q2946602$89B7ACDC-4A12-422C-8F1E-0ED04393863D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f13d72b4346f4a49ba92ef2c8429297ee89c6bdc","datavalue":{"value":{"text":"FDNC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946602$BDB1600B-6F21-48AF-BD9E-8D634521704F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb02521d030684145075cc2310337604cc8228be","datavalue":{"value":"1351.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946602$0C8994D1-C340-476E-8C34-8C927CA3CD9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7551c8405a3cdcba5236567c23e19ec0970b0874","datavalue":{"value":"10.1145/1656242.1656249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946602$E9962EFD-7DA1-483F-B9BF-FF9B8680E01B","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":"Q2946602$A9F5F252-E4D0-46C4-97D6-C8A32801C4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318ecb6a51d305f5b595ef01f7d0fec8d6fc0d2a","datavalue":{"value":{"entity-type":"item","numeric-id":414847,"id":"Q414847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946602$8CCDD1C9-6BE5-40C1-88CF-F2824CB11A9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946602$D884388F-5CB6-46B3-9CCB-F86F1B908503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946602$A787FD6F-C170-4BA2-A68C-CFDBD1B9C283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946602$00B244C9-8EAB-4969-9198-E4D7098B85C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946602$07622DC1-5787-43EB-8CCB-A1E731763C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946602$E9B0CFFF-A06C-419D-ABE3-B0E579B6C57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946602$E4BE266C-9489-48A8-A5C2-1303EC1167D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24f6b952c4b6862c626ddc085b6e68163887891d","datavalue":{"value":"6483110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946602$2E72F53F-6137-4DF1-B0B7-339825C663AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946602$9FA70A13-FABE-4D32-8C0C-C7CFC4AE62C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946602$B66FC6B8-B571-4032-8165-62F5333EFDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946602$8A9EFC37-1514-4FCA-BEA6-D85B8269820D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d6217c926fca77dbfd91f47d77cc8214a998072","datavalue":{"value":"function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946602$41AE2FB8-8ACE-49AC-91CD-DEF680CFB788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946602$EF0A7990-AAC6-4D23-B62C-92B82F89CEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45625231019d415fc5cbea900e351ee73bc5a7dc","datavalue":{"value":"nonmonotonic logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946602$D4A89D2F-99D5-49DA-98CF-426C65162E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d72f87071c033a7fc6394dc8a7c682569d4313","datavalue":{"value":"reasoning about actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946602$0B8BC449-BF78-4796-9901-0DBCEE9409D7","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":"Q2946602$DD6C1861-2FF5-4AEC-B0FD-4294B11D0029","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f74a34bf421688e125f7c34e01de0d764386319","datavalue":{"value":"https://doi.org/10.1145/1656242.1656249","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946602$A9229446-DECF-4CA9-882B-10504B777A0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1da28908ead5845ea4acdda58bbd7eb7ed98fd88","datavalue":{"value":"W2051741066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946602$1EC98B04-AC6C-44F5-8FCB-7B09872E76B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b52d4bf43f49391ab09ef9a2c5cc675be91ffe","datavalue":{"value":{"entity-type":"item","numeric-id":3498490,"id":"Q3498490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a911b7ee4b207f068c2ce973fbbf36a51734d8c","datavalue":{"value":{"amount":"+0.9041903614997864","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":"Q2946602$D23655E8-D662-45C7-BFFF-B2F46922EA07","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":"b4c372f8c203817edb3abc8849dff9776c55e92e","datavalue":{"value":{"amount":"+0.773992657661438","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":"Q2946602$9D0D6ADF-4CCF-46C8-9CE3-CDF72E16B0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b9c8f64a228ff829d58479e16cdfdd70f18dbf","datavalue":{"value":{"entity-type":"item","numeric-id":4906882,"id":"Q4906882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a8c0ee79a68574b5ae87641fc271286e2e39b6","datavalue":{"value":{"amount":"+0.7514644861221313","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":"Q2946602$8B1BD354-E2D6-446A-8550-B34D0E2D03E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35428fc5eb9bbc7852d769eadcc8ee6dd95b1279","datavalue":{"value":{"entity-type":"item","numeric-id":2880785,"id":"Q2880785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95444f6eb6a4cd400345506dd059ba912776e099","datavalue":{"value":{"amount":"+0.7492180466651917","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":"Q2946602$50DB8A38-2CF6-4CFC-9D2C-EE6BE3D14ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800d6ab3b872547bd05f5b8f79081dc3a54b9e2d","datavalue":{"value":{"entity-type":"item","numeric-id":814596,"id":"Q814596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50fbca628a1904867d356fc519bc61defaa7ed4","datavalue":{"value":{"amount":"+0.7436894774436951","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":"Q2946602$D4BEBA91-4819-4A67-A6F7-AC8EF5695D8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946602"}}}}}