{"entities":{"Q2118327":{"pageid":2129070,"ns":120,"title":"Item:Q2118327","lastrevid":43521115,"modified":"2025-07-30T13:45:45Z","type":"item","id":"Q2118327","labels":{"en":{"language":"en","value":"Smt-Switch: a solver-agnostic C++ API for SMT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495586"}},"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":"Q2118327$B317ABC5-63E8-4B4C-B5FA-804B174A4423","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d17b8b338f542898e4062c2aebbb6744e576713","datavalue":{"value":{"text":"Smt-Switch: a solver-agnostic C++ API for SMT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118327$89848670-4D42-4CE8-9647-E84BF44D229F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ca7b8dbe5566ddc8b9d66a579d7f0fb9803b45a","datavalue":{"value":"10.1007/978-3-030-80223-3_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118327$CE308319-2624-4DFE-913E-A62C8D9B50E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4f6ec7d4f100918fa8e18eefd60720c243c468","datavalue":{"value":{"entity-type":"item","numeric-id":2044194,"id":"Q2044194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$A06958BC-084F-4923-9248-B2BDB459B739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba9bbccc18076c32b5804829901a19b6938eb150","datavalue":{"value":{"entity-type":"item","numeric-id":2118322,"id":"Q2118322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$C9E15504-7994-4FC1-8C13-B1DCAF47B8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$44EC43C1-577E-4195-A5DC-4419D1943210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"010c1d79aa600b987d096841185026156dbe378f","datavalue":{"value":{"entity-type":"item","numeric-id":2118323,"id":"Q2118323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$4820B593-90D6-4FEC-AC12-A93D9AD516FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"637b63b8551b0d9a45289b2321fc07fbecec8861","datavalue":{"value":{"entity-type":"item","numeric-id":831940,"id":"Q831940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$2CDB6565-85B2-40BB-9659-E3203FC9B3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"839ccdc9c7b4884b7c83b955cab9b1c24e6239e4","datavalue":{"value":{"entity-type":"item","numeric-id":2118324,"id":"Q2118324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$08471639-42E8-4AED-8355-0427EF528A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c6b1ac69f467a62ddc1f95ad2f1f76bfa6f4397","datavalue":{"value":{"entity-type":"item","numeric-id":2118325,"id":"Q2118325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$AF8BBA6F-28F8-4593-A063-232BFC7A541F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"881bab865ccbc5313375aa9d934da7d164ef9ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2118326,"id":"Q2118326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$9AF2F4C1-14BE-4DD7-956C-F3B7AFDACB4E","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":"Q2118327$02555AB2-3AC7-4571-96F0-45FDFFB63E4E","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":"Q2118327$15E7DDA2-D93F-4D83-917D-0C4DC47F4AF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118327$4CFBAC65-CCB1-4EA4-BF3B-B28452B7FBE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6637064e25e7b0540c2e768f370d98553b8fcf3","datavalue":{"value":"https://arxiv.org/abs/2007.01374","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118327$DF38D1ED-2C35-464B-818D-720AB618FA57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118327$0EA97249-EF83-46A2-9A09-3A9A62160743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118327$BB0C61C7-CF8B-439C-ADD5-E320C73BC71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118327$C0908BDF-0105-43C1-AB4E-86185217C906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92e2217c8c36186f2dc943ea09dce0ea140e98fb","datavalue":{"value":"7495586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118327$6DFBE0E6-4BE2-4FA2-BF9C-EEA09DBC2318","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$F535B3BF-3841-4FD0-8132-02E5E950DC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19f1073b861cd9c87532190be9cbce1e4bf3ebdb","datavalue":{"value":{"entity-type":"item","numeric-id":25664,"id":"Q25664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$117D466F-D6B8-4283-9876-EFB0A59BBE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93f1a2914044193bb2b0e667dc339cc00e256b71","datavalue":{"value":{"entity-type":"item","numeric-id":37197,"id":"Q37197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$9366C537-361B-436B-AA01-02E7BA732D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"920d9d420e5b6995d3b7dc6f21ea1260e90bb769","datavalue":{"value":{"entity-type":"item","numeric-id":1353553,"id":"Q1353553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$EAB4EBE7-6E93-4E76-8C07-D26D3A07DEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f948252d591c732bd396aa45b0b6623581424153","datavalue":{"value":{"entity-type":"item","numeric-id":1353550,"id":"Q1353550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$091EA12F-3DD5-479C-8813-DB937DC84CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa539a0edc27a9361e964990fc10f13da1dde2d9","datavalue":{"value":{"entity-type":"item","numeric-id":1353546,"id":"Q1353546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$7574507E-2921-4599-9D29-1B22FC1E4525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5feeece9b3e8ffdafe0ef4831cb1f11030109e66","datavalue":{"value":{"entity-type":"item","numeric-id":1353549,"id":"Q1353549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$D787131F-793D-49A6-910D-1B9536468274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862544be4229436398ca7f2f7d9abf0898b9b8e4","datavalue":{"value":{"entity-type":"item","numeric-id":1353544,"id":"Q1353544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$515D6050-BEB2-4F67-ACF8-D925897563D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067a10c5b5570555223c392dea820406e7883f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1353547,"id":"Q1353547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$DEBCDA35-4029-4C68-BE7A-AB1DCBEEFAA1","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":"Q2118327$49F70549-8715-40CC-8F82-85F1C9D39E29","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":"Q2118327$B48660FC-6957-48E1-B320-E310308E9025","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":"Q2118327$6138EEFC-B611-4582-B4FD-B4822332368B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47940455efa095731183157ace3eea6702b58a42","datavalue":{"value":{"entity-type":"item","numeric-id":31667,"id":"Q31667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$083298C1-4568-46D8-BD57-CEA88EBC05A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f94f93f0368da3b7315f77cd42028be29afba6b","datavalue":{"value":{"entity-type":"item","numeric-id":32951,"id":"Q32951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$37545CDA-C582-4979-8C6F-FA7318E6A411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6be0ef641d7a9df90598117251a063150deab431","datavalue":{"value":{"entity-type":"item","numeric-id":33947,"id":"Q33947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$98E26D69-11CA-428B-94D2-73D1E2404D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca6d1615e34e48cb7c0137d7b5b58aa6a4b483ed","datavalue":{"value":{"entity-type":"item","numeric-id":44016,"id":"Q44016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$139823FE-D900-4DA4-82AC-CE5370869F70","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":"Q2118327$0C743591-7EA6-44F8-AF97-B8606C57EED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$5FB11388-4C38-4002-9F42-7347CEB83971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a11a5867907ed4f97b770f41e24046422ae9b8a","datavalue":{"value":{"entity-type":"item","numeric-id":35158,"id":"Q35158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$24BE3390-299A-4172-AC1F-5B95F4BD5161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed8e91387218cca6a2d0952d11541259ae16c02d","datavalue":{"value":{"entity-type":"item","numeric-id":38708,"id":"Q38708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$2B56D0BA-F9EC-49F3-8F40-DEC78A3CD55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$462D1E01-263A-49FE-B182-B2A4FA886F98","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":"Q2118327$7386B908-5AB3-4A35-A1A1-46F8704AAE1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"941c07087b00bfde4fcd6d1187f4105c2d2706c7","datavalue":{"value":"W3164356218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118327$3BD4E517-AF40-4187-8060-A41DC8B1F288","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$7E0DAF51-21B1-4973-8677-11D031107BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118327$EF7E567F-E7C2-4E42-980F-073481A98B7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118327"}}}}}