{"entities":{"Q4696224":{"pageid":6725801,"ns":120,"title":"Item:Q4696224","lastrevid":47175283,"modified":"2025-12-31T22:14:02Z","type":"item","id":"Q4696224","labels":{"en":{"language":"en","value":"The effect of random restrictions on formula size"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220481"}},"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":"Q4696224$344541E6-6695-4ACD-88F4-D520011DC759","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0d9ae7d4828488e1000517966bc1ac0241f5547","datavalue":{"value":{"text":"The effect of random restrictions on formula size","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4696224$401BB049-D2D0-48E2-AF71-66B1E71651B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6479ff51918a0f05d2d7e892a8bca332b25b8ed1","datavalue":{"value":"0771.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696224$9AC221E3-1267-45BA-91F1-4DACD4B9E34F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4696224$9B385FBC-8178-4D6D-B9C4-1491601BB921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8915695905f7fefd19a80e399e72316113d2d7b","datavalue":{"value":{"entity-type":"item","numeric-id":192132,"id":"Q192132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4696224$0CD91B20-8332-46C1-948C-1C977A6659EC","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":"Q4696224$58D576B2-7D0F-4CA7-9584-D2774356764B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696224$D03BB95B-7DE4-4432-B3FA-F3C6B1F22AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696224$650BAC01-565B-4B2E-A37B-72BD2A18B865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696224$87612308-8193-457A-91A8-2016B2ABDCF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"162e5200fcf7007eaf79e1aafc40e9c7a07daa03","datavalue":{"value":"220481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696224$468060A4-536B-4524-BA88-858B439B6418","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c748d7554331e5f3003db795e8853095aa727d","datavalue":{"value":"formula size complexity of Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696224$1B5364DC-A668-45D9-A1B9-1266E592EDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4696224$EECD5675-3053-491E-A201-CF07ECA0DB39","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":"Q4696224$E685C0D5-5A22-440D-945A-A6C7AB8289A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2d5a6d1cb95587ceb11477fbb3e86b12dc9d07f","datavalue":{"value":"https://doi.org/10.1002/rsa.3240040202","type":"string"},"datatype":"url"},"type":"statement","id":"Q4696224$B639D239-2543-49AE-A5EA-F5E999B2CA3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd0ba5108f8570157d6d471b47ebd645a1e51244","datavalue":{"value":"W1991702990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696224$0A7751CC-7309-43E0-91FC-FACC7AA1E388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"399b81ca4aaeb9051fc0685c839f1040e6386f98","datavalue":{"value":"10.1002/RSA.3240040202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4696224$E7F7C347-5B84-47AA-BA19-8D05DA92D679","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":"Q4696224$2628EC88-43AF-47FF-8B60-25D48000E98B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03fcbbccec1114dc48e9a5fd0a2ea21d1445b3f8","datavalue":{"value":{"entity-type":"item","numeric-id":4325332,"id":"Q4325332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30742a1dc787436490437815c37bef08e7aeef63","datavalue":{"value":{"amount":"+0.9004892706871033","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":"Q4696224$A5377DA6-91C6-4794-9292-58B99C57205F","rank":"normal"},{"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":"c4f75dad298f4c141af707d9270ee5d7fef49ed2","datavalue":{"value":{"amount":"+0.895293653011322","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":"Q4696224$F352E8C5-B479-4149-B407-8F1354811CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d651b360b4365766b87ca606c6116029521aa2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4696225,"id":"Q4696225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea07812c371226656e12f2d516ab3ff080eb0d1d","datavalue":{"value":{"amount":"+0.8866491317749023","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":"Q4696224$622DFD9B-819A-4394-97D0-76775D6D2EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4add1ded301e390a85a1f8501b8352a377da3445","datavalue":{"value":{"entity-type":"item","numeric-id":465106,"id":"Q465106"},"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":"Q4696224$1C62092C-09E9-4706-99DC-05864F8394FD","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":"1e85573159e0801e86db042afba03efb8e01e296","datavalue":{"value":{"amount":"+0.8693875074386597","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":"Q4696224$1BA245E0-9AEF-48B8-93F0-3B52C2F74392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4696224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4696224"}}}}}