{"entities":{"Q3395260":{"pageid":3405963,"ns":120,"title":"Item:Q3395260","lastrevid":87061859,"modified":"2026-06-04T10:35:14Z","type":"item","id":"Q3395260","labels":{"en":{"language":"en","value":"From (Quantified) Boolean Formulae to Answer Set Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5598157"}},"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":"Q3395260$B6825A10-2024-4005-8DE0-BD83147A4795","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db74decf056e8bf57c2a06c47b87a637e111b885","datavalue":{"value":{"text":"From (Quantified) Boolean Formulae to Answer Set Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395260$72D7D4B9-7082-4DBD-8306-069912220FA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c332e91b29b80127786df3ca647ff0f1dcf38726","datavalue":{"value":"1192.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395260$1B51D494-153C-4313-9F6F-D5F2943CE85E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a11a25f9f171df2580f6e74b03bcf0f76b0e60e7","datavalue":{"value":{"entity-type":"item","numeric-id":854972,"id":"Q854972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395260$8160BA9C-0575-4DCE-A105-6C4B3661A8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8714e4dfc1b32c503226e5c84dab5bed567286b","datavalue":{"value":{"entity-type":"item","numeric-id":3395259,"id":"Q3395259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395260$F556BE82-6EED-47BF-9F89-569E8E3AD558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2d57dd302e171ce10d20577313d1df40322bf02","datavalue":{"value":{"entity-type":"item","numeric-id":854970,"id":"Q854970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395260$3F181DD4-B5C4-4FE3-9530-2C47FAB81C1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e27fab386d7bf9ecd8a1ca10a404e753ba3aa3e","datavalue":{"value":{"time":"+2009-08-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":"Q3395260$26951E0C-20DA-4F69-AC17-50700C3EA1FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65baa9246a373d61bc2e2edd2ab3981192efe2c7","datavalue":{"value":"https://hal.univ-angers.fr/hal-03255405/document","type":"string"},"datatype":"url"},"type":"statement","id":"Q3395260$2989ACA2-B7F8-43DE-8271-0441442033E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395260$20C84401-8360-4506-A252-59DAD0816803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b36372d83276ef76a84970a1656a513f65283c79","datavalue":{"value":"5598157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395260$FF2AA3EB-71CE-4F9C-9B5B-0782BC91B7EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87973a7a71e3ffa05ce5b5aeabcd6b005b85607e","datavalue":{"value":{"entity-type":"item","numeric-id":21561,"id":"Q21561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395260$A3797A99-0EC0-427C-9593-580EB190DF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395260$4E858BCC-A9A3-41D7-86BD-71B41C8F8EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395260$B1F114F4-675A-40F0-B121-486C39788A19","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":"Q3395260$87DA9735-B05D-4D56-B84D-BF343CC3A53F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a39f46373de97b21631b2f60c0a103300d22123a","datavalue":{"value":"W2002645982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395260$99999FD2-0AA0-4B93-8CEE-2105C3E49D21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"febf4391f9d7ac2b1eb02588485434652ccd4fd6","datavalue":{"value":"10.1093/LOGCOM/EXN041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395260$AC3D24C7-2A47-4ECC-9CDF-B6A8761E947A","rank":"normal"}],"P1643":[{"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":"5983933b5b7fd40b52554c02c543e64ac1c2200f","datavalue":{"value":{"amount":"+0.9010298","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":"Q3395260$A8F7EE4E-8619-4DEA-9008-2E0BE2A9CEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b3390fd97204170a4d688c4f38a19bd79b2547","datavalue":{"value":{"amount":"+0.8949257","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":"Q3395260$18EB8B63-0B7B-4E71-8C61-0B0402901F76","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":"c6d8a7af9c2ba295d58d6340198cc474dc4606dd","datavalue":{"value":{"amount":"+0.8919424","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":"Q3395260$80A25B51-1546-4A8E-BEC8-4A9D7F17A373","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":"f57cd0b67303a043ba05f768c49c30dc54ad1c74","datavalue":{"value":{"amount":"+0.8864691","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":"Q3395260$9B967669-1CCE-49BF-B423-88841E17D356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c15d16261af5e35a5c1e8d8537c0379e8c896c9","datavalue":{"value":{"amount":"+0.88124216","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":"Q3395260$2579E006-71FB-46C5-9EAA-28FB5FEFE191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84699ed35c9a63539084e327849b3a5168f7f087","datavalue":{"value":{"entity-type":"item","numeric-id":5466546,"id":"Q5466546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ee92697585818ba7754d5e15a2109801e94d7c","datavalue":{"value":{"amount":"+0.8780399","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":"Q3395260$A5AFCFC8-5C04-4923-B89F-D5818D2BFE93","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":"b2630938bb3da58b0b57e4c37a59ed07bca2b9bd","datavalue":{"value":{"amount":"+0.87673795","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":"Q3395260$9CA45D32-AC3F-4CEE-AF3A-5EC3DD337A9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395260$615590E3-E730-4887-BC37-F6DA464CBE15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From (Quantified) Boolean Formulae to Answer Set Programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_(Quantified)_Boolean_Formulae_to_Answer_Set_Programming"}}}}}