{"entities":{"Q3608773":{"pageid":5638679,"ns":120,"title":"Item:Q3608773","lastrevid":50592119,"modified":"2026-01-14T12:18:26Z","type":"item","id":"Q3608773","labels":{"en":{"language":"en","value":"Efficient E-Matching for SMT Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523773"}},"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":"Q3608773$DE721264-2EDC-4775-8814-07D42C754153","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de957f9b4d7dc28546b3d5f1132300f93602ce78","datavalue":{"value":{"text":"Efficient E-Matching for SMT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608773$4E4C5510-6CA3-49A4-B38E-58375F44ABF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79b1610cceb898765e90cdcb4445781844942a79","datavalue":{"value":"1213.68578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608773$B14A69F5-30BE-4F35-9F72-2FFA2C8F2002","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a573e86c6a0d44e8b4262d49ae1f877bb74e532","datavalue":{"value":"10.1007/978-3-540-73595-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608773$0D43A60A-E173-4D18-BC85-1E744B9DB689","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":"Q3608773$4B8572F0-0D89-405F-BE3D-C04E481D0416","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":"Q3608773$FC21128A-16EA-4F2E-B63B-75718170ECB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608773$CF1C36A3-75D8-4A53-A34C-33D36B3BED26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608773$1043D9BB-477E-43C0-A9BA-AF7055F492BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608773$48BE392D-E3A9-4B48-BF21-4A7953217403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608773$9CE82242-D17B-4125-8361-D87CFBEA3328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a2eacc03f65f3a1a8b5d00af8cc7313adafb48d","datavalue":{"value":"5523773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608773$736B8488-F11B-4742-B1B2-D70E9BE23FD7","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":"Q3608773$805EDEDE-1FAA-496F-A4F0-FD7149DE87B0","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":"Q3608773$7F995628-CD13-4DDF-B70C-81C3E918475A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"105e49c301dcdea98fe843a9dfc2de660c14b933","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608773$B39A19C1-8A37-496F-BC1D-24B253E8BA9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d79fdcc434a1dc4570cb53ebd5986780fd244090","datavalue":{"value":"W1552077729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608773$0F126E90-736F-4099-AB10-40615B98C1B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95cf70fb800a3f9dead3268d8e65e9d3739695d6","datavalue":{"value":{"entity-type":"item","numeric-id":1702888,"id":"Q1702888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97065f5dfc4e62d41c11e7fe7c958b3141c6279","datavalue":{"value":{"amount":"+0.8258548974990845","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":"Q3608773$166300AB-46FA-4BCC-8064-D567A0260698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb8884efc154f81ccc4f6a29d08b33bb39bbf6b2","datavalue":{"value":{"entity-type":"item","numeric-id":2891467,"id":"Q2891467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c3fd6dae47589ea794a02b1ca56cd1adb8a6d8","datavalue":{"value":{"amount":"+0.7867541313171387","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":"Q3608773$A18AEA8D-DFA6-44F9-A3B0-8195F4B36AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce811b919518b894f757eefb9e57f6b7b5d2131","datavalue":{"value":{"entity-type":"item","numeric-id":2864401,"id":"Q2864401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463117803a4ad9f27f49ba44c77b1165c78a065b","datavalue":{"value":{"amount":"+0.7795642018318176","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":"Q3608773$8FA8B919-3C3E-4407-9C01-1A82DA7E16FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d823f7b0f3e800a98f5bedfa2c1d6a6a18c4eb","datavalue":{"value":{"entity-type":"item","numeric-id":2234102,"id":"Q2234102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af7b3f07f3dcefefed873c3cdfb5f2d288a5d3d","datavalue":{"value":{"amount":"+0.746748149394989","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":"Q3608773$6B016BB2-98FD-480F-9530-85E4CF0DD7BF","rank":"normal"},{"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":"7c36c80ac06528084b105571ff184111ed36f840","datavalue":{"value":{"amount":"+0.7186927795410156","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":"Q3608773$E43550FA-4450-47C4-9891-5CBDE916F8DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608773"}}}}}