{"entities":{"Q812394":{"pageid":814242,"ns":120,"title":"Item:Q812394","lastrevid":64527282,"modified":"2026-04-11T20:29:47Z","type":"item","id":"Q812394","labels":{"en":{"language":"en","value":"Unrestricted vs restricted cut in a tableau method for Boolean circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000693"}},"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":"Q812394$5C6C4E77-213A-4C2B-BB5B-D7C53A7AEAAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9904c244c0a48daf351600bc4abc19b85862ee0b","datavalue":{"value":{"text":"Unrestricted vs restricted cut in a tableau method for Boolean circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812394$198AB682-1EDA-4075-8C12-E86008ED83B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19a03f637e4a1857a0322d146238d41c1bd9687a","datavalue":{"value":"1086.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812394$171EE231-5B51-4D3C-B46D-967499ECE94A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$29C21AC5-AEE1-496A-BA31-2DEFB5AA9942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$01482F0A-B98D-45B9-B222-934A30073C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$55BF47D9-5520-412B-809A-C1BCA5D0DF1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$8A6258EE-D2BD-4E50-9F6E-51B81F63CB8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6610cb28786ccc6a9ecdb40c1345499030b519d5","datavalue":{"value":{"time":"+2006-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":"Q812394$7DAB8AFC-FEAB-4660-8B99-E4C44581A005","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812394$DF9ECDF1-01D9-4B99-82DE-60920B6260B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812394$6681F256-6637-4773-958C-888115427373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812394$20DE7A6F-0966-46E5-AAF0-B92242D5FADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812394$FF5C5550-765A-42DC-9798-E33DE4935A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812394$D6988C7A-3F4B-419C-BF91-7FD5C8659C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812394$049D2E95-A9CE-41A8-B3CB-99F131C6D097","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a535609592058acb92394c59a914a506e6f7399","datavalue":{"value":"5000693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812394$5FD39BE7-203E-46A7-819D-6F5BF2EEF01D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q812394$44238B19-8724-4595-83E1-03409B502E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d463b247e815798d799459507ebd3bcfc87bfad","datavalue":{"value":"Boolean circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q812394$B5441A83-790C-4F63-B52B-3D6B3DD52281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q812394$702BFFFD-FEAF-43C7-AD00-9E61F07B8FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q812394$4B0477BB-16AF-40EB-BFED-F4B71F75A1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q812394$8942E2C8-8948-4F66-B064-206123C34D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q812394$DCC8CC9B-D442-4E37-9A27-959FB9C78009","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$E77990F6-D90A-441F-895B-686F672CBC11","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":"Q812394$7DC6E33B-F6C1-4129-BC65-FF1732379C83","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":"Q812394$91381F56-DD01-4454-B6D2-2F73A75246DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59ab8608bab83246d41be4ca0086d9d2a9f377cb","datavalue":{"value":"https://doi.org/10.1007/s10472-005-7034-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q812394$DC31DA10-9161-40F3-A3D1-87ACF9118FEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66bbd0321c0e151970c6265e0253c8ce802978b5","datavalue":{"value":"W2061876041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812394$1E974542-73C5-4375-9198-66E738B4B6C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab04f4868b4dbd099b852dcf8087a1d8d0be3253","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$2F973626-4418-42E0-A546-1CDEDAA21F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0086f5e874fe7e4f38ea6905507c6d71ae7ad220","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$924ADE14-EF16-47A5-9C43-A01ECFA669CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3199ee993e7659b1e87a4f739fb4a0238b116c7f","datavalue":{"value":{"entity-type":"item","numeric-id":4553262,"id":"Q4553262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$AEC34AA0-B5C9-42F1-8264-779220C367D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$2C5D433E-4446-4128-8718-7641C0B3876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$97F65AA2-B7CE-4A5C-8F9A-7E28B77608F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$E550997F-42F0-42CA-BB05-1BD63BA05142","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":"Q812394$05346CC6-4871-4705-8BF3-3316E44F866E","rank":"normal"},{"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":"Q812394$08CE9829-DAA6-4F06-AC5A-5AA4C857BFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2b36c665a4dfc65296de810cf3257b2322b362","datavalue":{"value":{"entity-type":"item","numeric-id":4518913,"id":"Q4518913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$81E9577A-EA85-46DE-B765-92D4F1B18BA0","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":"Q812394$D504B8CE-7FF9-4327-B2AC-681103CFEFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$03A973EE-76B4-42FF-BA15-BBCC8EB20387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac7f1baaa55096d83c73bf345e8308c96e8d9b7","datavalue":{"value":{"entity-type":"item","numeric-id":4255576,"id":"Q4255576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$1D1AA17F-4869-4D02-916C-F658C196853E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0d4c2d95b428d7f5e0cd7b276542ece2442854","datavalue":{"value":{"entity-type":"item","numeric-id":3838815,"id":"Q3838815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$CF147212-A343-4094-A33F-B80A082EA429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$8C9E8E66-9F32-4056-907F-DF6C34F3321F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$16F4E4FC-5970-46B0-90F0-A1BBF5EF3684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b3ec2ebad61e0cf6b1df8ac8c200c146db0252","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$DAD8B5F8-061C-4A6D-AA60-320890A95C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8839ecd0a85183cdec5024539b7b519e8def7022","datavalue":{"value":{"entity-type":"item","numeric-id":5900325,"id":"Q5900325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$7456B150-D821-431E-B46E-A71FCB5C5B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7a93d9fd055f21d4bf9911f205499faf8d773","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812394$850300CA-76D4-44CA-A496-62098AED34EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e351aadec98a00ef9cf113473bf6cfda59229dc","datavalue":{"value":"10.1007/S10472-005-7034-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812394$2F1CEC0F-2D19-4766-B428-5429052BA839","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846afb139aed527fc01206a57444f5a65f155eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2767086,"id":"Q2767086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5e1c2048d49bb95d8178d01bd29c263dace930","datavalue":{"value":{"amount":"+0.7854781746864319","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":"Q812394$582D33ED-8738-4EDB-8F66-126B9A671B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750d093e8fb33f817a0b544ea58b5a93ef7660d8","datavalue":{"value":{"entity-type":"item","numeric-id":4524785,"id":"Q4524785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5acd31f0751f39d55996dea540749f27dfef6310","datavalue":{"value":{"amount":"+0.7573597431182861","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":"Q812394$BC8BC985-2B65-4CE1-A2FC-D2902C12F165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb55ad1cd98a30a2f48dd36ef20984803a6a1500","datavalue":{"value":{"entity-type":"item","numeric-id":3838815,"id":"Q3838815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5acd31f0751f39d55996dea540749f27dfef6310","datavalue":{"value":{"amount":"+0.7573597431182861","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":"Q812394$BCE2C241-7E70-437C-A81F-891C9F229C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a803d379bbf3135ca6388d0053cc626dfbca1e","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"282d8fe4c9ce5ff38af1807988f69d6efd171190","datavalue":{"value":{"amount":"+0.7542099952697754","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":"Q812394$A77048AF-EF5A-41EC-BBAE-589368D37CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08680def47457321ceda7f1220ccfebb6a1a62f5","datavalue":{"value":{"entity-type":"item","numeric-id":3410672,"id":"Q3410672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"350bb822417a55eb244cccecd4bc320dfd9094b4","datavalue":{"value":{"amount":"+0.7484773397445679","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":"Q812394$FFC5C50C-0656-42E6-BEC2-DC93CE0EE62A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unrestricted vs restricted cut in a tableau method for Boolean circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unrestricted_vs_restricted_cut_in_a_tableau_method_for_Boolean_circuits"}}}}}