{"entities":{"Q4559822":{"pageid":6589413,"ns":120,"title":"Item:Q4559822","lastrevid":58287294,"modified":"2026-04-04T14:05:19Z","type":"item","id":"Q4559822","labels":{"en":{"language":"en","value":"First-order Answer Set Programming as Constructive Proof Search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6988668"}},"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":"Q4559822$610795BA-7971-4D75-ACCC-1124F37A9372","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"966ca8e5719c51529fd962507d8a863cbe97bd4f","datavalue":{"value":{"text":"First-order Answer Set Programming as Constructive Proof Search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4559822$23F64D38-D11D-485A-BFCC-E0BAB1C939CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a37a406ceac8ce3c9753c78e22337c1708ece8c","datavalue":{"value":"1451.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559822$838AAC42-0408-4D42-B032-D2CCB177648A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6062c16aba30a12a711ef7deadc7d3e823f56f38","datavalue":{"value":"10.1017/S147106841800008X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559822$BE6A8E2D-2E77-44F5-89A7-949D80464D33","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":"Q4559822$536F9FBB-378B-4430-8868-998A5A8A54CE","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":"Q4559822$E6153670-CBB6-4FB7-8487-5CB74DE6D11A","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":"Q4559822$CA4AC693-1C06-4A1A-88A8-2D6C13314ADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3057b7b50937a91885954ebcb046fa2257c3f34a","datavalue":{"value":{"time":"+2018-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4559822$9DB70F2E-B7D4-455E-9BC6-85312EBC6F0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c01451efe393888814f659b745c07d439d6dc630","datavalue":{"value":"https://arxiv.org/abs/1804.10004","type":"string"},"datatype":"url"},"type":"statement","id":"Q4559822$A7ED4EB6-C944-4E67-A0F2-F4B32B5D62AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559822$9FEDA625-CD35-498D-9149-976B551B9171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559822$4C891B40-8103-4354-8BF2-95EC82C7E612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559822$6F9989D8-EB05-4460-8C32-7ED6FB2F4B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559822$B1EE5022-5DF3-40F6-AD0E-59AAEC9DA4E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89614d0066ec35759d2a77196baa8c8be40aa72e","datavalue":{"value":"6988668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559822$BE89220D-0CDC-4B8D-A903-5A9730BE7F97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559822$A918DDB9-3EB8-4ACB-B3FD-693AA1DCBCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559822$5397E9D1-827B-4498-BE2E-0C6560CC85E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1f66f838ab6c659c40577faeda90140c2435bc","datavalue":{"value":"proof terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559822$A88F572F-9175-4238-9630-DE3FEF076229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559822$8B62F6D2-DF28-4B12-AD26-D2E79466F97B","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":"Q4559822$525E74DC-408C-4833-83B8-A6BFA8DC0EE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9b5196a22fbb287ea0d893577e0a54523feae9","datavalue":{"value":{"entity-type":"item","numeric-id":2628299,"id":"Q2628299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559822$E1515AC9-8248-49D0-BE41-367FD148A527","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":"Q4559822$EC2B49B0-3121-4012-B115-00573AE61103","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":"Q4559822$A637F6DA-7C0D-4BF4-B9A3-CE17C75859A1","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":"Q4559822$1A5952D0-2FFC-4074-B886-672232388902","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":"Q4559822$AD01C04A-56EE-4727-A647-03732607187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1056511b12f9eb2ea8a7973a4aebf89b33faf8dd","datavalue":{"value":{"entity-type":"item","numeric-id":1688962,"id":"Q1688962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559822$C5ECC2A0-22FD-49B1-ABE6-295677E09947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9809837d3fc3d14893c25cf5d91f033d66bdb88","datavalue":{"value":{"entity-type":"item","numeric-id":5277980,"id":"Q5277980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559822$8118E144-FD5E-408C-B7CF-848186EC58CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b7fcfac57eefe61cba7136508c90ba5addb2c9","datavalue":{"value":{"entity-type":"item","numeric-id":5892381,"id":"Q5892381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559822$5B8D6E2F-CAE0-4C25-9285-6BE7624D5F72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"336eec4b890b510752e2698089b79e2408a0a26a","datavalue":{"value":"W2963528460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559822$8A6B2819-BA9D-428B-9CE5-E46EF058D822","rank":"normal"}],"P1643":[{"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":"da24368f8f1140fa2d1ea1bebee81b5e62307e20","datavalue":{"value":{"amount":"+0.9125897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4559822$42ED70B9-6CA2-4959-B523-77BC2A2C250F","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":"bc774e4f7ee56a7d345a748895af6fcc2e3ca29a","datavalue":{"value":{"amount":"+0.9000574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4559822$E4B13331-8140-42E0-9FEF-929D1104B861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9765cac59eddcea60234504b856d9327e06abad7","datavalue":{"value":{"entity-type":"item","numeric-id":3496309,"id":"Q3496309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6438f4bb6db679ac7eb8bb827d66bb686323dffe","datavalue":{"value":{"amount":"+0.89854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4559822$A7F65AD4-1708-459D-9A7F-2D78D6FA6FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99fad73e556c6078851c399836ef5920b23a794e","datavalue":{"value":{"entity-type":"item","numeric-id":5169967,"id":"Q5169967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14de3791d1601e46161fc877d61f27b1f963eed","datavalue":{"value":{"amount":"+0.89796066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4559822$377B8134-2E0F-4691-8A75-4CCA3B2E0054","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":"0031c6714a4444c7041173205eab2e422241b900","datavalue":{"value":{"amount":"+0.8934162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4559822$553554CC-B7F5-4073-9FDF-35BEBF00EB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f290dadc05a56772384182cf99333857e16a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3533116,"id":"Q3533116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84cc590f8a68a0928f7fbcbe07a84cc235a0cf22","datavalue":{"value":{"amount":"+0.89161956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4559822$642BBB4B-C5DB-45F9-BE15-C40E9DA6BD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c365ae4452123ae097251f5b3c1589e5b0b2b3dd","datavalue":{"value":{"entity-type":"item","numeric-id":4375764,"id":"Q4375764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd52dacedbea1ca08c0890f6f4e59f502148490","datavalue":{"value":{"amount":"+0.8909273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4559822$9BB23E46-C01B-45A3-A103-3944D8B50E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ff9ad0f8a001b0c2d6976dac326579f4799425","datavalue":{"value":{"entity-type":"item","numeric-id":1688962,"id":"Q1688962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1dbbe998687bdad26331984650f245006dbf1d","datavalue":{"value":{"amount":"+0.8899336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4559822$653C3DFB-9D35-4D4D-A01D-6F520C3300C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b8f364d0ce24d4957868e5fc73a88e93d220e4","datavalue":{"value":{"entity-type":"item","numeric-id":3408152,"id":"Q3408152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5454b8779d46fb95ca5cb0cb3d208b654b876018","datavalue":{"value":{"amount":"+0.88739604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4559822$29B793B9-38AE-4AE0-B848-5389D7C05A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb2102511dec07fb34f4d057bfc8c8f969e5375","datavalue":{"value":{"entity-type":"item","numeric-id":2503319,"id":"Q2503319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5454b8779d46fb95ca5cb0cb3d208b654b876018","datavalue":{"value":{"amount":"+0.88739604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4559822$C3F05971-BFD8-4F6F-AB6A-23A56E1DD6AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4559822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4559822"}}}}}