{"entities":{"Q3637169":{"pageid":5667075,"ns":120,"title":"Item:Q3637169","lastrevid":87537089,"modified":"2026-06-04T11:55:49Z","type":"item","id":"Q3637169","labels":{"en":{"language":"en","value":"Efficient Term-ITE Conversion for Satisfiability Modulo Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576286"}},"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":"Q3637169$D6162E46-09C2-4BAE-972E-D99CF500C83E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb567dc89c163427dc2bc16f64d04a5293ab7606","datavalue":{"value":{"text":"Efficient Term-ITE Conversion for Satisfiability Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637169$250DE2B2-4CED-4487-964F-A443752380CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce293b5aa9e0a683881781e9351bf47b590a0383","datavalue":{"value":"1247.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637169$C8D2C0C2-6FF8-4A51-9FCF-7AA7D81671B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b54a4b99bf26d3ccc4798baca03493669b2a98d5","datavalue":{"value":"10.1007/978-3-642-02777-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637169$D9432115-280C-4242-98CE-4AC2B8905E14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b11104488a6475eede62a75c37891c519002eed5","datavalue":{"value":{"entity-type":"item","numeric-id":3637168,"id":"Q3637168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$81911467-3B77-4CB1-ADB6-78F111B4284B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f58cd250110bf59c28a29d5e30b88533180a96","datavalue":{"value":{"entity-type":"item","numeric-id":832299,"id":"Q832299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$86554E3D-B85B-4751-BA4E-E09FB80911D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"843a32011b60efe25bc4ca739c64611b63386e90","datavalue":{"value":{"entity-type":"item","numeric-id":2849594,"id":"Q2849594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$069A17A4-C57E-4DEC-A1C7-A5ED2339B802","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$6C3CCDE5-2962-4713-BC81-5BDCB30C2E6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637169$63B79FE5-EC0D-45DF-BDF1-ED17FC0D1463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637169$537AD7BC-1C16-4602-BF66-EF0236FC220C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cec0efb6e6fca0f33ba6ccf73751c455d81ef4a","datavalue":{"value":"5576286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637169$DC771B0E-56C2-466C-AF4C-1C5DDF395EE7","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":"Q3637169$95C74194-B47D-4562-B1DF-B4DAC9A4AC43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e069efa7c40b32448b7a7c4f92f577c4de33725","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02777-2_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637169$08FFCE91-11A2-4F45-A11B-D06CCF154F51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19adc5c896bf9eb3b0abe79cf83f3d56d468b2c1","datavalue":{"value":"W1521022632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637169$8B40726A-A03B-4422-BF6B-A8FF6AF19F77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"394181bab27f4b1815f35966a93faec66f222ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5703769,"id":"Q5703769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$F69FC215-FCD7-4C64-B1E7-6B3BB4D3F1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff19301cef3199bbb3301c86eaca8dbdf8ec1bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5716571,"id":"Q5716571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$7CC806A1-717F-4D1B-98D2-03EBE71E74F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebbe8179093b338e16fa426f8dc065acc1e6427","datavalue":{"value":{"entity-type":"item","numeric-id":5703766,"id":"Q5703766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$9D541652-1704-4CE7-83CB-C8ECF791D250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbec6f6989c6755320b302c2eb2b66a627d5269","datavalue":{"value":{"entity-type":"item","numeric-id":5309033,"id":"Q5309033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$419AA780-FA1D-4DFD-B41E-4A533E182127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$B9708061-B108-40B7-B5F5-A48261EB253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730ba05bbf0433a1a497a7552c55d2bc239d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$EC63792E-D704-477A-9BBA-669BEEECED46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e94bb5d89526c31d68885972d76ea34ab85334","datavalue":{"value":{"entity-type":"item","numeric-id":5756582,"id":"Q5756582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637169$53319974-65D2-43C2-992B-D7579F3F420E","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":"4a877d560e67a59f37c899938dfd3d78925c5537","datavalue":{"value":{"amount":"+0.7723572254180908","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":"Q3637169$F36071FE-E6A2-42F6-BD8F-A95E02AED0B5","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":"ecb1c04cda9eed660e588b8a195620b622a34409","datavalue":{"value":{"amount":"+0.754459798336029","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":"Q3637169$5509989B-A454-45A4-9862-FA5303CD2CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c96a9523b3ff8387919990adfe8375ccb604b5","datavalue":{"value":{"amount":"+0.75104820728302","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":"Q3637169$E647131F-7D4C-4EAF-A993-358CE272666C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e218af8cd43ad3720c9bf48989333d3d35e67744","datavalue":{"value":{"entity-type":"item","numeric-id":5756580,"id":"Q5756580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c555c1fa9abe0d0794a408a810b65e443f3cf59","datavalue":{"value":{"amount":"+0.7492852807044983","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":"Q3637169$07C43D52-6601-4322-950D-7FB74C5DA548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81902c7e3b10892a3d4d50dd99785140e273d0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7235686f6ab52a06ecb89bece7c8c136419d4d50","datavalue":{"value":{"amount":"+0.7447000741958618","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":"Q3637169$0C257EAD-A695-4FF1-8D25-2A939EBAC897","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Term-ITE Conversion for Satisfiability Modulo Theories","badges":[]}}}}}