{"entities":{"Q2181939":{"pageid":2192682,"ns":120,"title":"Item:Q2181939","lastrevid":43649295,"modified":"2025-11-04T13:38:16Z","type":"item","id":"Q2181939","labels":{"en":{"language":"en","value":"Syntax-guided rewrite rule enumeration for SMT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7202463"}},"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":"Q2181939$4A27B0FB-3C51-46A0-9CD7-DDDA5609D5F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b30386b5bddc78102bbec7c3bac68b9bf64870dd","datavalue":{"value":{"text":"Syntax-guided rewrite rule enumeration for SMT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2181939$74812FEF-CEA9-4893-8732-EF034DFE6233","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c8c598bf29f2672d147e4cf24ad14fe3b494113","datavalue":{"value":"1441.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181939$4AFFC1F0-A5E3-46B7-B052-46899FF8B579","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b2568f1dc580bcd1001d7275d7a1697d449a67a","datavalue":{"value":"10.1007/978-3-030-24258-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181939$81EDBFBE-F573-4DC3-9022-E197E6A2AB88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8ceba2af8407f73c1c8392c4b03430422efa49","datavalue":{"value":{"entity-type":"item","numeric-id":2096447,"id":"Q2096447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$1B8785BA-DB9C-48E7-9C5D-BFE39DDEFBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$8FB108B9-3597-4944-A698-5BF050F08F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20dd65c281e6e985b6ecebe81cd888c922b7f37c","datavalue":{"value":{"entity-type":"item","numeric-id":1799120,"id":"Q1799120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$5E96E292-2C39-4E71-8B52-AE827DDC2756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1797629fcd98376075f8fdfe9a9fcaf30af9290","datavalue":{"value":{"entity-type":"item","numeric-id":1688544,"id":"Q1688544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$DB309C0F-3351-4A62-BF9F-8A50C99F5CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8675088ba59622264d9b63deab589caaa3c7b74e","datavalue":{"value":{"entity-type":"item","numeric-id":1688545,"id":"Q1688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$1436C5A0-D681-405F-8100-D5A489AFE3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$170A9625-3999-4206-95F8-5CE3F37BE4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$D09D7F8F-914E-407E-ACBF-B756C5696030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d777a513c8a436f6b680a1e02c588f4cd3d39d0","datavalue":{"value":{"time":"+2020-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2181939$86F7CE12-882D-4216-ADAB-713222190EED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181939$646BC6C4-09DF-47CC-9098-5284C8068D5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19dfb132a453a1811a7220da8832c1a90a9904b3","datavalue":{"value":"7202463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181939$A153353B-D57F-45A5-B0B2-3F4FC5DEDDC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9b6ed2a4717208bd87edcba8266a1421b187e25","datavalue":{"value":{"entity-type":"item","numeric-id":42233,"id":"Q42233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$62914394-A744-4F8A-AD54-237C794ABC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$4617D747-5641-44B2-A53C-AACF46107B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$EC504214-93BF-4092-8EAD-DE5921CCA90D","rank":"normal"},{"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":"Q2181939$E34B6103-930C-49F8-9180-5A2EA5EED58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c4e55f5e7ac3266222f7593ee48c3fa61c4dd66","datavalue":{"value":{"entity-type":"item","numeric-id":1349735,"id":"Q1349735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$DD7291E0-E3E5-434E-96E4-FFA068338712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$BFE1601E-FC9F-40BA-AB93-1F862D35ACFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd1f11f1c714006456b4bd54bab92a11b4a8c134","datavalue":{"value":{"entity-type":"item","numeric-id":40388,"id":"Q40388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$9FCB3440-DD76-4369-B71D-E528812F5B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d344b9d6ddda2823028d5fef1fed2b43dca1405a","datavalue":{"value":{"entity-type":"item","numeric-id":5974447,"id":"Q5974447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$FC145D97-A4CC-4338-8501-99057B2C13E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181939$03567774-DAA9-443E-BC92-EF82BB9B8C4A","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":"Q2181939$4076386E-7496-4C51-B4F0-8CCE6121D561","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ced29c1b6f7eabb0bab67171694f27866f9ad80b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-24258-9_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2181939$0C9418FB-448B-4034-9752-417C83E22B48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ba0403044e218f5e6d4277d20a02fa98789c8ec","datavalue":{"value":"W2953973768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181939$8E3FB009-28AB-4DB7-8E37-AB69BB0AA3F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f3fa9a31b0a0bea3dce148e824991f0ac3bf655","datavalue":{"value":{"entity-type":"item","numeric-id":3182943,"id":"Q3182943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a48b144511b65a72b3b9e09ac1922fc9421db1f","datavalue":{"value":{"amount":"+0.8583034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2181939$AC843553-595D-453F-8A83-32DE539C843C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d24f56a50c03c2cede98ad8bc0d97d223a0586e","datavalue":{"value":{"entity-type":"item","numeric-id":3522013,"id":"Q3522013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de397d23083479032ed62ad888cfc44fbad33f9b","datavalue":{"value":{"amount":"+0.84715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2181939$BD92E1CC-2FEB-4A16-8A51-F68623CA2CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa42f49394e5eb0ebd26517ac7089f684b4d9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4234331,"id":"Q4234331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a903a03ce4214e41dd5a65eedbad43a3a1f84bcd","datavalue":{"value":{"amount":"+0.84666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2181939$E8CE9004-73A9-4310-BAC2-85CE189151C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197d31a5a908ce80758df096a9551965649439bf","datavalue":{"value":{"entity-type":"item","numeric-id":5176932,"id":"Q5176932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3f73447b024cde953f347228baa8e5df5aeda1","datavalue":{"value":{"amount":"+0.8465885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2181939$255DA6E7-2036-4E3E-B2FF-F3C310EF151A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b72a63ec85c3ac64b887524536a03456dd05247","datavalue":{"value":{"entity-type":"item","numeric-id":2913944,"id":"Q2913944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3f73447b024cde953f347228baa8e5df5aeda1","datavalue":{"value":{"amount":"+0.8465885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2181939$0B02AD63-6C0F-406F-A2F7-D5B4CB170656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4855367ed4a1b97e410b9231bf04c044d5b9c9ba","datavalue":{"value":{"entity-type":"item","numeric-id":4560356,"id":"Q4560356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d8038e4760c492590f5defffeeab19ec7dd788","datavalue":{"value":{"amount":"+0.8435086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2181939$EF553D10-00AF-4360-AD33-2CC366D187A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd420f666552ca708a49b11623b697b8264ee51","datavalue":{"value":{"entity-type":"item","numeric-id":6085974,"id":"Q6085974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1cafab90945383aaf4ce6d11c3cb9833da233a","datavalue":{"value":{"amount":"+0.8428903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2181939$5CB29E02-EBE7-45F5-B32F-E6149E38426F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f9fe438505a2dbe16dc225f18127783c2b282e8","datavalue":{"value":{"entity-type":"item","numeric-id":3687693,"id":"Q3687693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404b5b3de2d802e4d1e4b4e1cedf3e91c8b87248","datavalue":{"value":{"amount":"+0.84205276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2181939$0B726C85-30CD-4A14-A95E-B485B6C00A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5c58ba094084c62addce8231789deff838749d2","datavalue":{"value":{"entity-type":"item","numeric-id":2864524,"id":"Q2864524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e656fa71b0383c7370d1c09743eb7d74c2c2afb5","datavalue":{"value":{"amount":"+0.8412422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2181939$CF315087-D9BE-416C-A198-11A9038EF279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ecb63af8254f7a0246945b1418d059736c07ec","datavalue":{"value":{"entity-type":"item","numeric-id":4647544,"id":"Q4647544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf5707e71f141283d9b30a80d0ac038798bd906","datavalue":{"value":{"amount":"+0.8410741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2181939$CC5C1ABF-13E6-47DC-8910-A0CE7B91F3CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2181939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2181939"}}}}}