{"entities":{"Q3631306":{"pageid":5661212,"ns":120,"title":"Item:Q3631306","lastrevid":87481223,"modified":"2026-06-04T11:47:26Z","type":"item","id":"Q3631306","labels":{"en":{"language":"en","value":"Test Pattern Generation using Boolean Proof Engines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5562403"}},"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":"Q3631306$A38DDD22-99D2-40C4-BF04-D1C02DCEC526","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a58783231a6609bb769db3d545bcb7cb62da3069","datavalue":{"value":{"text":"Test Pattern Generation using Boolean Proof Engines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3631306$0A7900FC-5C64-44DF-8EC6-73DE40D33F0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c2607020a374cc7c6df80318f2a6aadb70b47ae","datavalue":{"value":"1189.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631306$DEB4C068-242C-4F2A-9AA3-B7BEF0B5F34B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c70797f0cb5a75a1542842dc5f71d07d0b040001","datavalue":{"value":"10.1007/978-90-481-2360-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631306$8C5149C2-9148-4B90-8FF6-7201455C209F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8557fccb2ce533d97ebf9c091249964e10d21dae","datavalue":{"value":{"entity-type":"item","numeric-id":294812,"id":"Q294812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$EC17485B-88E2-4E62-9264-E93C7FB751ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac2e016a37c144bd585f777fc0d633f549de2440","datavalue":{"value":{"entity-type":"item","numeric-id":3106262,"id":"Q3106262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$D5D6B27A-B680-4778-8A53-C86260E9C8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0684207c00193d0694cadf2f41eafecf41dbde08","datavalue":{"value":{"entity-type":"item","numeric-id":2280223,"id":"Q2280223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$D855AEEE-058D-4F6A-855F-93DA2AED98D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81072c70b337b1a44da0942e74733d49d4cb853f","datavalue":{"value":{"entity-type":"item","numeric-id":3631305,"id":"Q3631305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$ACF3926F-C726-4BBB-84A5-7970DD838DC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0b492d21c1c3bb38d63626b8b51c7fb9be5dbed","datavalue":{"value":{"time":"+2009-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3631306$B44AD175-7D5F-4333-86D0-5B64D432F9D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631306$98D07C03-86C0-4B1A-A6CC-A22CECF69116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631306$1EA4DC4C-70E7-4B9D-8BC5-7275BC676242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631306$4BE27ABF-FBBF-4802-9D50-E35E6CC491E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631306$A3DD6CF7-50E9-4529-A63C-AE5EEDB2A289","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd62ab2f5e33848d0b86ec23e7d20f0232d88de6","datavalue":{"value":"5562403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631306$B40A9ABD-DE4F-49BE-BB56-54EC0DD82593","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8cd24683205b281d8c9970729c3974423860c6e","datavalue":{"value":"Boolean Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3631306$6370AF51-E5E1-404D-A869-D99E242E1869","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"93e2ad7374f4651a57a808d388214359b8198967","datavalue":{"value":"Q59242694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631306$B4315D96-79D6-49EA-A391-6136E84D6F19","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68889b620f959d2410d5024f9adee923736e93c3","datavalue":{"value":{"entity-type":"item","numeric-id":16818,"id":"Q16818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$6C54E51B-EEE6-48A5-9561-EAAED9E1B705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$FB6B12D0-3A91-4A4A-B05F-66559C1F58F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$E949B0E0-55C7-4D47-BE58-EDAF26ADE79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$7775C8DA-F49E-430B-AEA8-65D4DF3043C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"721cd3f771a73322a1a8673acde2a092cdadd158","datavalue":{"value":{"entity-type":"item","numeric-id":22040,"id":"Q22040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$F1DDAD1A-063A-4584-BA01-CB31A07531A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b21250d116ea30e7a4597f4db660a3e6b3564a3f","datavalue":{"value":{"entity-type":"item","numeric-id":22041,"id":"Q22041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$07792785-BB7A-433E-B579-D17519EEE148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8b4bcce0bedb5dd3a5621bebec610f891871b90","datavalue":{"value":{"entity-type":"item","numeric-id":22042,"id":"Q22042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$9DF1AC99-57A7-4167-899E-55AF70EE1480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76a090bd25567d75529282ef9f1b88de42501411","datavalue":{"value":{"entity-type":"item","numeric-id":22043,"id":"Q22043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631306$B9149874-5533-446A-8A3B-32F8CE69E7B7","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":"Q3631306$9DE54AC1-43D6-47B4-B8BC-1D5C012177B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b03f9b257243627d971c25939d9da0ce82df722f","datavalue":{"value":"https://doi.org/10.1007/978-90-481-2360-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3631306$D904926A-EB7C-46A1-AD84-8810BB3C5D61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f78cc55e2719bb47b43634432090a5f655400ffb","datavalue":{"value":"W4213132743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631306$1AC4E8F1-CB7E-425D-B359-90A648C8F13E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a822f01e007cd2d3bc53b9da36d030057de18c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3106263,"id":"Q3106263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db5ad4854f7f4fad0c3e1b420a83767edbb2385","datavalue":{"value":{"amount":"+0.8806477189064026","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":"Q3631306$6B4E2552-0DD2-442F-AFCF-B97DEECE02B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a76e3925fd60a8fa3914ddf975e38093a69648","datavalue":{"value":{"entity-type":"item","numeric-id":5899152,"id":"Q5899152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43a3171ff494fa6a0c93b4020ba1c2dd72fd3a1","datavalue":{"value":{"amount":"+0.8261600136756897","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":"Q3631306$B07D53B6-D186-453E-A6A9-B94941E52F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c79abbdf32360e2135ac8af6ec43e8264520ab","datavalue":{"value":{"entity-type":"item","numeric-id":2786909,"id":"Q2786909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc60c96e94179ff77152a3d8498fa5b265dcf36e","datavalue":{"value":{"amount":"+0.8256889581680298","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":"Q3631306$454DB254-F2DD-413E-B5CC-BD1D8C95031D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7048c2181170b752005ad3f66a3d21e30878f02","datavalue":{"value":{"entity-type":"item","numeric-id":4037375,"id":"Q4037375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4af1557466e6883d0720f245009238905776c8b","datavalue":{"value":{"amount":"+0.768287718296051","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":"Q3631306$07EEA322-B7F0-4DD8-B6B3-739B34D470A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd12e110ae5db7308dbac4963f0b788d1ebe8ed9","datavalue":{"value":{"entity-type":"item","numeric-id":4344221,"id":"Q4344221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebfae97744015d309066ae2ae28b1d6f0a433b1","datavalue":{"value":{"amount":"+0.7666015625","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":"Q3631306$023F479B-2655-4129-91DE-1B84FDF3A9A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Test Pattern Generation using Boolean Proof Engines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Test_Pattern_Generation_using_Boolean_Proof_Engines"}}}}}