{"entities":{"Q2908472":{"pageid":2919197,"ns":120,"title":"Item:Q2908472","lastrevid":51543665,"modified":"2026-01-18T17:33:03Z","type":"item","id":"Q2908472","labels":{"en":{"language":"en","value":"Taking satisfiability to the next level with Z3 (abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076892"}},"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":"Q2908472$7362D76D-9876-4385-9ACE-7F8EAB316C42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84901ed8cd0c3473ad9c7f5974889e0530a2634c","datavalue":{"value":{"text":"Taking Satisfiability to the Next Level with Z3","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908472$860EF36B-ECD0-422E-A311-027F8782AEA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daf841aa3627516b93edfb322367259e6e5c347d","datavalue":{"value":"1358.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908472$80FF60B0-4F7A-496E-8A38-D4641331C0D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"362aec56f48fc82140cf3c0c43993f6d11713d0d","datavalue":{"value":"10.1007/978-3-642-31365-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908472$BD4F7403-5115-4591-9393-65BD8DCCC887","rank":"normal"}],"P16":[{"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":"Q2908472$A1DE6024-5BA5-4CF1-80F3-CFA3DC88C6B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908472$BCFB5FA8-A621-4A3B-8103-EE19D982C450","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908472$0E347B56-93FB-4F55-92D6-43FBFF79A567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908472$440FE5A7-938C-457E-B3D5-7E67610968BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c110ce2f643afb08f0edf56b62eb5f7f01b3b35","datavalue":{"value":"6076892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908472$FEADE843-25AA-4ABC-A26A-019A0CA420BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908472$2E195026-41AB-4293-B7AF-127D3B299BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908472$8C8B1785-06C9-49FF-B621-456C9076C483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908472$F0AA0330-0689-4BA9-8CC1-26C89032B2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908472$E50374A2-D3FE-4F01-80A1-0E766FFCF1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908472$F572FB16-F168-4FA8-A265-F65C3AE571DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316a4e11e44cbd015a63ff86b861806410c456a","datavalue":{"value":{"entity-type":"item","numeric-id":25012,"id":"Q25012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908472$50C12819-0BD1-4D7E-AD4D-6CFEC70746CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bed14e207a3e5d28b264f36a84b777589c129ee7","datavalue":{"value":{"entity-type":"item","numeric-id":25011,"id":"Q25011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908472$347CB917-0589-48FF-870E-5F3A4C5CA714","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":"Q2908472$40EE7D39-780E-42E4-9988-42A58970EFCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b8cc0b66023b5a8a0d7ade1e3f73d3d399a088f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908472$B986D860-E69F-450B-A900-D7F07032F6A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77efc9adc66640a654c3d9671e6acae2e8a803ef","datavalue":{"value":"W59880180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908472$C00B5DE5-E71D-45F5-83D3-D21B8B28082E","rank":"normal"}],"P1643":[{"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":"c68ba3a7b6abc8b91735376491e69427a91c4c96","datavalue":{"value":{"amount":"+0.8044935464859009","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":"Q2908472$D5501C65-9A11-41E7-94E3-703C625D7520","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":"1fbabda646c9d0d001c08dcc0565108d618c8b3c","datavalue":{"value":{"amount":"+0.7987749576568604","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":"Q2908472$667CE73D-E7C1-4600-991F-BDCF7ECFEDC4","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":"fe7b41dc2811b8e8e175e3fa5bac5529b6074394","datavalue":{"value":{"amount":"+0.7896940112113953","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":"Q2908472$4C23A6A5-1055-47DE-A1A5-DF1C4C2DA2BC","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":"16efb0785e2583cfbabb74efc1a75299d975625d","datavalue":{"value":{"amount":"+0.7890243530273438","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":"Q2908472$A9C366DF-367C-49DC-8252-729CBC0D86C8","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":"b8f1528893b5f633a8e27ff890eac7cc060fa204","datavalue":{"value":{"amount":"+0.7845520973205566","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":"Q2908472$A0FED0BB-D871-4E01-81F1-8DD6010F7408","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908472"}}}}}