{"entities":{"Q1743029":{"pageid":1753771,"ns":120,"title":"Item:Q1743029","lastrevid":71225775,"modified":"2026-04-13T20:43:02Z","type":"item","id":"Q1743029","labels":{"en":{"language":"en","value":"Experimental comparison of decomposition methods for systems of Boolean function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6859170"}},"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":"Q1743029$644FB8A8-CFE3-4066-BB9F-ECC7C12B427E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2198ee05f82f63a55c244e82e50af39f210be15","datavalue":{"value":{"text":"Experimental comparison of decomposition methods for systems of Boolean function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1743029$703B7569-0138-471B-9055-9868B2A6E92E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc9904f734783ebf350099603a0f63316d0c85ca","datavalue":{"value":"1431.94216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743029$9AB87C31-6580-4162-9E72-87EF50CBF70C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbf003638baf18b73aafe80d5c8082798f09fb7a","datavalue":{"value":"10.1134/S1064230716010044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743029$CF98EC89-3F82-4394-8F6B-EAB5881C5E6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4482076d0d8bab95b3cfbc9f6e146be84267778","datavalue":{"value":{"entity-type":"item","numeric-id":1743028,"id":"Q1743028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$EF248BCF-EAED-4D1C-AF0E-533C75879CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0841dacce281191cce4039f2035ab39d85a4db61","datavalue":{"value":{"entity-type":"item","numeric-id":353736,"id":"Q353736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$E3B7E96F-5F24-405A-8211-90509487746E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf25ce818b85bb8b10c5d233e02ea9e0a830581b","datavalue":{"value":{"entity-type":"item","numeric-id":295575,"id":"Q295575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$F10DD030-81B8-4E8F-AD43-B4B30F15CA7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34667658b2053643f4cfa7606566623ee095ba","datavalue":{"value":{"time":"+2018-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1743029$7A94DB57-3C34-4B25-A7E1-58AFCA38043A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bf534479b9242e973ca011ffc03f5c515318eab","datavalue":{"value":"94D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743029$F2B1377A-2000-44B7-A9BE-59F2619654EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743029$DF236564-A9AB-47B7-A899-00CFC2BA3981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743029$E52C8F51-DDF8-4ADE-A3FB-FAAEF4AC2207","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e7ca2aad8877c92fd5817617ec398fae81d1729","datavalue":{"value":"6859170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743029$A552B4EC-D195-4606-8424-58F0107B54E7","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":"Q1743029$9A5522BD-6F55-4D31-B29C-0A86801900CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be2e531c127c509985ea07128979c728d12595a","datavalue":{"value":{"entity-type":"item","numeric-id":5827952,"id":"Q5827952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$AD2861F8-86E4-405F-A2A3-7E0BE9690654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0603ae39996d05a128e595fd97b24b4e1671eec","datavalue":{"value":{"entity-type":"item","numeric-id":3338106,"id":"Q3338106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$82D92980-8885-4B89-9DBD-BF6548143C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2764217eeefdc62c8abb0cbad5fc17063c61dd9d","datavalue":{"value":{"entity-type":"item","numeric-id":1605409,"id":"Q1605409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$DE1AA397-DAA1-4F26-8D91-92C1E7F928B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79e0895cef6511a66f2f69942b4b62dbc4d4823","datavalue":{"value":{"entity-type":"item","numeric-id":2957449,"id":"Q2957449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$E6284AF0-B4DE-424F-8BD1-B0E01F0B24A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a453b6fe9e2d30751015ba30ac31170b46db4ab3","datavalue":{"value":{"entity-type":"item","numeric-id":353738,"id":"Q353738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$C71D3633-5883-4A8B-8D36-9F7698522C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25dff083f72c149b1ea73eaa55f3adec40d056ed","datavalue":{"value":{"entity-type":"item","numeric-id":5600472,"id":"Q5600472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$D609C794-3A31-4DF0-9B9F-43F2D2CBABF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024c068d9c6cff22300bb5d2e07e098328e546cc","datavalue":{"value":{"entity-type":"item","numeric-id":3908967,"id":"Q3908967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$5155DCEA-F8B2-481A-8304-38339917CA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73745352852f0b30d3d910b005ba2f5dc135fefa","datavalue":{"value":{"entity-type":"item","numeric-id":3422388,"id":"Q3422388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$BBFA683B-8837-40C4-A6D1-A1D0D2C309F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b70805b996ac71796cbf64a76b6ecca1430283","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743029$728B73A8-7DDF-44C3-8642-43456016947C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0c065036f5c3ee55e4e36d4cbb99b08afe339f","datavalue":{"value":{"entity-type":"item","numeric-id":880736,"id":"Q880736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4409e552626a856f2b6eb5e36d8017319dbc4fc4","datavalue":{"value":{"amount":"+0.89534426","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":"Q1743029$D6A82E32-B6FF-48B0-AC77-1D36D3F6AA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2340913af7ad008b3d3d5956b0a5618c022547fa","datavalue":{"value":{"entity-type":"item","numeric-id":353738,"id":"Q353738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f58eaf3f35073131b5705ea9aa858f7b98aa6e","datavalue":{"value":{"amount":"+0.8895447","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":"Q1743029$76350922-FE8B-407A-BA71-798A85591038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7998446d032900a1333c60b867e88ac8e50383a","datavalue":{"value":{"entity-type":"item","numeric-id":4298716,"id":"Q4298716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fccc1f36035924d08d75bd8603677e0002dad4d","datavalue":{"value":{"amount":"+0.86490345","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":"Q1743029$A09E735D-EB54-4244-BB92-3E92E16A9809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b6b90966f73086747341044b083334389d98b5","datavalue":{"value":{"entity-type":"item","numeric-id":5151439,"id":"Q5151439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00ee95b576d852255471a17bce2260949b5808f","datavalue":{"value":{"amount":"+0.8646594","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":"Q1743029$DD0B20AF-76C7-4CD3-891C-FF6FA8510B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e9746ecc7b7f66b27c7015ed4ab0077f7da15a","datavalue":{"value":{"entity-type":"item","numeric-id":4709311,"id":"Q4709311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591c149099be787ace27093ef0b2dd383e766373","datavalue":{"value":{"amount":"+0.86445963","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":"Q1743029$F8FC2267-05E9-47E9-BD12-7754ACB6F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1049cd50450ec716a013b0be9a74816072b1f22","datavalue":{"value":{"entity-type":"item","numeric-id":3156163,"id":"Q3156163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87552eb5401a05029f98c2620eca1797128262b7","datavalue":{"value":{"amount":"+0.86304027","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":"Q1743029$5E11B025-A849-43C1-AF6A-C7D8DA8AF081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5869a3d2c746d58a542a6e443bdc90f4852d0a57","datavalue":{"value":{"entity-type":"item","numeric-id":5458074,"id":"Q5458074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e796ae986e4364ac5be3690aa59c7533f87249d","datavalue":{"value":{"amount":"+0.8629698","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":"Q1743029$67EC0DFA-D3B5-412F-B28C-2303A5110DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada87c204ea032602eb6d584f98393fcc960e9b7","datavalue":{"value":{"entity-type":"item","numeric-id":2290478,"id":"Q2290478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9895726583d8865b45de3dab66b1930c5ae45f3","datavalue":{"value":{"amount":"+0.8614189","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":"Q1743029$6500E8D7-825C-4FE6-A2E3-9AEC260A30FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ffde352355334a89ca02a633cd3deadba33f7d","datavalue":{"value":{"entity-type":"item","numeric-id":2895123,"id":"Q2895123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef891c456b2747348f5f5efe8c71c22643e6bf0","datavalue":{"value":{"amount":"+0.86113065","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":"Q1743029$F18C78A8-34C3-4F29-863D-1652900F3D42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Experimental comparison of decomposition methods for systems of Boolean function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Experimental_comparison_of_decomposition_methods_for_systems_of_Boolean_function"}}}}}