{"entities":{"Q6132564":{"pageid":13266871,"ns":120,"title":"Item:Q6132564","lastrevid":41226536,"modified":"2025-04-21T16:37:51Z","type":"item","id":"Q6132564","labels":{"en":{"language":"en","value":"Boolean functional synthesis: from under the hood of solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728685"}},"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":"Q6132564$2327DE4A-35EF-4207-B5F6-D6A2C453C5E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11d6ebb81a275158e1a86a57aa05dbc37e321c1e","datavalue":{"value":{"text":"Boolean functional synthesis: from under the hood of solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6132564$44B6B3F1-AA5A-44BB-BEA9-EAD0DA58181C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47576ec6b1695b449ef5ebc0ec420fad1d447f48","datavalue":{"value":"10.1007/978-3-031-26689-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132564$445E4810-ECE8-4048-B7BD-50B3F55C19E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$93385DB5-9B37-428C-827F-732C2C030FF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$60BADA0A-E6C2-4EC7-804B-421AB3337853","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6132564$D67919A0-CDC4-4190-89FA-32660E7B5E5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132564$3F118843-D83A-46C3-89B1-1E8AE97C4CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132564$19ABC9ED-8EDB-47E9-9703-79B895C7EA73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1988d7387fe9665e3e7c6ce7256387fb92e721f9","datavalue":{"value":"7728685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132564$BCB2D426-E737-4AAC-AB74-76D3E33C585B","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":"Q6132564$17EFE627-ED47-4B27-A32F-467B8A978016","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf2b93af9ef0a348f3ed6266ea0b5b0e9edb291","datavalue":{"value":{"entity-type":"item","numeric-id":2050108,"id":"Q2050108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$71403396-2485-495D-A599-8DE6F140F3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96eb372905fff95217379fabbb2cde4a7f97e64","datavalue":{"value":{"entity-type":"item","numeric-id":6045007,"id":"Q6045007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$C6811FE3-CDAC-4CCE-A626-1C3C4FD07D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33825573cdfcca9fef96419ce08697d644c013c","datavalue":{"value":{"entity-type":"item","numeric-id":3303903,"id":"Q3303903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$9255FFBF-3E8E-41F6-9E8C-CEA111E45A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$8C07921F-561A-4E95-AD9E-F4D231202263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669705834fb7a1531543cd81b63b94a38d7cc93","datavalue":{"value":{"entity-type":"item","numeric-id":6102165,"id":"Q6102165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$290CB6BB-7037-4798-BB51-CF0B55659647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$E29165E4-21F6-4163-8AEA-B62AD1C6396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e09b2df25fed7040c3c645039ce3ce0b724eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4443390,"id":"Q4443390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$9F775BFB-923E-46A9-BFE4-AFD63FB0D324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b5b9bab55d39744ad21716dc7fbe20ef4197a6","datavalue":{"value":{"entity-type":"item","numeric-id":4633560,"id":"Q4633560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$36BF83C4-DA12-45F6-8D76-E8C3DB725C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef50919836426633d57029f1a7fd047efdb7f298","datavalue":{"value":{"entity-type":"item","numeric-id":2818028,"id":"Q2818028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$6631868A-22E4-482A-914F-B7C8228B607A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd00268cff7ee9962568f35d173374d0e15e55e1","datavalue":{"value":{"entity-type":"item","numeric-id":6154873,"id":"Q6154873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$8D69F9C7-5B3D-4F9D-80AE-7C9C1342D78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132564$D3D93B75-4C6A-4BB5-BCFC-DEEB7BD86B65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be946f02e692896d7a0e357d6887a420cde4b641","datavalue":{"value":{"entity-type":"item","numeric-id":2050108,"id":"Q2050108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec4d6b22881c97875b4122011e08e970db5e40c","datavalue":{"value":{"amount":"+0.9176385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6132564$06822733-7349-432E-91AF-D522226FF362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d88e1ddc85f16f6849edb0575b697310b0811a7","datavalue":{"value":{"entity-type":"item","numeric-id":4633560,"id":"Q4633560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb655f9354802ccd0a9c8b147bd0d44c2cb19eb","datavalue":{"value":{"amount":"+0.9039069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6132564$4F97452E-7A3A-4D03-8444-55A5C0E1E39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb42c4ef10ac9e969c090494172d73496dd4d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3303903,"id":"Q3303903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de77150b9663bc0fc1b8de9eff4246fd254854e2","datavalue":{"value":{"amount":"+0.88990325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6132564$59A130AB-FD6B-4028-8CA7-0C27E289DCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5a3a3a8cc0ee877e41060cc8e4c037ac22fba5","datavalue":{"value":{"entity-type":"item","numeric-id":2432543,"id":"Q2432543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d12f29a01675b5f419fb741813e49444a4897d","datavalue":{"value":{"amount":"+0.8883386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6132564$F8C6E1A9-FBE1-46BD-86E7-C0E4E864ADBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9928946d27528781f75e136aa50acf2c012d6c6","datavalue":{"value":{"entity-type":"item","numeric-id":5539755,"id":"Q5539755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659b723f621545fb5e89f5b6deffbe6b0d956d6c","datavalue":{"value":{"amount":"+0.8769246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6132564$893F8F43-443D-4D07-BB48-FE831BF6CFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c404bdbb52205fe7e72559aa4e91d0d4887be93","datavalue":{"value":{"entity-type":"item","numeric-id":3318682,"id":"Q3318682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9156e6b284cec4f551f4b74f1cd328a284f72382","datavalue":{"value":{"amount":"+0.86316204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6132564$85FAA88A-218D-4390-AB1D-6254CCB6D0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab2a7d65467cf2029a28a8cf654155450c8a2e9","datavalue":{"value":{"entity-type":"item","numeric-id":3115713,"id":"Q3115713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5722d1070a6f927e5f3c66005b4b72c9cf9d97","datavalue":{"value":{"amount":"+0.860819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6132564$F5858B94-3393-4E24-8924-5F0AA2B795B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e257392d19ee1b8ddc14ba1dc212992c961c745d","datavalue":{"value":{"entity-type":"item","numeric-id":2294081,"id":"Q2294081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9172f7928096e266621a39774c35ce54b7f2ff","datavalue":{"value":{"amount":"+0.8597893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6132564$E0B78038-C90D-4B04-A19A-1C6925AAE275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebbf4d55aaed8941fe36f840b281b0beb74dc4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3720476,"id":"Q3720476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c005a61e82062260176c1778bd41ba6e90222d5","datavalue":{"value":{"amount":"+0.8558562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6132564$78657E98-F7FE-4187-B2EC-F2C7B20B053C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cf3e0ba7fa4e1684d74fed860a3b71e178fb4d","datavalue":{"value":{"amount":"+0.85559726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6132564$2BDACFA6-0C3E-410F-A4B3-D5A21A5F5ADE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6132564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6132564"}}}}}