{"entities":{"Q2576880":{"pageid":2587623,"ns":120,"title":"Item:Q2576880","lastrevid":48620440,"modified":"2026-01-05T10:08:57Z","type":"item","id":"Q2576880","labels":{"en":{"language":"en","value":"On converting CNF to DNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2242167"}},"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":"Q2576880$892C67F6-BCE2-4BFE-8B66-13D5DEAEEB90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f61294c9fc960c88fa559577a39e7aeb6a69ea23","datavalue":{"value":{"text":"On converting CNF to DNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576880$CA202C84-E2A3-4BF5-BCC4-FDA5A5E048A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bce35e453bedc6599cf11fae31dd29717c508959","datavalue":{"value":"1080.94018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576880$D60D6E47-563D-4E9A-8930-5D991EEA1E83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56a12f3874dc0f7e318148f662e38c84221f0f6","datavalue":{"value":{"entity-type":"item","numeric-id":673646,"id":"Q673646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$7D2363CC-7A76-4E83-929A-BBE1710FA29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b3e57da97cbc00a7ce7385e258f05ae9a6ec6b","datavalue":{"value":{"entity-type":"item","numeric-id":171935,"id":"Q171935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$FD374EFB-6734-467E-BE04-5F7B3DFF60D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73b1fa9f562dba3ddae0e007349b0c1c69c02d78","datavalue":{"value":{"entity-type":"item","numeric-id":6481475,"id":"Q6481475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$BC0E1FB2-45B4-4511-8B2E-6AFBB91190E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$EAF2B809-CF1B-4DD2-A987-205DC9505342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cf687ba42bee292af8a405799b19faf7dc96007","datavalue":{"value":{"time":"+2005-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576880$03AA6CEB-CCAD-41F9-8DF1-96F9F433B251","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576880$CF10EC39-63EC-478D-BC4F-3A33EA8B1634","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4e72468cf7f9d3d38792ab84f5e02570b788c39","datavalue":{"value":"2242167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576880$7E9EC8E3-0E9D-41E4-A356-9EE087BE9F65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b187c4653e8d6f7975e2618be03cf7aed5aac51","datavalue":{"value":"circuit size","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576880$0E199C16-3092-4122-8EA9-BFAF789395C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576880$A4004A34-496D-49BD-960F-F2F576BE19EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576880$8C3FD9D1-97A8-4825-875D-2FCB56CD58DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba2a021eb872cd579a0706252e56ad70d364619","datavalue":{"value":"switching lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576880$4BE806D2-381B-4401-9AA1-394FD761CD75","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":"Q2576880$13715944-C885-45F5-9F5A-35ED7DD1A762","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f90c63199591e0c7bbd5f8dbdc4d6575cdb04b97","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.07.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576880$49D26DF7-9018-41A3-BC41-AD9253B36C57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05efa290cf7462bffebbd630945d3d0a9b6abbe5","datavalue":{"value":"W2064149002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576880$B98481B1-F1E5-4741-BF20-90171D379821","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a6fbdd6fb2a67c2e3b8c3b4d55c03e0527471b","datavalue":{"value":{"entity-type":"item","numeric-id":2583538,"id":"Q2583538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$F302A3D4-AD94-4083-BDCC-B3005C2B29D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6c338f74f8724c3697d5b86b62f3375f4fb35b","datavalue":{"value":{"entity-type":"item","numeric-id":1253482,"id":"Q1253482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$255AFA2C-F413-4E6D-B0BA-8335FDD078FA","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":"Q2576880$D5E6DBD1-59F1-49FB-B1AE-27B6F19BC55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9298c68da8cdd3d710d0ff5b44247f7d853d38ef","datavalue":{"value":{"entity-type":"item","numeric-id":2754147,"id":"Q2754147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$81C21BDD-AD8D-41EB-BB6D-F8352DDA2F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22650ed9a2bdccbeac1af709507ab01a6c562f55","datavalue":{"value":{"entity-type":"item","numeric-id":5714775,"id":"Q5714775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$D8052A73-27BE-4A4D-A942-F5E88321D657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc117c887d682c44a18cb82bd37083ff8a25e26","datavalue":{"value":{"entity-type":"item","numeric-id":4736839,"id":"Q4736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$39BE305E-8732-4D0D-A43C-DDDBAF85264A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d8501e7c63ee00fd72bde980122a1e535abebc","datavalue":{"value":{"entity-type":"item","numeric-id":3046516,"id":"Q3046516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$11ED6C55-86BF-4230-855D-F690FB0E60B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d0713797558d97097c175b0179e1608fea1dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5431349,"id":"Q5431349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$28052D8E-F37B-44B0-9416-9BDF03068BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$71A5DAF9-52EC-424A-8715-05CE5D305100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$64F87008-E90C-44A0-B4C8-214B9AF725A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91275bf9130acb7463119521f9d749a9a820d09","datavalue":{"value":{"entity-type":"item","numeric-id":5599129,"id":"Q5599129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$8C55F398-6BEB-4B9B-A8E1-CBA09D10481A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e91014367104cf566b8b67a728f68b171a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$9E33453F-FF0F-433B-BEFB-7E94C9EEC5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2077fad0f8784e4f01900be189b1e93f8a2ad005","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$2A6A00CA-BB85-439B-8C55-F12F51372F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65cf2e7d3863e9fcf09efd96001c19da915a7fbe","datavalue":{"value":{"entity-type":"item","numeric-id":1823964,"id":"Q1823964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$5539661D-377F-4682-A49D-EBC17608EA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$970264F6-E72E-471A-A087-94B901AD8665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576880$59E88D83-4005-4616-806D-B406AD6C0B30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9eda2dc6d899a9985dc37dbfa268290f6f96d8ef","datavalue":{"value":"10.1016/J.TCS.2005.07.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576880$44DC83E5-3698-4305-8389-15A7A18E4377","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae8d14d4ce12495a125fc7b8318f9ed4fca8f0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5431349,"id":"Q5431349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e1884f1147956b83b8e108abc88d7e738d24e5","datavalue":{"value":{"amount":"+0.9983832240104676","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":"Q2576880$73A229B3-7C41-4AC9-A523-E067FB6FFDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d8ffffedff4ecf4d120d8108301fafbbaf37f8","datavalue":{"value":{"entity-type":"item","numeric-id":412324,"id":"Q412324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94dab1a4ffd4763cdd9f7db7a9d7575e680c337a","datavalue":{"value":{"amount":"+0.7843672633171082","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":"Q2576880$704D27FD-E016-46B2-BF30-6294CD5161A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463ab8d9999e915ee1ab24ed6ac67df301430cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3323915,"id":"Q3323915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e948890799b02c7dca72ca61dcbd5ded94808d","datavalue":{"value":{"amount":"+0.7520187497138977","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":"Q2576880$ED2E1A40-DFCA-4A9C-835D-E7326B4F4E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9f910c2ba51b2ff070ba9944a4c3652961f4cc","datavalue":{"value":{"entity-type":"item","numeric-id":2307626,"id":"Q2307626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80f761ff404131ea5d2e53a366504b77a16ca79","datavalue":{"value":{"amount":"+0.7486969828605652","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":"Q2576880$27CFF659-5F0A-40F8-B8A9-5B0ECBBF4524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac51510928b11186cb13114126eec08bea568444","datavalue":{"value":{"entity-type":"item","numeric-id":4896432,"id":"Q4896432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4063f3f673515f66f89826f92a34ea25298e351","datavalue":{"value":{"amount":"+0.7457036972045898","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":"Q2576880$2DD5BA79-4E60-474B-B711-6A6AB24FFC0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576880"}}}}}