{"entities":{"Q3636870":{"pageid":5666776,"ns":120,"title":"Item:Q3636870","lastrevid":50694803,"modified":"2026-01-14T20:15:18Z","type":"item","id":"Q3636870","labels":{"en":{"language":"en","value":"Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571906"}},"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":"Q3636870$87EFA761-9982-4C61-8BB3-4FDF269F3B88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ed0651e448e6102ef481228d09418563a8c1f8f","datavalue":{"value":{"text":"Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636870$B635F058-A4A6-4E9D-9333-BA68240518EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4330eeb40c9c7867323796a9941ed07f1643f584","datavalue":{"value":"1242.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636870$9F2F5304-6490-4DE2-B000-03619DBEA6CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a842162cb9506ca956ef25239339ce97722153d","datavalue":{"value":"10.1007/978-3-642-02658-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636870$9A46A3AF-FC63-461A-A198-3E9C629AE8B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"747ef58d5282c7c6e14680778d7246c63bd5b0fe","datavalue":{"value":{"entity-type":"item","numeric-id":1037400,"id":"Q1037400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636870$D5E1FF76-37F0-4226-AB96-41A209956080","rank":"normal"},{"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":"Q3636870$37C1092F-FDE8-40AE-A308-56614FCA6102","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636870$335250EB-657E-45CD-99C6-C1F9233632B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636870$0D80A19C-64C8-4BCB-BC73-8205D482EB23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636870$D83D1784-4588-431D-B445-3B45F327C5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636870$98288B05-FE8E-4582-9DBB-73CF3FD17883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636870$31176251-2305-4CC9-816C-6B414BCEC68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636870$C88B5AA6-0F8B-480A-9C32-D47A4596409E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636870$1D5EFA0A-041B-4FDF-8F41-FDFA2AA6AE98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a03df56e9b03cdb6e1576e1dfe23d645a2c5aac9","datavalue":{"value":"5571906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636870$8B3241AA-65E7-412B-A653-1DE0969A1D57","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":"Q3636870$589EAEC3-C8D5-4D28-909C-114F127E3BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636870$FDCF63D9-8C86-4210-9C73-4AB04417F3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636870$0778BDC4-9F9F-46F2-9D3B-850AC45AA0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636870$74856B6E-94F9-431E-A190-D52F7300314E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636870$8DD4CFEE-EDE4-4158-9101-1C8E6CCEF4AA","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":"Q3636870$AA47D8B6-50D0-43FD-9A4E-1E1CD3A1A9FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b592cbbb46ad7afb156c2861e3e0fcf8ab9211c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02658-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636870$64EE5BB3-6CF2-4287-AEDD-0D8348C83655","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6e003bbcc2b9ccebb85abe56f3f6ef7e7c2dfd7","datavalue":{"value":"W1536511644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636870$2AC03499-9EFB-406F-BA7F-6B8CC507FB5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04aa5ce427dff84fab6c266219ff983ecb7e975d","datavalue":{"value":{"entity-type":"item","numeric-id":4928453,"id":"Q4928453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eaee24832e7637cddde3e6884a88e415bbe3f42","datavalue":{"value":{"amount":"+0.8171815872192383","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":"Q3636870$E5DCE731-B6CD-406B-9351-C5479CD85497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12aaa4a36bdf05dc06c575e9e83887fbf42b685d","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24233ff3caa6fab8302e07d0d8b453185606947f","datavalue":{"value":{"amount":"+0.8088380694389343","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":"Q3636870$507806A8-A842-48BC-9BD6-0B66907D3CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9390b4ccc6dc9f08d9ed8cd2d7f1eed1c352e9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e8b198926fe5775de1fab3a96ffb94844591bf","datavalue":{"value":{"amount":"+0.8019245266914368","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":"Q3636870$38BB06AA-6860-4F84-A0E5-D56FC3726A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8af80161dc8c18c8bc8a8c02cd47c9c758f8f1","datavalue":{"value":{"entity-type":"item","numeric-id":438578,"id":"Q438578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dcf02599a90ae6bb55d94ab0dd2f479fd86b397","datavalue":{"value":{"amount":"+0.7914018630981445","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":"Q3636870$D77887C1-90AD-41C9-9080-DBEF154CDA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42cace2ddf6019b7cd2939e3da583d3a9bc71c2a","datavalue":{"value":{"entity-type":"item","numeric-id":2233503,"id":"Q2233503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227078953b1d62365e51915c8c5fcfc982138491","datavalue":{"value":{"amount":"+0.7781598567962646","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":"Q3636870$FDFB5099-6071-4480-B5D2-FB89603B0776","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636870"}}}}}