{"entities":{"Q2583288":{"pageid":2594031,"ns":120,"title":"Item:Q2583288","lastrevid":48631504,"modified":"2026-01-05T10:58:34Z","type":"item","id":"Q2583288","labels":{"en":{"language":"en","value":"Formal verification of a generic framework to synthesize SAT-provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247169"}},"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":"Q2583288$D9A95F1B-A09D-4C34-A51D-45F90E752882","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab8f2494b7526a4a96adbde881dd6ed5d98f9178","datavalue":{"value":{"text":"Formal verification of a generic framework to synthesize SAT-provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2583288$4696FE28-14C5-44BF-8B91-CFC0D3FAA5AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccdb03d1a0e5d7dec1d4bda4a9ad88f1f049cd03","datavalue":{"value":"1096.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583288$83DC5666-EB45-4985-A3B6-F12CC5DE950B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54afe00b49c5a16774fe8ec16d14e57240d7fbe6","datavalue":{"value":"10.1007/BF03177742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583288$90C01614-2A65-4A89-96C4-52FF8C373734","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc442b6d258731aa6f56db3b1030762f889ec8e6","datavalue":{"value":{"entity-type":"item","numeric-id":417948,"id":"Q417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$97358A6A-55FD-49E1-BA01-5BBC516D1B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76b38168777167ff49199bd7f47bfebb8e51e498","datavalue":{"value":{"entity-type":"item","numeric-id":438547,"id":"Q438547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$6EB9E704-5D6C-42F1-B65F-AB931BE741A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ab7d4636d237c78cfef4f47fdbac4805f8a7b82","datavalue":{"value":{"entity-type":"item","numeric-id":438549,"id":"Q438549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$735C9ACC-97FB-4A62-9F24-C9332F5F0A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5989ab1028cea7e9ee7fb42127fc02a808a197","datavalue":{"value":{"entity-type":"item","numeric-id":438548,"id":"Q438548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$F9B299F1-35CD-437B-ADE7-17B0822C6F8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$74F5EC6B-36D5-4E1C-A387-70616C0AD87A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2583288$B1659C95-3F73-4A7D-BFB3-CB0841E4C4FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583288$610F2AD2-7ACA-4676-9C88-14923A2D88AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583288$1F88CF94-166E-4EE0-B4BB-26F2DEA943ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90bd4d3b2f94acdfba58cdbe50464a4d743453e0","datavalue":{"value":"2247169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583288$79D3D549-C62D-4913-9344-E07E4F16A3E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$10BB2E28-146B-4983-BDBF-B447F074CD51","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":"Q2583288$156731F7-7EC3-4FFB-9FCB-84DFDE5C16C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$F73A85E5-C43A-4D57-BD2B-35F6F1846725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$45E5E12F-4786-419D-BB12-2E5E1554BE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$DF6DB43F-F2A9-4BAA-A2ED-D1BBAD2A9D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$0317AD45-8C8A-4004-A60B-F4E4F1A7DA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$703F380F-CFB3-4323-8119-CF912439BF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6926d9a2864657c63c8ba6d81f03198b036942","datavalue":{"value":{"entity-type":"item","numeric-id":1595929,"id":"Q1595929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$883F980D-8B9D-4DE1-B729-1A8D78B96B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0f99f01109350c8cea9904f31edb2b04f2604d","datavalue":{"value":{"entity-type":"item","numeric-id":3079919,"id":"Q3079919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$0DA33B35-05C8-4B3E-8727-78E281823694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$C4214524-7B40-46E9-8560-D3DE772686CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6b44d3ab57341d3a87da9b9124773b1ca70df9","datavalue":{"value":{"entity-type":"item","numeric-id":1977761,"id":"Q1977761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583288$EAD4C7D0-83BE-41F5-AD12-624984E926D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"760a14bfabc4e10a8a1363a170fc2f2ca225ee11","datavalue":{"value":{"entity-type":"item","numeric-id":3079919,"id":"Q3079919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ade0447db44792cc2bcb27e833b46661fe7a37","datavalue":{"value":{"amount":"+0.9726107716560364","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":"Q2583288$D407E7CE-BE02-4C18-B120-AD3883D49AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ab12d6457ec42347bef47f7f7188cc8c836911","datavalue":{"value":{"entity-type":"item","numeric-id":2817909,"id":"Q2817909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbdddc3b55effbe211c283dc529d816b4fd2023c","datavalue":{"value":{"amount":"+0.7998226881027222","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":"Q2583288$C2D98A5D-2EDF-4535-8202-C146157D7488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be33ccab093ca2a6b6fd2b7057b69ca7524c000","datavalue":{"value":{"entity-type":"item","numeric-id":606999,"id":"Q606999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54d29bf77ec3b4eaa8f997768c1dcb2c0b0b59e","datavalue":{"value":{"amount":"+0.7686080932617188","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":"Q2583288$060FD3E5-FEE3-4B6D-A1C6-B8EED6FB9CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce9c09e8d34bcc24fcbff9b331a2edfdea566af","datavalue":{"value":{"entity-type":"item","numeric-id":1663234,"id":"Q1663234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145e7c601bfafb6e048cd3940f2a775354e3650d","datavalue":{"value":{"amount":"+0.7682018280029297","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":"Q2583288$F5FA8B6D-1BFB-4E7D-BE09-D7AC6B702276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117a8384df9f2cfd5c63b60924d56a8724ff3cff","datavalue":{"value":{"entity-type":"item","numeric-id":5179007,"id":"Q5179007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08468b0f026deee367464b53f72394a54ff292f","datavalue":{"value":{"amount":"+0.768088698387146","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":"Q2583288$9533FF26-57D0-4B42-B6AF-F92448407DC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2583288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2583288"}}}}}