{"entities":{"Q3564034":{"pageid":5593938,"ns":120,"title":"Item:Q3564034","lastrevid":51000380,"modified":"2026-01-16T03:51:23Z","type":"item","id":"Q3564034","labels":{"en":{"language":"en","value":"Beyond satisfiability: extensions and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5715363"}},"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":"Q3564034$C0AEA187-DA34-432E-81A6-85E830B75318","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47e4664b8fdbbd929f1d632728f7501338159446","datavalue":{"value":{"text":"Beyond Satisfiability: Extensions and Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564034$4DDAC96C-6D9F-44A1-964D-96E405B0C130","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63456acfd2317e7790b26cbfedc0b3d39069d7f7","datavalue":{"value":"1209.68506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564034$3D26D21A-DF1A-4CB8-92F6-CDEACE4CAB20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1e47e0fa324d8b93bcd0377f9786dcfe912e482","datavalue":{"value":"10.1007/978-1-4020-6254-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564034$4D269753-BA5E-42D6-8A0E-6CD361EF3BA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564034$290F573A-0D26-4D72-9CD9-59625D54E3B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d9b736323840be59c9483c610131b93c4ace334","datavalue":{"value":{"entity-type":"item","numeric-id":3564010,"id":"Q3564010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564034$FC8FA7A3-94A6-488C-A977-768951B52FDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564034$15ED136B-1CD6-4A44-874D-AC0AC5DB25FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564034$D6DB6998-AEF1-42EA-AD3D-4E9E4E939935","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de658c3b0fda296512d84449910726f0acc95446","datavalue":{"value":"5715363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564034$F3490B9B-F40F-4E2B-9D3A-A1414DA08FB7","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":"Q3564034$811BCB86-6A81-4108-9F4F-D526967C1CC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e38062d5c92bac0d782bbaa6adceea4b3b8cfbea","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-6254-4_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564034$8AFA495A-09AC-49F8-9BFF-6087985A968D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b09806984223b829e38f90d566dba9bfb08bf73","datavalue":{"value":"W150713232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564034$5D4C4E37-B43C-4659-9441-071DC884DC43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650fb4121216a624ee646be9799d3418d3867838","datavalue":{"value":{"entity-type":"item","numeric-id":4571125,"id":"Q4571125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa19802325e323c99572cf2149390b7006feb6c4","datavalue":{"value":{"amount":"+0.8155692219734192","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":"Q3564034$EB5E07F7-EB34-47F1-B735-3724ECB5E690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1905f739cf619ec41f7a0632698a1edc5845bebb","datavalue":{"value":{"entity-type":"item","numeric-id":5429314,"id":"Q5429314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd45c820e41d8fc3a793182a94e700185c2a333","datavalue":{"value":{"amount":"+0.7978694438934326","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":"Q3564034$060CE5EE-F255-4EF0-9270-DE046034BB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22805d25dc1dc6a0d09b1b61b2231745a0e625ef","datavalue":{"value":{"amount":"+0.7733162045478821","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":"Q3564034$DFBD6AD3-FCC8-493F-BC60-B27D6ED6D0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce335150a9197aacb437e72cf8d0fdd8463094b","datavalue":{"value":{"amount":"+0.7696415185928345","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":"Q3564034$8E19AF96-CE2E-4353-9151-20616A9D407A","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":"27a7acc9a83b73107e134a3ecca828cb7c6b7630","datavalue":{"value":{"amount":"+0.7664514183998108","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":"Q3564034$0A418F22-B7EC-4487-83A7-7BB2D439686E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3564034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3564034"}}}}}