{"entities":{"Q314177":{"pageid":315944,"ns":120,"title":"Item:Q314177","lastrevid":60925572,"modified":"2026-04-10T20:01:40Z","type":"item","id":"Q314177","labels":{"en":{"language":"en","value":"Functions without short implicants. I: Lower estimates of weights"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6626625"}},"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":"Q314177$C07F7307-E243-4101-80FA-7565D2860514","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2780542f1ed14f107af8104d00a0126383db204a","datavalue":{"value":{"text":"Functions without short implicants. I: Lower estimates of weights","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q314177$F1905961-576C-436F-B602-B1405983352B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa95c4dea0f730424f2eb32555b93b2e0129d3a2","datavalue":{"value":"1347.94082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314177$1F5A505B-9E1D-4CA7-A3DF-860BA1E1761E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f261bfe1d3d19121d69cc56a592b91cc49bfc53a","datavalue":{"value":{"entity-type":"item","numeric-id":314175,"id":"Q314175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314177$BC73FB6F-387D-47C5-AFFA-404747617BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a451eff707004043f6a9b96c2355de54d8df90","datavalue":{"value":{"entity-type":"item","numeric-id":314176,"id":"Q314176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314177$BE97D3CA-0058-43C5-9DDE-05E5011117DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d82c5188b0ddafa3f3991a7a06ab8754aab0c2b","datavalue":{"value":{"entity-type":"item","numeric-id":314121,"id":"Q314121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314177$DD50D157-115B-4597-8429-7E00C33C2D8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5855202242268e2d32d9cba2484fa0b5d8a8d40","datavalue":{"value":{"time":"+2016-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q314177$45C46F15-DB15-4180-8A00-C16A2E89D212","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314177$57A3BDCE-80FA-4108-93E1-D41D6CADA565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314177$98089F76-D8B9-4238-AB02-13961B205F8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2997a282cdbe06f20d48e803840e1738bec7659a","datavalue":{"value":"6626625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314177$1ECD9F5C-8D89-4A0F-A0FD-79DBBCD966EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q314177$DF7FF08E-4256-4B64-A0F9-3260D545B564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a47816c20c98aec119a7651de52eb7edf2e87793","datavalue":{"value":"implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q314177$356CB26E-8E78-4979-9415-9BBDAF2E41FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1790518d1549db68e96b5cf52d67cef5c17c369c","datavalue":{"value":"combinatorially complete matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q314177$EC5E9BF5-1224-41AC-B91D-F32F0842F5C2","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":"Q314177$54C7A9EA-AD2A-44E5-8D5A-FC5F10EA7D1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c40e7f01615f0d39c673479b7e3d25b1990a518","datavalue":{"value":"https://doi.org/10.1515/dma-2016-0004","type":"string"},"datatype":"url"},"type":"statement","id":"Q314177$AEF45D03-9E67-4D4C-BE38-9A2E9F88A3AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22e77ba8346071ad4136a3380bea8479c1052d43","datavalue":{"value":"W2341450767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314177$A179A16A-A441-49F2-AD40-B2B670503B01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b304477564865b9c25de3b91c437a983f6d9360","datavalue":{"value":{"entity-type":"item","numeric-id":4434885,"id":"Q4434885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314177$E39AF5A0-EF02-439F-9513-30CEAB5F3F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871d9000f8f4f73efea45140e0c7856eb1fefe7b","datavalue":{"value":{"entity-type":"item","numeric-id":4917403,"id":"Q4917403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314177$F04AD81C-9B63-4C70-94CD-D22B10E5438E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb7901bb5e6c5a2db5ab9f618794002b3fe54cd","datavalue":{"value":{"entity-type":"item","numeric-id":851733,"id":"Q851733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q314177$1A8844CB-A5A9-4CF1-A653-329CDF6D452F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"775be9c14ac01dc866b569a7e38d50ed3c1a46fb","datavalue":{"value":"10.1515/DMA-2016-0004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q314177$C0ADA37C-7F21-42C3-ABB0-4AA1363AECD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2270500cf37730ce7bd6a7b1bac394c35ba97335","datavalue":{"value":{"entity-type":"item","numeric-id":314214,"id":"Q314214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79382744071cf9b7f393d190656dfca20e38665","datavalue":{"value":{"amount":"+0.9010469913482666","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":"Q314177$943DEAF7-AF8D-4E08-B6D9-F2F91CD6A7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08365d6106b1f8adfb3b21c8ad5195e7ac82b3d7","datavalue":{"value":{"entity-type":"item","numeric-id":2852142,"id":"Q2852142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc4282761c1a8d494f4501e44b2652522b2ded2","datavalue":{"value":{"amount":"+0.8604618310928345","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":"Q314177$BB72A50E-0601-4CF6-85B4-5CDEC5CF5D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90b5c4b9cadd322c7dd11ccbd4ff856321b33a39","datavalue":{"value":{"entity-type":"item","numeric-id":2629751,"id":"Q2629751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843e996cebbc1b2029d58cf1bbb04df85c594ed8","datavalue":{"value":{"amount":"+0.8205136060714722","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":"Q314177$7C9B5BE1-514E-459C-AF98-9752425E699B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bcaf4c92d4124e1a7113e680eb0f19586c00862","datavalue":{"value":{"entity-type":"item","numeric-id":3381842,"id":"Q3381842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f12f3c6db2ab5eab375f1d4b9977824fcafadf","datavalue":{"value":{"amount":"+0.8141751885414124","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":"Q314177$CB73E678-C2A6-4B62-88EE-A20595D13285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece6df5638c856f23761724af8b3b5af3741e1fa","datavalue":{"value":{"entity-type":"item","numeric-id":3741575,"id":"Q3741575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef96ee6b8f6208221668c394836ce556cdf3bbd6","datavalue":{"value":{"amount":"+0.8014430999755859","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":"Q314177$59B072A7-C827-4063-8356-20DAAA52AB26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functions without short implicants. I: Lower estimates of weights","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functions_without_short_implicants._I:_Lower_estimates_of_weights"}}}}}