{"entities":{"Q1688962":{"pageid":1699703,"ns":120,"title":"Item:Q1688962","lastrevid":73993170,"modified":"2026-04-14T17:58:57Z","type":"item","id":"Q1688962","labels":{"en":{"language":"en","value":"Answer set programming in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6825027"}},"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":"Q1688962$AC9CBAD7-3988-4F79-803F-7B7F234D2496","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5c0c05258383b5cfa6f6e2b18b2c8e2f427cbab","datavalue":{"value":{"text":"Answer set programming in intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1688962$4EB87680-410F-4BDC-8294-47507022223D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c876ea51ea7de497a02858adf28906d7bc47289","datavalue":{"value":"1437.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688962$53221EC5-13E6-4B73-BF25-3D4DB0A5E6FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$825F88AB-591C-446D-AB21-BD0274029B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$F8BB62F1-3FC5-4758-BF1F-B8A6C7089A8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$7965AF90-F84B-4324-BBE9-74AA86E6ED9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7715282d0e47f132d02fb834b8feb7eb3b738e4e","datavalue":{"value":{"time":"+2018-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1688962$CC6FE60C-DCF4-4FF1-BE8F-A283361BA0E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688962$C1CE1136-FAC1-4D0A-8A78-355B24E3A793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688962$6466C177-B8CF-40AD-9669-D4F972C58F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688962$643A3B5F-F155-46E9-B497-48FD5480908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688962$3A8C2527-FD79-4AE2-B124-BD9AD922DBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688962$027B8872-3EFB-442A-92F9-27C0DC162090","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"618b1d9053f6d40192741701fece4e03f31619ba","datavalue":{"value":"6825027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688962$6EF2A20A-69EF-4D63-B573-7655F9F046ED","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":"Q1688962$8EF5A928-28C2-403A-9B73-0D5EDC6062C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"582c6d3a839ef22a69be49cd6789083ca34fd9d0","datavalue":{"value":"https://doi.org/10.1016/j.indag.2017.05.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688962$5BCFBE8A-789F-4A61-8C50-7AE1DBE2BED5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e54cb56382886037912cb81ebcc1066c8a285afa","datavalue":{"value":"W2651218488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688962$5F4F9AB8-D1A4-4AA0-AA05-A88A612FEB4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"713f64a492a2aca46d9fcdcf99b677ef28cefa55","datavalue":{"value":{"entity-type":"item","numeric-id":1176286,"id":"Q1176286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$34396FDB-0AD5-4217-9772-806E1D242027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$14E8732D-D7F0-4B2E-8BE4-7153B8E18F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$8F693F5F-F0FF-4FE2-B3EA-D4499C0C08B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cb5c274d960709d34eb3f1eda588d0413360ee","datavalue":{"value":{"entity-type":"item","numeric-id":4669647,"id":"Q4669647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$1914588E-74F7-4B29-A429-F2AD79760ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39221fb0165f159f65022314f762821319df318a","datavalue":{"value":{"entity-type":"item","numeric-id":4223455,"id":"Q4223455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$4B4B1169-C8AE-4B65-8CBE-5BB06DFB272E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810a438105196696cc0a2f8acd79928b03e80b29","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$DB4FFAF1-659A-4B71-BC54-B7EEDCE80BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$3F8C6E3F-E741-4553-814A-1F949F2DC49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0ad7f53dfea657e8367a67f7262b070434b9ef","datavalue":{"value":{"entity-type":"item","numeric-id":332080,"id":"Q332080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688962$E789B744-0303-4AAC-A45E-7D7589A9FE39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e885e64c7ea9f1dad20eb6f75dfa5d82a0d48c4","datavalue":{"value":"10.1016/J.INDAG.2017.05.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688962$E07CC38C-0159-43C5-A3F9-D4116F81E257","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb427c60cce82444ee56f1a7555fbf60365a32e","datavalue":{"value":{"entity-type":"item","numeric-id":4669647,"id":"Q4669647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc9a785fc636efdf9177bde53324a683d4aa99c","datavalue":{"value":{"amount":"+0.9748672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1688962$947AF078-B639-4237-9DCA-DBF5CE58A1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0988df5699e94b306a5047c721c9848e5a1dc02a","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74436763763bef4b39118f6b9a42c920a99e694","datavalue":{"value":{"amount":"+0.93947124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1688962$C31EE34A-E219-4F57-ADBF-F547487D73B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c30f8e1c0b9481275bce4e179f1b194df0bf20","datavalue":{"value":{"entity-type":"item","numeric-id":3464628,"id":"Q3464628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0c2f52c4ace68e70ce348b79fa9a5908a64e0e","datavalue":{"value":{"amount":"+0.9355363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1688962$3E1658E7-3E50-40D5-BD13-D4565274D66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87629de4359287996da652e0418c9ee9d901e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4797424,"id":"Q4797424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc693839c61e5ac6c5efad72d3e462b400cbb420","datavalue":{"value":{"amount":"+0.9323518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1688962$CC20D463-A1EB-4962-8BA0-507233A895A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e65fd1489d2775ce28012b571ce1e2ca73942b","datavalue":{"value":{"entity-type":"item","numeric-id":2644415,"id":"Q2644415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d696ea8f93a5355a0dcea1c1a87a97e50f329fe5","datavalue":{"value":{"amount":"+0.9269157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1688962$5139693C-336C-444F-BD40-F198D8CB9530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50063e6517d9389986171a05dcb74e95bc73c7d0","datavalue":{"value":{"entity-type":"item","numeric-id":5476233,"id":"Q5476233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255cefac6d1f6ce2cb525752fb9b1c64e1c31d5d","datavalue":{"value":{"amount":"+0.92111015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1688962$BC48DF6A-5BC3-47B0-A7D7-912FC7FB0C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17716700cfe7369fb0aeb00b5bbca0f16ee440f5","datavalue":{"value":{"entity-type":"item","numeric-id":6488098,"id":"Q6488098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9cdea7b84de65d4d3217e58952655dd0f48ba19","datavalue":{"value":{"amount":"+0.9200407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1688962$C4759909-DCEC-409E-8191-5DFE15F314EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55f5f82572e895ec3f1c3e655611fabba7f39de","datavalue":{"value":{"entity-type":"item","numeric-id":3007261,"id":"Q3007261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5178f60e61ec0e37c6e407ac8d3dbe7cef55b375","datavalue":{"value":{"amount":"+0.9178035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1688962$DEB707AC-B154-4ECC-BBB1-BBA13F0CA714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Answer set programming in intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Answer_set_programming_in_intuitionistic_logic"}}}}}