{"entities":{"Q3007687":{"pageid":3018411,"ns":120,"title":"Item:Q3007687","lastrevid":80157464,"modified":"2026-05-06T15:34:03Z","type":"item","id":"Q3007687","labels":{"en":{"language":"en","value":"Transformations into normal forms for quantified circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908750"}},"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":"Q3007687$87D9D57A-7C54-4FED-A906-FC3165CD71ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"479269b3944d3431de633ba299a835126429ccce","datavalue":{"value":{"text":"Transformations into Normal Forms for Quantified Circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007687$526AA008-982D-4D90-8C7A-7D688B30BCA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51ab430d94404f730c23abe071165309835c4fa4","datavalue":{"value":"1330.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007687$421B7B94-0AF5-4DD9-80C4-7E567FE118B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60c47f6918e447768469bbb0af9a4c0480509f3c","datavalue":{"value":"10.1007/978-3-642-21581-0_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007687$DFD76D36-729E-4919-A93E-7EE715D2692C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$194E95BB-3921-462B-9DCA-D8D870CE3646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$3FCB9804-AB6F-4D7F-B0CE-D2ED929C998A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"480d1f14486f5f2b4e32e9c563a24baae88b3634","datavalue":{"value":{"entity-type":"item","numeric-id":944708,"id":"Q944708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$BB1C5091-76AD-495D-91D1-964316124ACA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$6594F12F-6BB1-4DB7-BFDF-7C45E6CA3E08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-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":"Q3007687$5E7D003F-3706-4721-B9CF-64F422F78942","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007687$1B7BF761-3910-42A7-BC0F-F2B3D49C09AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007687$588B0C55-082B-4F12-A97D-2EC9AB1E159E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007687$5516E350-802C-4DBD-9BBE-9B5F8A81BB6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90e7839d35fe1f3b8707d1ed4cb51988951e1643","datavalue":{"value":"5908750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007687$52C077C1-5C87-4DF3-A856-D4C15BFC7517","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c9183463f88b5847f6cb1fa629a2f0b9ed00778","datavalue":{"value":{"entity-type":"item","numeric-id":23326,"id":"Q23326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$C484BCC2-CB47-4D7C-9180-73EED36EEDC4","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":"Q3007687$3869F3D6-5177-487A-B121-A5E93A606A43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10c9361ffac0d07ac1a0471d7770e6a543a2793e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007687$0320D6F2-EF2E-4221-8A7A-A729C8EF7333","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"197f3391ec2ca903c2435fec2d2d960e75773f0a","datavalue":{"value":"W2121507897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007687$B603178D-7E8F-424E-9A87-C647DC4EE57E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84ed5b6529ea2ef39ac55c9872f9de8d7185949","datavalue":{"value":{"entity-type":"item","numeric-id":1160604,"id":"Q1160604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$80267C5A-DFE4-401F-8E7C-B7C3101D05E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb15b44725a5a95ffbc54c661fb1fd2254f36a1e","datavalue":{"value":{"entity-type":"item","numeric-id":4364508,"id":"Q4364508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$344128D4-D267-41C6-B890-2115B63ED72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b1889073b69b0c4ae2ff2f42f4dc8a5b90b51a","datavalue":{"value":{"entity-type":"item","numeric-id":944709,"id":"Q944709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$6B9D8F36-F25A-4C76-9B0E-A70B0A692DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037b802fba046e36ddf986e84c18ed7122a56d32","datavalue":{"value":{"entity-type":"item","numeric-id":2786912,"id":"Q2786912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$F8049D92-38CA-4575-A536-71CD6F8995EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e43bdfc43e8fd320824ab9babab14ead88b3781","datavalue":{"value":{"entity-type":"item","numeric-id":4930579,"id":"Q4930579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$AA5B4C2E-5A40-4476-9AB3-95C844C6953E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898af68b03762e5167ac8c8573f4a5acf41514c7","datavalue":{"value":{"entity-type":"item","numeric-id":4489064,"id":"Q4489064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$A2425FD6-1F9C-499D-9A29-F60026028CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0870e13c4a5dd2b1ec6ccf0eb8fddafbaa000d2","datavalue":{"value":{"entity-type":"item","numeric-id":5713732,"id":"Q5713732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$8A0A93EA-4564-44C4-8C24-A0FFB33958EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f297a16e97138f531f7e0337f2f2f3b501998d","datavalue":{"value":{"entity-type":"item","numeric-id":5325863,"id":"Q5325863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$796B22B5-D860-4314-B4D8-47DDC2FD1D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedc1a1dc66375148bfb7c52438affa8128f4c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4930601,"id":"Q4930601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$7139727D-2A9C-4012-9422-AC64F84FBB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$772F8A5C-78BB-4175-B73B-EA10BD90A965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72495679ab5a4102c0a1e1c6d43818dd0e9dbf59","datavalue":{"value":{"entity-type":"item","numeric-id":2754079,"id":"Q2754079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007687$D9461267-5382-48D4-A157-665EECA6AA38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98082a1bde3f89baa351d19730957f553c8c6601","datavalue":{"value":{"entity-type":"item","numeric-id":3637174,"id":"Q3637174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b38d028e5d16fc21699a0d5d6a7d074de40a65","datavalue":{"value":{"amount":"+0.7891889214515686","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":"Q3007687$02E11498-79CD-437E-AEF3-E32D2DB411BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54ac02912c049c7641385a199421975f6b1085b","datavalue":{"value":{"entity-type":"item","numeric-id":2786912,"id":"Q2786912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37cd9e51501c049eaac00b25758d34a1e93b3e2","datavalue":{"value":{"amount":"+0.7811369299888611","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":"Q3007687$12BCB5FE-875E-4955-8ED8-28DA01F1DDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab30d1bbbf226610c8e8fb5b2c8eec941e4c676","datavalue":{"value":{"entity-type":"item","numeric-id":3566747,"id":"Q3566747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c289a7c91e21d9023cab546df953c2ac6de7cb1","datavalue":{"value":{"amount":"+0.7756495475769043","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":"Q3007687$FA5FA338-460B-41C1-89E7-81257CCC82B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ce3f6046ac9845c8a56a53233b9afc4a7214a5","datavalue":{"value":{"entity-type":"item","numeric-id":982657,"id":"Q982657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b90fdd0011dbe1d1793aef8fca1d35178e0864","datavalue":{"value":{"amount":"+0.7430453300476074","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":"Q3007687$2EDCCA5F-88FB-437C-8593-A4FE3A0EFC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bfc6b36d5c922d32d23af7118cef854dba8973","datavalue":{"value":{"entity-type":"item","numeric-id":5712370,"id":"Q5712370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e12b7e1f5f28ba10fc5304cce71db0262f2c07","datavalue":{"value":{"amount":"+0.735992431640625","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":"Q3007687$E8CDD1C4-B356-47FF-B884-BAF71DD49A89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transformations into normal forms for quantified circuits","badges":[]}}}}}