{"entities":{"Q3600482":{"pageid":5630388,"ns":120,"title":"Item:Q3600482","lastrevid":50566910,"modified":"2026-01-14T10:19:36Z","type":"item","id":"Q3600482","labels":{"en":{"language":"en","value":"Synthesizing Switching Logic Using Constraint Solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5505796"}},"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":"Q3600482$2F1896C0-0A6F-42CE-BD19-0A17EFFA61EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee12e590ef79dae47f82ad45c870af7ca9d1cc1","datavalue":{"value":{"text":"Synthesizing Switching Logic Using Constraint Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600482$DB607F7E-973D-4841-9A68-E00E1F9647C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be9dfb04f3d7e5dd924d7d3bf17542eb5e486def","datavalue":{"value":"1206.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600482$E28ACA58-77EC-4E95-8D1C-489D2F37E23B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e50cac4ee52f589db828f5ffd4e134935a6a028","datavalue":{"value":"10.1007/978-3-540-93900-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600482$49457509-A118-44C7-A575-2EFD85987DAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b30d7950bd9a8ba8b3612674c6f19254fd3ac4a5","datavalue":{"value":{"entity-type":"item","numeric-id":2920145,"id":"Q2920145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600482$6F8E9A7E-98AB-4B10-AC0C-FB87DCC4BE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600482$C1562D65-653D-4F21-85EB-E447BB43A387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600482$B25C967E-9AD3-4B15-94E5-71917166618E","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":"Q3600482$58630FB3-B9D3-46E6-952F-CBA8E7C1AF59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"862f3ea8dd1696c9694e62e0070fb4814c61ef07","datavalue":{"value":{"time":"+2009-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600482$6EEADDC0-3DF0-45EA-BA37-E760E5FBD793","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0abc7e9d26223ef3453a4af4e85dc51e4ede51ac","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.9196","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600482$B3B4B5F9-7C13-45D4-B554-1B178B02AA9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600482$F4424ECA-7F9E-4F39-B1FF-16C1BDE3F6ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a303119ceb0e887ab03e329d734a46bb74e54959","datavalue":{"value":"5505796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600482$4CF59872-68C2-4CCE-8A4D-142701748433","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":"Q3600482$6DCB55AE-3042-45AE-A419-400915EBA517","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6dff2cd5f31b168d289fc6cb1015f535260189d2","datavalue":{"value":"W2634524329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600482$30C33BFF-6620-4DEC-A82C-92A3F0D675EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46f70670b588c42ab19a900391a001f00551f5e","datavalue":{"value":{"entity-type":"item","numeric-id":464595,"id":"Q464595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c2db5350911f9664ae1a9c81f621ec333163a9","datavalue":{"value":{"amount":"+0.8261801600456238","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":"Q3600482$013886FA-FDB3-4D32-8DB2-1F677228D598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26559626d29bd9784d2cdd313c4ed2dc14edf775","datavalue":{"value":{"entity-type":"item","numeric-id":2842646,"id":"Q2842646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c30bb8882a181cd3d0012a6ca9cc2bbecf8bd8","datavalue":{"value":{"amount":"+0.8115490674972534","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":"Q3600482$DCD40BAA-48A0-49AA-B59F-69C52266B740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c68619a1943c765230102b079d482383cd79be","datavalue":{"value":{"entity-type":"item","numeric-id":391117,"id":"Q391117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25aa017519826bba263809f855b1347645b10942","datavalue":{"value":{"amount":"+0.8047879338264465","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":"Q3600482$F1B20A49-3591-4053-9DC8-25CF04D22D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722bda66784fe839f8b31c0ac7d90ff3db90eefc","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0d8a15cb6fd234114d4aa076befefa358ce193","datavalue":{"value":{"amount":"+0.7830137610435486","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":"Q3600482$39FC5529-9328-4075-A540-19E40D235E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eeb91d1ddb779a20ed542356cd2ac0c72d10c17","datavalue":{"value":{"entity-type":"item","numeric-id":4552484,"id":"Q4552484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277debf94bfdde7bcbf49223372425f1a22a2693","datavalue":{"value":{"amount":"+0.7635890245437622","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":"Q3600482$2927E45E-F0BF-45B0-8AD7-35225B82A38E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3600482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3600482"}}}}}