{"entities":{"Q4344226":{"pageid":6373825,"ns":120,"title":"Item:Q4344226","lastrevid":46501566,"modified":"2025-12-24T22:23:57Z","type":"item","id":"Q4344226","labels":{"en":{"language":"en","value":"Some typical properties of large AND/OR Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1033854"}},"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":"Q4344226$BAD3F49C-7401-41F2-A5D6-8199C1E0D3F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecf1b93b1b4a580bb46869b05bac24b94c89a57b","datavalue":{"value":"0874.60011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344226$1025260D-F58F-4AF5-8B8E-C9E169E7B6CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11a0f628b6bbd7e0ab0b108dddb62eb49b2b7fc0","datavalue":{"value":{"entity-type":"item","numeric-id":213130,"id":"Q213130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4344226$DA6BC054-DE03-43C8-90B1-83A40CDC4C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3130e87f1749c59ee4d0e395d449a1e09007fc09","datavalue":{"value":{"entity-type":"item","numeric-id":278738,"id":"Q278738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4344226$05CF1AFC-3665-4141-811C-673F080723A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3598ec67df96ae58226a2440db91cb6d098388d","datavalue":{"value":{"time":"+1997-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4344226$270ED289-0A4C-4E60-8A30-4F01D77C8206","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344226$3B4D8985-E8A7-40B3-B871-D2290BCAA88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344226$0016413E-EDE8-4C63-A806-247E7CAD4C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344226$63000016-58D6-4177-A5A9-C01E8B486237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344226$1562DFAB-2D74-47FF-8734-3A7B40CEF88D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5703e82ce16de5d234ab72249baa152ad6865106","datavalue":{"value":"1033854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344226$EA64C718-EC6D-4572-A5CA-8423503B12B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4aef78e17e9b85e4698a7231143d633b4fb7ca2","datavalue":{"value":"binary trees chosen from the uniform distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344226$97F3B97A-25CF-4D81-B0EE-C54D6A3D4B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344226$0A9E7EA7-0A48-45D2-B229-ABD6D8E36685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be1983293d42fae126a6aa9052974dccc96dade","datavalue":{"value":"size complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4344226$CA404FD2-C8B6-490F-9A79-62238F5DE054","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":"Q4344226$31642B5C-C5F1-4275-B34D-BD40AD575DDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9343aac74d89374f78baebd2535ecdb87d360911","datavalue":{"value":"W1966449461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344226$43BBD3C2-4954-4D77-BE84-AD2B1FD7DB41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54a5bc6b84b08d48babfdbfb528baed913218bd6","datavalue":{"value":{"text":"Some typical properties of large AND/OR Boolean formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4344226$1B479EF2-5BFF-45FC-B65C-D1DD4C9BA788","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"140f5a34f3ed7798d856783bfdc3d764d7613e07","datavalue":{"value":"10.1002/(SICI)1098-2418(199705)10:3%3C337::AID-RSA4%3E3.0.CO;2-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4344226$C8CB7B6F-8D13-477C-889F-FE19804FD070","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"696003768da1f86471916a8f14d52d9d3c7dfe8a","datavalue":{"value":"https://doi.org/10.1002/(sici)1098-2418(199705)10:3%3C337::aid-rsa4%3E3.0.co;2-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4344226$62FB6265-DE8A-4FEE-AF7E-86C80752A066","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c12b96c4071b6e5257069001df0addd48804aa","datavalue":{"value":{"entity-type":"item","numeric-id":3569015,"id":"Q3569015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2480d085e59693af1a2bf1d819200379e5542d6","datavalue":{"value":{"amount":"+0.9961583018302916","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":"Q4344226$BC3C53F4-3A9A-460D-B996-E2D2D29FCB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf914e48f2c06adbcc23529cca086b7158d97d2b","datavalue":{"value":{"entity-type":"item","numeric-id":4238174,"id":"Q4238174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30de7995e40227829018d141610f50d4fa207342","datavalue":{"value":{"amount":"+0.8499029874801636","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":"Q4344226$97DD6E1E-7716-43C2-A7D3-71294FC70DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf446590c9adbed51cae7627001cb58285c1222","datavalue":{"value":{"entity-type":"item","numeric-id":4670353,"id":"Q4670353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0527377c1e19aeca604f7793e0ca3540d21fed25","datavalue":{"value":{"amount":"+0.8494588732719421","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":"Q4344226$97632A05-31DA-46EA-8E45-5AA03FD9428E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9e56eaea993a889125715e182b1960e988e8f2","datavalue":{"value":{"entity-type":"item","numeric-id":5485333,"id":"Q5485333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01a03b631fd944df64957b6c3eebe59e61f4b32","datavalue":{"value":{"amount":"+0.846622884273529","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":"Q4344226$E4730700-17ED-4381-B39A-9E48AAA99637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e76f1184427c4a42b132f742e43228ebd17cc2","datavalue":{"value":{"entity-type":"item","numeric-id":2884007,"id":"Q2884007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4348032c623d2e5b8c559d116f6d56be3291ef8e","datavalue":{"value":{"amount":"+0.8237965703010559","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":"Q4344226$82C34F21-2413-4383-B08A-E91FDC479E6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4344226","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4344226"}}}}}