{"entities":{"Q4669647":{"pageid":6699228,"ns":120,"title":"Item:Q4669647","lastrevid":41869914,"modified":"2025-05-09T06:07:13Z","type":"item","id":"Q4669647","labels":{"en":{"language":"en","value":"Applications of intuitionistic logic in Answer Set Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2157088"}},"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":"Q4669647$0BC7DA25-28D0-4E32-A12F-37A441288CDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80cde28fab295f8a561c518ad47f934fa71bedbd","datavalue":{"value":{"text":"Applications of intuitionistic logic in Answer Set Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4669647$3A889EA2-BA25-4FD3-89C4-B93FD1D45785","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b53f08ee9432ba5aea8c673c9ce5090b6100b2c9","datavalue":{"value":"1088.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669647$C9DC0E1D-C8B2-4602-9A5A-2F3B4A4A5DA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a8b6316169cf6478484b56a105bd8182494d353","datavalue":{"value":"10.1017/S1471068403001881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669647$FA8C2515-536D-44A9-BC93-0AC1186DF7AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47f05a97db92f2db631599e955e7c058f7fb9c38","datavalue":{"value":{"entity-type":"item","numeric-id":186033,"id":"Q186033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669647$41E6C02A-2822-4421-88BF-DEF027C487C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d93d7ff8d0607f1d2ca5f38e81f5db204385d71","datavalue":{"value":{"entity-type":"item","numeric-id":1345868,"id":"Q1345868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669647$05E1DAF6-7665-4182-8882-0D14A223AA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"642fb11532c8b933751d9953922aecabba84d9c3","datavalue":{"value":{"entity-type":"item","numeric-id":301377,"id":"Q301377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669647$BAC03AF6-EA28-4877-9A36-D70553406ECA","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":"Q4669647$B25061C3-62DC-4207-8382-9D0B6A44188F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6393262d26b4b605f7bb5c90690073e7109b5486","datavalue":{"value":{"time":"+2005-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4669647$8E7603F0-D23A-42E4-8DA7-0641D7368F4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669647$7D48433A-9F10-4514-A05D-39DAE2969F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669647$F546F4A5-07AF-42F6-9A6F-72C1A8A5E4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669647$AAF6CA92-F6C7-4675-9DE3-583F6A029CCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68b69aa8e8afb1c588788c099adbd92df2dfbdc1","datavalue":{"value":"2157088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669647$898714C0-4DB2-4CFC-8059-9AB4EA303113","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669647$B379070A-7037-485F-BB32-6BE705F6EAC4","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":"Q4669647$468C5916-E4A1-4175-87EE-C93F37C3AD57","rank":"normal"}],"P1643":[{"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":"0dc9a785fc636efdf9177bde53324a683d4aa99c","datavalue":{"value":{"amount":"+0.9748672","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":"Q4669647$825B2B81-8D10-408B-BE60-FD0B95ABE446","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":"9d4eb0f99ffe582ac6d9b27682e76ffa6ec8988f","datavalue":{"value":{"amount":"+0.93579805","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":"Q4669647$9A9BC29F-3DC7-4818-91B0-1EBE17D4D84A","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":"b08e39798356771797ed9ebaac46e8c7f8d02cfc","datavalue":{"value":{"amount":"+0.9106286","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":"Q4669647$4522FD0C-D8C4-4991-8AD2-6D0D8BC798FE","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":"e2c10e669506c560482091bedaba9dac288a2be8","datavalue":{"value":{"amount":"+0.9056088","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":"Q4669647$43927B66-3147-49CB-85E2-49C6DAEAFDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291a037f5ac0f782c3e5edc915acaa84f1332ead","datavalue":{"value":{"entity-type":"item","numeric-id":5449601,"id":"Q5449601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c70b75a2310025dcb6648b9e45bce762c37cd4","datavalue":{"value":{"amount":"+0.9050138","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":"Q4669647$6412E9B0-B344-4E01-A5C5-3AEA67515606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cefeccd646ba8d4fb7e9f1333c3ce6127977726","datavalue":{"value":{"entity-type":"item","numeric-id":3612602,"id":"Q3612602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c70b75a2310025dcb6648b9e45bce762c37cd4","datavalue":{"value":{"amount":"+0.9050138","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":"Q4669647$6C9F5269-66AF-4EEC-AD75-2E2DF0DB87AD","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":"375e797d2d86cff115147c52ddcd1ea6a72801cf","datavalue":{"value":{"amount":"+0.90326744","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":"Q4669647$7E12598A-8A67-427A-911D-B9BD35077130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4669647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4669647"}}}}}