{"entities":{"Q6181733":{"pageid":13316621,"ns":120,"title":"Item:Q6181733","lastrevid":102641627,"modified":"2026-06-06T04:59:58Z","type":"item","id":"Q6181733","labels":{"en":{"language":"en","value":"Exact Synthesis of ESOP Forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7792865"}},"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":"Q6181733$08F926FC-3DB6-46C1-9329-BD25E35C4B44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4b44ff1b045e232803d35ccc15115142d778341","datavalue":{"value":{"text":"Exact Synthesis of ESOP Forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6181733$012C60FD-A20A-42B9-A09E-B9FC83A19BD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"032826654b068069b9f003f270c60211e630449f","datavalue":{"value":"1528.94129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181733$B43EC2C3-51FA-41EE-9A96-69CEF7E20BFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ad7ef5d4bd098d7fa3bea132e56cc413f4b70ba","datavalue":{"value":"10.1007/978-3-030-20323-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181733$C73BE5DF-5B2A-473A-AC04-E414A084684A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08156fd85e91b2cffc48e122d4439e04cab7858e","datavalue":{"value":{"entity-type":"item","numeric-id":2280225,"id":"Q2280225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$0D8DF898-728C-4BF1-8F56-57D3C82372FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5826cb46f670122cdc676198f817f684799cc9","datavalue":{"value":{"entity-type":"item","numeric-id":453534,"id":"Q453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$B4F669D9-EC47-4F90-B53F-AB5923B9C861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"747958055edccd95b915b432fbfe8627481d25b4","datavalue":{"value":{"entity-type":"item","numeric-id":6181732,"id":"Q6181732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$166912B4-43C5-4A93-9284-6FF559531A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d98c5894b4cfc166b8680c2daa8c845c6c7d2a3","datavalue":{"value":{"entity-type":"item","numeric-id":929158,"id":"Q929158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$4240CF89-976A-4B7E-898A-61E820B76A35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d3090581de74efc9a6db367be1314109b4eadc8f","datavalue":{"value":{"entity-type":"item","numeric-id":6181720,"id":"Q6181720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$66AF593F-DDF9-400D-80E9-74247F5258A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6181733$74171100-66BC-41CC-8683-F310A10F8BA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5c6415e2861d5a7198039ff4a272cca274f4aae","datavalue":{"value":"https://arxiv.org/abs/1807.11103","type":"string"},"datatype":"url"},"type":"statement","id":"Q6181733$6B9CE1FF-F4A4-4621-B9D5-6035641E4FEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181733$E82F960C-97C1-4216-8EDA-435073555508","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7fa574ae3c9a76abcb573a833c879be4a230318","datavalue":{"value":"7792865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181733$F319D029-2017-437E-8C7A-DC9F1DB85A0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ee2f408b6407a60608dbc31d5dc6b145c15444","datavalue":{"value":"logic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181733$24BB5E0C-BDD0-4B82-8F8F-2629206A4420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614eb189466388bc8eee341217de457d34270a57","datavalue":{"value":"ESOP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181733$40A9F4EA-C044-4605-9F66-E21E2E206299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d434bf6ad13f99f756302981f152a89ed2c640","datavalue":{"value":"exact synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181733$11DC661C-56A9-4308-9FFA-3A07AE6EE83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a14491c463fc99ba47c33e896a4b22a30b7bc3","datavalue":{"value":"logic minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181733$D1BA1677-85C6-456B-B2F6-A505138F8078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603eaf233b964491ed50c033b795db08b4ed1039","datavalue":{"value":"Reed-Muller forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181733$A04ED900-7E1C-456E-AA40-4C5804BDAD67","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":"Q6181733$2EBAE263-FF14-485C-8646-392F641A96ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e1c3091d0f9d48f7190665260da0766f8cb4eaf","datavalue":{"value":"W2996462315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181733$0782D175-2204-4137-952C-F4BACFEBB122","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97d0c2bc21b6184eafe902f86d8f7fa90f41eb9","datavalue":{"value":{"entity-type":"item","numeric-id":935622,"id":"Q935622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$A582F09C-A649-4DAF-9EE2-BCE8665B236B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ab336de82d6a91d9e89c7c0bab0685099cea5a","datavalue":{"value":{"entity-type":"item","numeric-id":4571422,"id":"Q4571422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$6E4144CA-BE4A-47FC-88BB-E0881C230C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$772764DE-2501-49F3-822E-A14C59ED2EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6754391c9dc579f404772022aba1e12d6e49f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1170163,"id":"Q1170163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$B36BCAA2-035A-4BFE-A6C3-AB0BF839517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2080770c1c1f6f08cf3bbc3f7b0f6f6feeb1cf3","datavalue":{"value":{"entity-type":"item","numeric-id":5519576,"id":"Q5519576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$C32AFC2F-F2CF-43C6-BEBB-D0F0F36358BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcc64509a3b4ae8497ef3a4b4c9f3c08241c8d4","datavalue":{"value":{"entity-type":"item","numeric-id":687090,"id":"Q687090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$DC555996-DEEE-411A-B634-9A6703BDB703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0451e51fa11fb0223402e0e73ab38aded732b2","datavalue":{"value":{"entity-type":"item","numeric-id":3519525,"id":"Q3519525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$72FD8479-0F4A-4962-8712-E60813C9B7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b878e24e423970b34cf5ee2eef73c117f7e2ff","datavalue":{"value":{"entity-type":"item","numeric-id":4885882,"id":"Q4885882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181733$7503B13F-E947-45FD-A4E8-F2436E7AA4A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd077257b2bec1ed6917fb25b63bd378f519dbe2","datavalue":{"value":{"entity-type":"item","numeric-id":385501,"id":"Q385501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8933d7d893beaff016e40f50577f4e76b44b36","datavalue":{"value":{"amount":"+0.7866368293762207","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":"Q6181733$1D759ECC-F996-4A33-99D2-8D0F0799450A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c9538a766d3f8d7197d9d2967f1e32be8f640f","datavalue":{"value":{"entity-type":"item","numeric-id":3630216,"id":"Q3630216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12551219fb816407feb1749543204b3d97f5a2b","datavalue":{"value":{"amount":"+0.7630305290222168","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":"Q6181733$178B72BF-9CCD-42A3-BD5C-441AAF37FA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054e0e25858f3df17b696fee8a2518a4493e8ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5389286,"id":"Q5389286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0f0d0dd742f191e495e7506d95a92065c3b6a1","datavalue":{"value":{"amount":"+0.7586054801940918","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":"Q6181733$4FDAC4B7-31D3-4A2F-A441-47D9EB98FF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c79ba4aa8f28f6c8db90b90098484eb4a3dc031","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5e29d83eee605da369d475ec6487fc53e23783","datavalue":{"value":{"amount":"+0.7392343878746033","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":"Q6181733$9429A961-3CD2-46AE-9597-032E896CF216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caae3556b150fe5b2a18f58f4f7511989389738b","datavalue":{"value":{"entity-type":"item","numeric-id":2449071,"id":"Q2449071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e30c3b9594a4175a5c615d6c4785322c7a41977","datavalue":{"value":{"amount":"+0.732603907585144","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":"Q6181733$A289E377-BA0B-4738-A322-2F54E0481CB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact Synthesis of ESOP Forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_Synthesis_of_ESOP_Forms"}}}}}