{"entities":{"Q4696225":{"pageid":6725802,"ns":120,"title":"Item:Q4696225","lastrevid":47175286,"modified":"2025-12-31T22:14:02Z","type":"item","id":"Q4696225","labels":{"en":{"language":"en","value":"Shrinkage of de Morgan formulae under restriction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220482"}},"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":"Q4696225$6C70FF48-0CB8-4FAD-8A5A-1ADCC35D4929","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"123276d75ef5c7ff8dae1c05f4950abb0bd7d43c","datavalue":{"value":{"text":"Shrinkage of de Morgan formulae under restriction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4696225$FCCFF1F9-6CAB-412A-9AB4-2584721E4631","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af5e5801bba491d7f42d7eebebdb5794ace9f059","datavalue":{"value":"0771.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696225$4BF371CB-4A4F-4CE0-9028-616BD91F948B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaee521edffc8bdd36677a248a08eb8961f08ff5","datavalue":{"value":{"entity-type":"item","numeric-id":795042,"id":"Q795042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4696225$5E55DE8B-25F7-4AFF-9E10-A46D7D292C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da68626a0a4efbe01f8daa4dbbed98fdea696571","datavalue":{"value":{"entity-type":"item","numeric-id":233001,"id":"Q233001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4696225$24181E0E-AFCD-4832-B133-62B2DE1EF9B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-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":"Q4696225$3FC2C9EB-0E55-42D6-B135-02138CB29F4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"027f4b344d7ed6a139fe26f57e7b20c9a8d4b24d","datavalue":{"value":"http://wrap.warwick.ac.uk/60867/6/WRAP_cs-rr-171.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4696225$BE1EC085-A0C8-4AC7-A580-DB70AF048E29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696225$B03E7F37-7301-4936-8DC2-02E57DDBE603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696225$69144CFA-023A-4ED8-A79A-64B632F49D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696225$4D4ADBB7-058A-43B6-AD69-B0DE9435854F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad5b91d4def326bad1d5b17e2bc4a0f704556a0d","datavalue":{"value":"220482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696225$53245FA6-C136-4425-9332-1B1461DF1FD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d731429cd1b4185c2b2cb7aed78481eb523efd1","datavalue":{"value":"shrinkage exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696225$BD87FFC1-8EC6-4489-95F3-554189031690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c748d7554331e5f3003db795e8853095aa727d","datavalue":{"value":"formula size complexity of Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696225$6F726E01-7BBD-42D3-B926-57E30B6DB76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696225$B72F13CE-17EA-4261-AA58-E8BAE1314E49","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":"Q4696225$0049F1C1-4D0A-4A6C-9D4E-55AA6E8141AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f85ec61e08c29c383418d6f2791a65f34eddad9","datavalue":{"value":"W2129059686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696225$C3A01A71-CF07-41C0-8C76-3B484270FC62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ce91e080daeae6dec89347477f30c5ca4c6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3994882,"id":"Q3994882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4696225$BBDACBC4-AECF-4FCE-B476-D567606FCEB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c07f4376632a0b098aa7013fa1a8b7284191c03","datavalue":{"value":"10.1002/RSA.3240040203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696225$FD88C984-A8A5-4147-888E-97EFA46D83C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4696225$4CDF6DEE-C837-4974-8398-02A01CFD2B0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfea9b89d96319747934788d3e3761423da2c01f","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74da3e617a08541efbe5e1d61fc28371b88e54f1","datavalue":{"value":{"amount":"+0.9350415468215942","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":"Q4696225$67CE56EA-9DFE-41BE-AF97-2B9F6EB528BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c2374536506f2ff7ba2cf41e125144dcbf38b2","datavalue":{"value":{"entity-type":"item","numeric-id":4696224,"id":"Q4696224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac2afe265983774486cab8e83ea9457f1a90cd7","datavalue":{"value":{"amount":"+0.8879531025886536","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":"Q4696225$A98F5DCC-A086-4DEA-A4DF-3385858BA85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e781a618404575c1e79b6c71294bcb9b1053cdad","datavalue":{"value":{"entity-type":"item","numeric-id":334923,"id":"Q334923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132159d0c0a12bfaa7dc63d5551dc4a5af19dcbe","datavalue":{"value":{"amount":"+0.8866490721702576","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":"Q4696225$F5A32045-BE68-4379-B522-9874A8DAA6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64634d4227effadbb5870ad5311b4f307937aae0","datavalue":{"value":{"entity-type":"item","numeric-id":2768368,"id":"Q2768368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd3a074290bd0e9129f130051e79927d9716ea2","datavalue":{"value":{"amount":"+0.8744916319847107","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":"Q4696225$3B6149C6-A252-4ECB-917F-72D716424608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961c7d3ae96a8ca3899003938255545aa1fc7e98","datavalue":{"value":{"entity-type":"item","numeric-id":2963581,"id":"Q2963581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648a51e9e5bdf47169df39d804d3a7482b7c8bce","datavalue":{"value":{"amount":"+0.8654997944831848","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":"Q4696225$6EAA59B4-DE7F-4BDA-8D3A-DC3841FBE220","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4696225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4696225"}}}}}