{"entities":{"Q5437652":{"pageid":7467216,"ns":120,"title":"Item:Q5437652","lastrevid":50258009,"modified":"2026-01-13T16:23:03Z","type":"item","id":"Q5437652","labels":{"en":{"language":"en","value":"Logic programming with satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5229055"}},"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":"Q5437652$C460431C-EF2A-4845-BF0C-5E1A091C0820","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ac8ed349cf0ab78d1520e4e77ca7a276ed62ff9","datavalue":{"value":{"text":"Logic programming with satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5437652$588405A2-6039-49F0-99D3-5DB8636F870D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e335fb92e41a1c6b63faef14b8b4d7c3c5b72058","datavalue":{"value":"1128.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437652$CAD80FA9-BF77-493A-8474-9FCA1ADE705C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa14d767c06546e2338dc863fb73c13dbcb139c4","datavalue":{"value":"10.1017/S1471068407003146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437652$D1137E85-B997-4F2B-B083-88AE86F11972","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437652$F46D7DEA-6631-45E0-928E-54AADFAF94DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f56e5c602b016183d0057e14ebc518ed5ebefb1","datavalue":{"value":{"entity-type":"item","numeric-id":1575242,"id":"Q1575242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437652$364E13FD-0FE3-4329-A3B9-2AE5EF818CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437652$306D8364-E2AA-44C7-8554-AC04A56ACDF5","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":"Q5437652$3ECE4A20-B681-4F51-A851-7CF438AD08DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"affa7b8682af0f89ddbe03915b2eaa218ccb2331","datavalue":{"value":{"time":"+2008-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5437652$8C1F0564-DFBC-46B4-951A-C1031E9D82A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437652$BC40AFD5-B3DC-42EE-8861-CAE0592E8949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437652$DA662A68-5210-493E-8039-235F14214663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437652$68FAE482-AAC7-41BC-A560-26FD44FBCB33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"335cd5726a8c1f27f663e12bddbb8001e880520b","datavalue":{"value":"5229055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437652$EE70C875-0E9D-4118-B8D5-BFDB744DF94D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437652$0832F9AF-05FB-4DFE-B19E-5E9AF2474F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437652$22B00972-1F2D-4750-8010-55379300E567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437652$F9F0B446-C310-4DCA-B31F-DAE82F70B253","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437652$220A4A44-A0DB-4406-8469-874709FD08CD","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":"Q5437652$091C312F-A871-4DCD-9C98-141E2A09D453","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437652$F66EFF2F-FF3A-43C2-A0EE-7DCB871D00F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd97638696811a93952b2beec02977e398674053","datavalue":{"value":"https://doi.org/10.1017/s1471068407003146","type":"string"},"datatype":"url"},"type":"statement","id":"Q5437652$C14536A5-7029-4CB1-A910-DF844198E05C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5332b6cd25a7b20785675364024681c80f0152ce","datavalue":{"value":"W2049460548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437652$4AF04B5C-F230-4494-B5FE-3241A0536B97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b25c22c46d0ca86f6ce2c2532a917e61e47abc","datavalue":{"value":{"entity-type":"item","numeric-id":3558337,"id":"Q3558337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905d339e57f407deec0914b8990ef98616d5ec14","datavalue":{"value":{"amount":"+0.833006739616394","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":"Q5437652$FD92BC43-B703-4A3F-8BFD-1AEB421B25C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a9141fd77a8408f053fef282549cb9dda2c1d8","datavalue":{"value":{"entity-type":"item","numeric-id":428887,"id":"Q428887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc01dea63be20f67d75278be48e0d49e136e4c6c","datavalue":{"value":{"amount":"+0.8306584358215332","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":"Q5437652$2EBD507C-DE50-4597-AE99-E528FDEF99E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c4466195aeb3e5a71dfde54a3d77737c40506b","datavalue":{"value":{"entity-type":"item","numeric-id":5897228,"id":"Q5897228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9feb0429ef2a8903036924fd2dc80ee429e647","datavalue":{"value":{"amount":"+0.8198953866958618","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":"Q5437652$63306737-4A45-4D9E-92D5-D24334D0B303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535af615ad5bf605dca3fda0c9eabaf6f7d8b0e7","datavalue":{"value":{"entity-type":"item","numeric-id":5398068,"id":"Q5398068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6f0503d9e6c16bee70b03509c75ed2664bfe39","datavalue":{"value":{"amount":"+0.7802374958992004","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":"Q5437652$15896D79-6344-4B3C-A4A3-8B44718CA7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5388b1263dea018cedbb5f2de5dca5b537da01c8","datavalue":{"value":{"amount":"+0.7776169180870056","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":"Q5437652$C1A450D6-59D3-4769-AB8B-EF9ED3874D8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5437652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5437652"}}}}}