{"entities":{"Q352967":{"pageid":354734,"ns":120,"title":"Item:Q352967","lastrevid":61229208,"modified":"2026-04-10T22:00:13Z","type":"item","id":"Q352967","labels":{"en":{"language":"en","value":"Simulating circuit-level simplifications on CNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6184687"}},"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":"Q352967$583F44B3-E087-41C3-9219-F64E644E6264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69a4a49d90c3eb967b749f49f208c00f95c59e34","datavalue":{"value":{"text":"Simulating circuit-level simplifications on CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q352967$1B304EAB-D10E-4AE3-99E5-6C8471042AAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5269aba2048f88a15c41ed529791731a40c4200","datavalue":{"value":"1267.94144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352967$BCBD6DE3-4901-4E7A-99C2-CCC442A9BCEB","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":"Q352967$A236A07B-7967-4132-99F4-341CEECFB17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$B25DE6C6-E1A9-4608-9C05-F4E5A05503AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$ED6E0347-55DD-4139-A9E0-3EFA563A08F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$5ABBB052-CF7C-4C48-99BC-775C3E853787","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e553745941756c98d8238154d74f9ad7174c4d8e","datavalue":{"value":{"time":"+2013-07-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":"Q352967$936E3733-78AE-4B0F-91EB-3B6F7582D6E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352967$7EA3283E-22F8-415A-842A-7E8F719908A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352967$7E52160E-29F2-408E-8554-2C65521D9598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352967$73E6E47B-0093-405B-96CD-96EC319D3AAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0407280c0d4b2f307830030287843ab14fc34207","datavalue":{"value":"6184687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352967$9BB94907-4B1A-4548-B462-698A6951CD6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q352967$677F106A-51AF-4D4B-BC71-2513B378D383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36957d7e632ee938df3990fd3662ec253f74cca5","datavalue":{"value":"preprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q352967$0F19A6A5-1456-43A0-81E4-94694A1E3E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17c33959b102d36865242ebd68912f0393ebca3f","datavalue":{"value":"problem structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q352967$EB4A6079-B7E0-4ED6-9926-D8BFBF12DF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935c5dc8c1bf21d827fe6a511cb64dba53a875fc","datavalue":{"value":"blocked clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q352967$AA364490-32C7-4767-9913-A823176912DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50eedba58bd14a3b7ea76b9e1071f65a108a0fee","datavalue":{"value":"variable elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q352967$0669F86F-BB53-466A-8867-56BE9FF46376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d463b247e815798d799459507ebd3bcfc87bfad","datavalue":{"value":"Boolean circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q352967$55D3F8AF-5735-4D94-8E50-7BE6A4133742","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff2d5d5cda41d7572712528175edb4defca67610","datavalue":{"value":{"entity-type":"item","numeric-id":15153,"id":"Q15153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$FE74EB16-56BE-43E2-9324-4AD1B964161F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$4AC2394A-0E06-4424-AEEA-278CF5100FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ffb7d804988b3c86a5855f78d1e0f2e36c4cad8","datavalue":{"value":{"entity-type":"item","numeric-id":12843,"id":"Q12843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$51F0624E-21CA-40F8-8F02-C3EA03037F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc87be0dd022e5665e0c2cfd60b320be87befea5","datavalue":{"value":{"entity-type":"item","numeric-id":19021,"id":"Q19021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$C3539086-E0C2-4CEC-B76D-9BFDB3C03039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$625B1E92-EDC3-4A4B-8E4B-2233ABF8C7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$7AFAADF1-6ABC-4103-B2D9-C77A65F51F84","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":"Q352967$75FF282B-65C5-4DCE-8719-B786F9741476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$557A3156-1A1E-4248-80C2-E472F4E3CC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$186FD0A0-1614-47AD-A2DA-CEC46F95214A","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":"Q352967$A47D4017-AFA3-479D-8133-5D9A2598CCC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b61d7dcb166c5911a1db97aab6d91c540cc3226f","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9239-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q352967$F1BA0DDF-DA9B-4E3B-BE89-DF2AFFE042E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"768b9c726444d0df9fee311b00fc183cc2d74463","datavalue":{"value":"W2038777323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352967$9C026DBF-2E8A-4D7F-B683-25F4F67C58FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff821e90bf8a02f902e29da084cc3e25138a763","datavalue":{"value":{"entity-type":"item","numeric-id":5325873,"id":"Q5325873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$D04353FE-D4D3-4C9D-A508-EAC809F568EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e59694ba693ed2b8af4b0c9c848f2b45a00bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$03100DC4-5757-47F9-BD88-C96D6311BEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$CAFB4E8A-5E87-4451-84CB-635C9B6D1EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926ec579a6e1751bee4f751c2a20e927df8e0825","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$85CCF399-504D-4FC3-BA01-0F8E3B6B9B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cdec34fa64c4fe94079af9a70deb0327c75541","datavalue":{"value":{"entity-type":"item","numeric-id":1201346,"id":"Q1201346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$45D3463B-91D2-4F61-92F8-35310BD1EB94","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":"Q352967$2791A636-1ED7-4F99-A6D5-43671EDA5FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5432c6fbee4a536334762ead11c4cc9f980e4262","datavalue":{"value":{"entity-type":"item","numeric-id":5724242,"id":"Q5724242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$46053E3C-98AB-41E7-A656-184C3B033BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7764e21e20149e00a8182a7e7474f151693ea76d","datavalue":{"value":{"entity-type":"item","numeric-id":4119174,"id":"Q4119174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$43018452-4D76-4AA3-80E3-CC7B634A0613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$82FFDAEA-359D-4ECB-853F-FE8864DEBBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97214e6ee417b23719b1926d0dadcd8c017b900","datavalue":{"value":{"entity-type":"item","numeric-id":3612472,"id":"Q3612472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$F3F2FD66-EC35-40FB-9BC9-39C0DB1DA194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$A4AC274C-3D60-4AA6-86A3-8D56EAF10B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71ce7d346ba59e1ba5371b079177abbcf6c0335","datavalue":{"value":{"entity-type":"item","numeric-id":5713736,"id":"Q5713736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$CD5B55A8-EFF7-4317-BDDD-2924353A0EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07045f3db5828ee31d3cba68c98c1a0ea54b7c3","datavalue":{"value":{"entity-type":"item","numeric-id":5714747,"id":"Q5714747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$B2B7BA9C-CD09-4346-B2A5-D83A74760362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff9251a1b15b9fdcdc46878fd7f45ac3b5ea667","datavalue":{"value":{"entity-type":"item","numeric-id":3588365,"id":"Q3588365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$01B727AA-F89F-488C-A6AC-0E5025D238A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b1a22f52f52e18f4057ae73bdedbfbd4bab844","datavalue":{"value":{"entity-type":"item","numeric-id":622116,"id":"Q622116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$0F2F864E-2D77-437B-9B08-646DF7F7206B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93bd083f882fa5d53bc98b7c35683c4bb957fd05","datavalue":{"value":{"entity-type":"item","numeric-id":5714750,"id":"Q5714750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$38272C8D-1FA2-49A8-8A3C-86DB19EF0A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1147d4bc45f53a56826c0a7045fc556b3dedadea","datavalue":{"value":{"entity-type":"item","numeric-id":4930602,"id":"Q4930602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$EAF2D5F1-2E80-4865-9AF0-84B33D099FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$2D5781A5-B87E-4B0A-9E40-4E4683A65D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df61c4df8f812c83e621e524aa24458422ccaf1","datavalue":{"value":{"entity-type":"item","numeric-id":2741510,"id":"Q2741510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$26AE90E8-DFE2-42D3-9280-201FDA7487F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$5E134BDE-F205-42F2-8266-77EC93914CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d3508621c44cb1e31d1449d9069f4f0e7ae434","datavalue":{"value":{"entity-type":"item","numeric-id":1961452,"id":"Q1961452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$72B88076-79FE-4A69-8DDC-ECABFC259ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd524f1e61633bfe329e378d309ab98916cb9c83","datavalue":{"value":{"entity-type":"item","numeric-id":2741514,"id":"Q2741514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$E2002D8C-7490-4288-A3F6-B47CD55CFCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81aad4b3f9b115978b566de5b2cc4bf76fdd6e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3612461,"id":"Q3612461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$8856FCEA-5C6E-4E3C-A2E5-A743D560F391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc5e460b43096ef98aa42ee0420b95d24538781","datavalue":{"value":{"entity-type":"item","numeric-id":4475702,"id":"Q4475702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$198C4CD7-51EC-469C-A771-87119F7BF3C6","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":"Q352967$B53967DC-8C57-40F1-9D00-FCCFDC415818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a0de63ef37c927b318d77f47f00a69c6cf8d4","datavalue":{"value":{"entity-type":"item","numeric-id":3335000,"id":"Q3335000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$A57B8B0B-39D4-4346-8B6C-6EB84B31FDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822937a9d01cc9dda5e4376303179bea61b01a37","datavalue":{"value":{"entity-type":"item","numeric-id":5714759,"id":"Q5714759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$464D79F1-D57A-4670-8E91-6CADDF478426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00dd0320d9bdceb5dec8ac5adab43168acb12d4e","datavalue":{"value":{"entity-type":"item","numeric-id":5714764,"id":"Q5714764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$ED43BCCD-ACE4-4842-B4DA-A9D5C4954D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d9ba67f57cf9c2897ad8e5e8d8cd96aec256175","datavalue":{"value":{"entity-type":"item","numeric-id":1777406,"id":"Q1777406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352967$5508D4AB-332F-44D3-ADE1-3EE425C7BA5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f37e7da633e0a30ee00220f857fb632362a6ec88","datavalue":{"value":"10.1007/S10817-011-9239-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352967$D7FF27BA-F319-4003-BDD6-9A3BCBC401D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889c411f3b68395fd1dbfef8e4d7d90fbd5ca1fd","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f56e2ad1c5c0925fd674720335a96ca5d64f8f3","datavalue":{"value":{"amount":"+0.906356930732727","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":"Q352967$C93314C6-434F-41D3-A35E-11813829F0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e7d4f963e6140eee104f8bc9927781326d99f0","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4851071ca8877eed453347a8e974d59d9c67008a","datavalue":{"value":{"amount":"+0.7988252639770508","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":"Q352967$98140E67-2DEB-4C3D-989B-12A55F1EE448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e172c783b3c5385b6fae5a70a5a39ed89bd96a","datavalue":{"value":{"entity-type":"item","numeric-id":3612453,"id":"Q3612453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387bc857b85c7ee75b6706148073c47cd69d01f6","datavalue":{"value":{"amount":"+0.7901303172111511","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":"Q352967$845C0773-C7FA-47DA-A937-F93296333AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4269f24f54f163866a6d0eb10fc176bfd58f3a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b4f4533b32188e108a469972430ae5f6a0595a","datavalue":{"value":{"amount":"+0.7838549613952637","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":"Q352967$A4E76A1C-2E7F-42FC-B810-0539CA87B80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7b3faa9abd503adab345f00e95ef47b1edf47c","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b26e8b8d8970cf85743a7d5763509ee1beec34","datavalue":{"value":{"amount":"+0.7800111174583435","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":"Q352967$00F712E9-6506-45A9-BDF4-98C63EF570E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulating circuit-level simplifications on CNF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulating_circuit-level_simplifications_on_CNF"}}}}}