{"entities":{"Q2848055":{"pageid":2858775,"ns":120,"title":"Item:Q2848055","lastrevid":51832658,"modified":"2026-01-20T06:37:16Z","type":"item","id":"Q2848055","labels":{"en":{"language":"en","value":"\\textsf{TSAT++}: an open platform for satisfiability modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211410"}},"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":"Q2848055$6B9A368C-9FB8-497B-91BB-355BA869A573","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"186322ce7e9cadb2925d807a061f7851c4a44ea5","datavalue":{"value":"1272.68369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848055$4C7C5FEC-1CAB-4E6F-A3CF-2E9AE7428251","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848055$D5C5AE85-9268-465A-8082-83DA51C0A4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcd26f860b44bfba2e9bedcf5b19eb2d71483a","datavalue":{"value":{"entity-type":"item","numeric-id":814471,"id":"Q814471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848055$D47E2521-C4EF-4440-BA3F-94E489502013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848055$12593BE0-A38A-4C9C-9B7D-E2CD2C141B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a448ce23ca3f9ef20c9f6e91509df67fbb86fc32","datavalue":{"value":{"entity-type":"item","numeric-id":2848054,"id":"Q2848054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848055$051E35AB-B314-4766-909D-8A3437381151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3260f3ff5bb501f931edc564a27f90796d6990e6","datavalue":{"value":{"entity-type":"item","numeric-id":414855,"id":"Q414855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848055$4AD4E9B4-05E3-4770-8F22-97638488ACAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848055$88571689-51FE-4E6E-BBD2-6E9BD57E2107","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53b896b7bb7c3b7e6e306ba368b351f2e461d01e","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610505070X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848055$AA0A030F-13E2-4F77-B450-FC528D9F0273","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848055$F3D1D385-D061-444D-8E6A-3734621E2FBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26f6bf504f15908154d3b536bc78f64193fd4304","datavalue":{"value":"6211410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848055$751E61C1-567B-458D-BA87-0652CA18DE82","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ceb49dd35ab17ec4b22a9c1f0dd26d31401a25d8","datavalue":{"value":{"entity-type":"item","numeric-id":33158,"id":"Q33158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848055$970AC58E-D72E-4FFD-934A-E327F1207F7A","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":"Q2848055$F7DD3314-B234-4EEB-91F1-A83B37513F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848055$F8783975-9577-4F6D-9A0A-CA9AB059C1A6","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":"Q2848055$15F02AB8-1600-4D20-869F-A02E013450B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4f1d2e4689497371b39e476796e91a639eebf8d","datavalue":{"value":{"text":"\\textsf{TSAT++}: an open platform for satisfiability modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848055$47DD91D1-9323-4815-B069-057A8FE038AC","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":"d3af3f0513fe11ffc734bfba0b0a93bd7f159e74","datavalue":{"value":{"amount":"+0.831028938293457","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":"Q2848055$F8724206-E635-48DE-B480-440FDAD53C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060b299a48c3179c59c6541e6cf5829c59574c76","datavalue":{"value":{"entity-type":"item","numeric-id":5434475,"id":"Q5434475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2704e523d0681d5eb5f6f1dd78244e5cf622dc4","datavalue":{"value":{"amount":"+0.813913106918335","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":"Q2848055$C6BDE9D8-2585-41F8-93FF-981DA89DC78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24a5d485e1040fd0f9f0b64ebccef01f930fd47","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab28ff986bce5afcd42064119fe8374e4dce1e8e","datavalue":{"value":{"amount":"+0.8020607233047485","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":"Q2848055$1DE53FE7-EF09-40C2-82E5-4C4D326F775D","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":"9dbb8221bc0624e1d1fe8fd4e74cae1a5ad8c2fc","datavalue":{"value":{"amount":"+0.8009119629859924","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":"Q2848055$78FEF296-0138-4EC9-A52A-13D971D93629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc96a02bcf28ccc814613063c61e6ad958df42be","datavalue":{"value":{"entity-type":"item","numeric-id":5326459,"id":"Q5326459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848dda248d326c4e074eb2874a0a19846c711abe","datavalue":{"value":{"amount":"+0.7922347784042358","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":"Q2848055$AFD01D6F-70C5-42DE-9D4B-709057F90F92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848055"}}}}}