{"entities":{"Q6623793":{"pageid":14234945,"ns":120,"title":"Item:Q6623793","lastrevid":55775977,"modified":"2026-02-17T22:34:36Z","type":"item","id":"Q6623793","labels":{"en":{"language":"en","value":"A new logical characterisation of stable models and answer sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7931392"}},"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":"Q6623793$BE4A10F8-E4A3-4433-8E29-CCC8CA508151","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95e5be9b7def95dd78e793bae89410964896648c","datavalue":{"value":{"text":"A new logical characterisation of stable models and answer sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6623793$82794C4A-0E90-45B4-87B8-4AD32CF2B9C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6438700e8eecf80fe0dbb4bc33a98690cc1e43e","datavalue":{"value":"1547.6809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623793$33257553-B0C9-46D1-AE6F-533081864FF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f86a1fe0df51154f1c030991a03a7f21bf121868","datavalue":{"value":{"entity-type":"item","numeric-id":532424,"id":"Q532424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$31D79FBF-7F4E-4113-84EC-25131129B763","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e904a32ce9fe0905c581b0bf09991f7f3f0c6d0","datavalue":{"value":{"time":"+2024-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6623793$DE22CA84-5211-41A0-92E6-D76A22B53236","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623793$2B8BB59D-B7E6-40E0-973F-3475F9D9E51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623793$2C573E27-4EE1-41BE-94C6-E646B66ACEA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f7df4115805dbf4c149b2ac7c6d00f75d1b23f4","datavalue":{"value":"7931392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623793$CE646978-03DA-41D5-B116-0BAD9EEF670E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623793$A6515C0E-0A1B-49E1-9C80-4F72D125305A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f330fb0a96988399b2cad6e13eaac2b7823f0d","datavalue":{"value":"stable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623793$72DB0BC3-BB2D-4F44-AEEE-8BA86089D565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623793$AF1A7082-2EAA-4F8B-8988-18495C559029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623793$EE5F9268-2C06-477A-B666-7A0AFD874641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623793$5BE2B950-ECAA-4C2C-A43B-395091F69154","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":"Q6623793$EF0BB21C-19D5-4BE9-AD09-2101B289E517","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"738655c5e04ddb97a8badad3792e2c75c72bed3e","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$78B363D1-99D0-4CC2-BE1C-14AB50CCE8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05168d749bf94ec48d7eb485934be78f95cd145","datavalue":{"value":{"entity-type":"item","numeric-id":3812241,"id":"Q3812241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$5E734A8B-D24A-4DA9-B132-05A280991808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$3D622849-EA9D-4B09-B6CE-1DC35B1411D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1315308a3632017650f7f5ae94783a9883728aea","datavalue":{"value":{"entity-type":"item","numeric-id":3739107,"id":"Q3739107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$0FBD39D0-F9EA-43DD-954D-978847B7329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa0a2bddf39b3bbbdd84c5aeb5798f0749a2e33","datavalue":{"value":{"entity-type":"item","numeric-id":1924820,"id":"Q1924820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$07EE5B05-8958-4670-A68D-B7927E2AEB6E","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":"Q6623793$1D68025A-6D91-4FBF-89F0-805A29C2ECCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$3351CDD4-7A74-4275-807A-19C0081C24BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4e9ae009d5790d07b8fb9d4b94d739d61ef352","datavalue":{"value":{"entity-type":"item","numeric-id":1342215,"id":"Q1342215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$9D5EAFEA-BB3B-4003-9370-0FA0DFBFBB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2f5bc92e9392637b6279fc20e9ab64715fa973","datavalue":{"value":{"entity-type":"item","numeric-id":1199920,"id":"Q1199920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$FBFE2AF7-05F4-464B-9D2E-77B5BF22371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$B6299363-E721-47E0-96C2-051F10FAB6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$9E897378-D3A0-413D-8A50-0C8FDE12ADA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e2112bcd55c4986a368477ee1ce96de4a89f24","datavalue":{"value":{"entity-type":"item","numeric-id":1892704,"id":"Q1892704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$FE561191-CD76-4486-95C0-8B8022487BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$C0453BE4-B6D7-4627-A2CD-F2340CB936F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$6E5BBD53-8795-43A0-A47B-E2A978BA9273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d83d5414c4b398d1e707c31aba87dc6f4fe424","datavalue":{"value":{"entity-type":"item","numeric-id":5813184,"id":"Q5813184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$925809E2-F533-4F99-9D92-15F76B2DC2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e2c2513a865775e0ab3b28589f58f0c0e8d22a","datavalue":{"value":{"entity-type":"item","numeric-id":5813185,"id":"Q5813185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$B45A3317-50E1-4216-AA45-73945D043C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623793$CA894315-A800-447D-82D2-2C8B207D9DBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9d03eaf06854ed70671f045af8c67efc9e8311b","datavalue":{"value":"10.1007/BFB0023801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623793$364F9CE3-7BAE-4CD5-9018-A3E9EAAC7145","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9def07adecd4f3f96c038cd5d31521a274c4bf","datavalue":{"value":{"entity-type":"item","numeric-id":2767096,"id":"Q2767096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2130ceac2aa1b507db2eaee775dc8f6e1dc277","datavalue":{"value":{"amount":"+0.8540522456169128","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":"Q6623793$F8BCEFAF-B1DA-48DB-B8B8-1E3E7900BE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6b9dd9780ca8ce6dd69c09db06aed1bdc778c5","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59e71fd0fb1265a4327fcfe23d870d8f24de0aa","datavalue":{"value":{"amount":"+0.8479989171028137","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":"Q6623793$980B39EE-8C1E-4144-BB30-50840229E8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d1499730145b3cac86ab672622b0db27ee9b22d","datavalue":{"value":{"entity-type":"item","numeric-id":4223455,"id":"Q4223455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada1d401cc59bb56bb7eb24cf779da63d1353ab0","datavalue":{"value":{"amount":"+0.8441974520683289","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":"Q6623793$E375352C-CBC8-475B-A7B5-97C072E8A582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a87da5d3bcc74993014782cdbff5c432b853ba","datavalue":{"value":{"entity-type":"item","numeric-id":813086,"id":"Q813086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ec8245e04bfdc963a80328ce1ba1a0345647cd","datavalue":{"value":{"amount":"+0.8374603390693665","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":"Q6623793$03D80A6C-3038-4CCC-A270-679C08170C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85dbc7c2c86fc0007c4247c36836428e71aee2f","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1161095f1a8421c1e973b0c1d73c3135dad4a3","datavalue":{"value":{"amount":"+0.8193649053573608","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":"Q6623793$A448EB7F-5DF2-475F-8BDE-442FE3E7ABDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6623793","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6623793"}}}}}