{"entities":{"Q3651277":{"pageid":5681183,"ns":120,"title":"Item:Q3651277","lastrevid":81010601,"modified":"2026-05-06T17:30:42Z","type":"item","id":"Q3651277","labels":{"en":{"language":"en","value":"Satisfiability modulo theories: an appetizer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5644299"}},"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":"Q3651277$B1857872-C0BF-4BD2-9D8B-E6BFE21C0D36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"047c1ef95db830161dc52a7ab6e3d21079446b57","datavalue":{"value":{"text":"Satisfiability Modulo Theories: An Appetizer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3651277$80828E61-2A3C-44BF-879A-9A231909FECB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21289faa8b93c839c1d2a01f62979b878407dc7f","datavalue":{"value":"1266.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651277$65B9954A-15AF-4795-A2D3-1DEFEBC6720D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9baf2899e1829715cc97972a029605e0df6180f1","datavalue":{"value":"10.1007/978-3-642-10452-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651277$F3E7A16B-37B5-421C-ABDF-2EEA3D682702","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651277$F5A5AAD6-690E-4F73-A70A-3C52E3920B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651277$90FBFA30-FE47-486A-9544-FB33A58C03F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651277$E3F4B40A-65EE-4236-A5A4-15D450E86868","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9dc9012af01361476b44df692f016594cc25fae","datavalue":{"value":{"time":"+2009-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3651277$18475DFF-08EB-458B-9434-1BD10FD5BDE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651277$690529D6-8558-4845-B9B2-0C398BC3312D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651277$1120E8D8-60D4-49CE-8003-88B90B4E3CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651277$1074F065-F27D-41C0-9B8B-0395C0753093","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a81baea2e496aad8358247b3707601df1b0607d","datavalue":{"value":"5644299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651277$5DCDF6A6-3943-4BBB-A3EC-5B329B8C9258","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":"Q3651277$0D261EAF-2B9A-41F5-8D3D-05C70084E6E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"666102673b92e5f35622018a3d65aec53afb0867","datavalue":{"value":"https://doi.org/10.1007/978-3-642-10452-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3651277$1004A993-9793-45EE-9422-436AC694CD2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0efa68c98ef6f8bc362d31e33c487ffb5b5895a1","datavalue":{"value":"W1936354298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651277$A73A1156-F040-4681-9777-815F133EB538","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10ee01b04bf937ea18106e6d39f383b6936577b","datavalue":{"value":{"entity-type":"item","numeric-id":4931590,"id":"Q4931590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887292d01e19a95528dadddce9d0dbb6d156fa98","datavalue":{"value":{"amount":"+0.8654017448425293","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":"Q3651277$D7B60B02-6DE2-4575-9C68-906DC353786F","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":"15cdbaa80a41333a68f342241ad6dd181e2adcb4","datavalue":{"value":{"amount":"+0.8539161086082458","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":"Q3651277$69C024C6-0251-43C8-AADF-68879EA20743","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":"4ea5ac15d3951e479d7e12b895b6e80e290c799f","datavalue":{"value":{"amount":"+0.8400139808654785","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":"Q3651277$4D393A38-814C-47A3-B2C0-A5A7661214CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0b1874fdd623c9581cd9496089e79c7b5a204e","datavalue":{"value":{"amount":"+0.8399528861045837","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":"Q3651277$84C42BC9-2A79-4469-B05E-DC3FDF25D9C9","rank":"normal"},{"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":"d127b9a46b61e706a21293bdaaf7f08b5f5a8883","datavalue":{"value":{"amount":"+0.8301221132278442","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":"Q3651277$76E09B4E-FF84-433A-B627-8300C515403F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability modulo theories: an appetizer","badges":[]}}}}}