{"entities":{"Q1841879":{"pageid":1852621,"ns":120,"title":"Item:Q1841879","lastrevid":70969968,"modified":"2026-04-13T18:35:53Z","type":"item","id":"Q1841879","labels":{"en":{"language":"en","value":"Disjunctive and conjunctive normal forms of pseudo-Boolean functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1565916"}},"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":"Q1841879$105E3084-8CAE-40FE-9396-9803C0B7CF5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99551527e9e6708ad375a3a82e44a8940f4199f8","datavalue":{"value":{"text":"Disjunctive and conjunctive normal forms of pseudo-Boolean functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1841879$4F6E52DE-7BA5-40B5-BDCD-F320C81DDE87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df75a3e2aacd5f9b5799625bcd746062eaa3dbaa","datavalue":{"value":"0965.06015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841879$62BF395E-98EE-4275-8621-30494785001A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"412e91ecbafb19c4ce45efa4afaa35806ee29155","datavalue":{"value":"10.1016/S0166-218X(00)00276-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841879$641C1ADB-95A9-4EFE-A318-FD04DE5E0485","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e0d396f606a665365a09af31e721db21e4865cc","datavalue":{"value":{"entity-type":"item","numeric-id":168841,"id":"Q168841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$136FC230-7F0A-4CC5-92A8-9E5B02A27184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ae8a1f67117b1c40e7224a6ee62353a2cf60cb","datavalue":{"value":{"entity-type":"item","numeric-id":188437,"id":"Q188437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$180714C4-8440-4BA6-9F3C-3407278861AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$617BE1E8-00BB-4E9C-94FB-B5B8DC56EDD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b450668c82a8cd1fc850a44d0109b0a4a4df4467","datavalue":{"value":{"time":"+2001-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1841879$6B536905-6751-4F32-824C-350CD5D8A303","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841879$0143ED16-3920-44E9-8361-E6F2847BD1BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd3257c074068e088500f13e665786296852205f","datavalue":{"value":"1565916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841879$B5DFFD58-EC18-4BA1-8E92-A7F05A35D9A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29b4b59e9d37d0ea68642bf2bdd61b279dd40c7","datavalue":{"value":"pseudo-Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841879$15C0C005-3987-4156-A982-FFC6AF5D0022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841879$51B5B72B-30C0-46F7-9D34-E4E08558EBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bc8c5bbba976a2d4a04cff9c97ee9567968b27","datavalue":{"value":"prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841879$6A9EC8A4-DFB0-437C-A4E2-04C7AD39E5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841879$0902F8FA-2417-411F-867D-AF2472973EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebaf8c68af2f167f6db4495cf5a023c843d6de0","datavalue":{"value":"prime implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841879$F9645BE2-28D9-4FB5-A199-81CE0B3CD104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841879$B1D82600-6B75-4E45-99AE-F8C1F53CF98C","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":"Q1841879$006E5A54-0F1F-4861-B901-9F778C22F917","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"754a4a60c3c7157ef3f839e3afcfc0210f97581a","datavalue":{"value":{"entity-type":"item","numeric-id":705493,"id":"Q705493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$03959FF2-AD7C-4083-A5CD-73668094B83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$1ACFDC71-0B7F-410E-9889-354CBF82370F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d7fc03c5a9dc3252d515e9b41f09993de7162b","datavalue":{"value":{"entity-type":"item","numeric-id":1286397,"id":"Q1286397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$634BCC18-9231-433A-8F95-84E055197BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e096769d95a149f6c82e2f6de7ecb7877246380","datavalue":{"value":{"entity-type":"item","numeric-id":1893164,"id":"Q1893164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$A6E60546-2958-4547-9F62-2290EE63CBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e42bd0945754872fb333811973ad35778d1f635c","datavalue":{"value":{"entity-type":"item","numeric-id":1276959,"id":"Q1276959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$28C8D470-D8EA-41FF-976C-996001C03FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3707449d6bda039d89c40c97b62891da0cd8f81b","datavalue":{"value":{"entity-type":"item","numeric-id":3997889,"id":"Q3997889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$3160DCA6-09AE-4274-B6D4-F127B5AAB5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a339108f845f381ae162edfeda7b58a976de693","datavalue":{"value":{"entity-type":"item","numeric-id":1254944,"id":"Q1254944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$021D80C7-BB7A-4EF2-8591-C4628D5A17F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a862ddc3080b11fe026edc013113a56d95c8667","datavalue":{"value":{"entity-type":"item","numeric-id":4166695,"id":"Q4166695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$16992FF3-E078-4760-9F7A-9C69D6AEAA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd6e37a0c2671d98a4817c9c88a4f922deeddd5","datavalue":{"value":{"entity-type":"item","numeric-id":1969777,"id":"Q1969777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$45426AED-3C59-4532-834A-E85CD3B5BDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28ba1bc13c9d17dcd715226231084334140d3ba","datavalue":{"value":{"entity-type":"item","numeric-id":4520821,"id":"Q4520821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$86ABD9F4-C2E2-4509-857A-F3B72386E363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3c420383d199b32c5ed8f9857500703410a1eb","datavalue":{"value":{"entity-type":"item","numeric-id":1878401,"id":"Q1878401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$236FFECE-19FC-465E-9FCC-6324F856E535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5db4c27510b853de61adcbd249b90e075bb0006","datavalue":{"value":{"entity-type":"item","numeric-id":1850038,"id":"Q1850038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$7C5B532B-672A-4E19-B76C-827B960FA5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee57493d13b88eae5d7796979cc9843aee010b5","datavalue":{"value":{"entity-type":"item","numeric-id":3221886,"id":"Q3221886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$0ACF067B-5021-48CD-A0AE-893A1DF7E737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7daac4f1a833fe4d98a5dff46ceff31ac54a8a00","datavalue":{"value":{"entity-type":"item","numeric-id":5824670,"id":"Q5824670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$FB170C6A-C5B3-43B7-94B2-2BD813E3A0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f44b2f48c7558bc7f3a85caf4b8ce4d20efa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5721231,"id":"Q5721231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$688A8D83-07A9-4941-ADA2-D368AA19E965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9ddefc8c6dd536bfffbdf83e93f2bb6c7a5d63","datavalue":{"value":{"entity-type":"item","numeric-id":5339894,"id":"Q5339894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$0B4AAF4C-CD6D-479D-A55D-C247F4AE099D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ec5477ed81b4bd9beebf6ad8b16c4546d8f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":5538300,"id":"Q5538300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$01D55E8F-DCD3-4E2F-9001-F961D1222B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$6D4E484A-3585-46FF-BEA3-2DE247668D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c435b5eae7387d0ca82fd23ee3bfd60e697e5c4","datavalue":{"value":{"entity-type":"item","numeric-id":1582756,"id":"Q1582756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$D71E8AF6-7D3A-4CDB-9B39-69727B5F5334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebd50649f1e0277e6bfaea3fa01bd2806b34818","datavalue":{"value":{"entity-type":"item","numeric-id":3230352,"id":"Q3230352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$9F020AC3-CBD9-4ADA-8E78-0B2640514F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b0b384e72ef5f963a1263fce3e7bb834e93f09","datavalue":{"value":{"entity-type":"item","numeric-id":1188715,"id":"Q1188715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841879$37A94FDF-2937-4313-9E23-68E40DD6C33A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5614790dd6442948e7fba151b43be76ae9235d","datavalue":{"value":{"entity-type":"item","numeric-id":4520821,"id":"Q4520821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6c1d8aede33f69f1cf921d8a3470e690a76231","datavalue":{"value":{"amount":"+0.8299443125724792","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":"Q1841879$178867C5-51DF-4B7B-B80F-DBDDB223C0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a655d6d360ea172a2f90657411b33647e61277b1","datavalue":{"value":{"entity-type":"item","numeric-id":1842348,"id":"Q1842348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1eee595a5ddde83fbda7f6f125c52c04c427d2","datavalue":{"value":{"amount":"+0.8238358497619629","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":"Q1841879$356ED38E-5379-49C0-866F-4897A00DC3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9862736bba36cdd68e8e16b1188a52ca650c81a3","datavalue":{"value":{"entity-type":"item","numeric-id":3688317,"id":"Q3688317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1194d27b2739861974444f35029e44c9cbb67d0","datavalue":{"value":{"amount":"+0.8149290680885315","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":"Q1841879$DD1E9201-F99C-49DA-9DA7-A34CA1B5089F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b474d2804167297b530f73aaea89c91a7affc1a","datavalue":{"value":{"entity-type":"item","numeric-id":955309,"id":"Q955309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da6c9b3af43662a296b783be08e315e5a5e51b3","datavalue":{"value":{"amount":"+0.8111915588378906","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":"Q1841879$1B1BB756-A03E-47D2-A428-7A49CF71B59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895b6f3cc9a4ba3e80f23dd38f0077300b282c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1878401,"id":"Q1878401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6150e83c249434574ed8ae43aebe58369cc48b","datavalue":{"value":{"amount":"+0.8038468956947327","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":"Q1841879$EFFBF5D9-A5B4-4538-87DC-9639CDC82C59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Disjunctive and conjunctive normal forms of pseudo-Boolean functions","badges":[]}}}}}