{"entities":{"Q1014387":{"pageid":1016235,"ns":120,"title":"Item:Q1014387","lastrevid":69421620,"modified":"2026-04-13T06:53:36Z","type":"item","id":"Q1014387","labels":{"en":{"language":"en","value":"Functions that have read-once branching programs of quadratic size are not necessarily testable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547773"}},"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":"Q1014387$4B545C0B-1C6A-4A5B-B2CD-F371026542EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a69196c6e9909a88bdfb316a0ce013858db07568","datavalue":{"value":{"text":"Functions that have read-once branching programs of quadratic size are not necessarily testable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014387$9BFE7589-91B4-4AA2-8042-BF81CBF70056","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccef4b4036fdcb59fb52fb4d24bc059725070452","datavalue":{"value":"1175.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014387$8DE11058-FCB8-4698-BEB4-0B2FD40F172B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9905d81cbbbb3a76436896b20e966d05729f22b","datavalue":{"value":"10.1016/S0020-0190(03)00230-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014387$F463333E-2D70-4E9A-B5F3-06D3FD71D947","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be4ee1fbd4b7733cd16d69d04f0190aaf1da757e","datavalue":{"value":{"entity-type":"item","numeric-id":171934,"id":"Q171934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$760AEBC6-F51B-465F-87BE-DE78FB529012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b3e57da97cbc00a7ce7385e258f05ae9a6ec6b","datavalue":{"value":{"entity-type":"item","numeric-id":171935,"id":"Q171935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$DD72B7E3-ECFF-41ED-B2C9-85A4B0780A52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$BD6B8A45-C5EE-4978-9D61-704F311B52D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014387$B07B839E-4FCD-4879-9601-F2F01F5939FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014387$4321BF4D-C296-4E56-B7E2-57F1C16A41F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd4fc3b4a52ee2f1127e7ba4224d589df5b3de34","datavalue":{"value":"5547773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014387$B90F1031-9965-4FAC-AB77-2A807278D8FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014387$A1C2919C-DEBE-4A52-907E-8449E0E3E90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014387$96AF7869-2928-416F-AE26-CF073D5F9048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec24897927a0742784fae89aed9a922bc2a81fec","datavalue":{"value":"branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014387$2AFC54D4-7670-47A4-A1E8-6108270D3B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b1607241b13bd5f40b3641b7789c877213db7b","datavalue":{"value":"property testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014387$CA0E5F0D-C140-4DAF-B7CC-A62A1E466C69","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":"Q1014387$832B4D31-1ADD-4232-90A7-455898BE59CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7de5d55578203c3562c63a97941b0aa4ccf15e","datavalue":{"value":{"entity-type":"item","numeric-id":5932749,"id":"Q5932749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$36878B8B-61CD-4E1B-8888-7D8F89C6FEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff620e6e4970cc65e32fcd83840e8a986e9cf7d","datavalue":{"value":{"entity-type":"item","numeric-id":2706138,"id":"Q2706138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$773F6C1F-58EE-499D-9DB5-0746D21A46A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed5a89ddfefb21bf7d440fe67cd3e228cd1385e","datavalue":{"value":{"entity-type":"item","numeric-id":914382,"id":"Q914382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$7747D148-D7DC-4CD4-BF6F-132FF3E94F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38eadff71e14f5a047a93d30fd600d33144eb1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1293553,"id":"Q1293553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$C18A57F1-7CB4-4572-9196-FE254C493467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e0237adb3d561372ac13118f06ab6f61650e2ff","datavalue":{"value":{"entity-type":"item","numeric-id":2768393,"id":"Q2768393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$02E6CD74-616D-4CC8-BC7F-8E59814C528C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f470ab7750fcd6e2d875df2a40cb3589473fa7a3","datavalue":{"value":{"entity-type":"item","numeric-id":5175981,"id":"Q5175981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$330AF901-CE1D-4CB3-9F58-A77134ABB8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc39092484c42c2661962bc3a074cbc74d5b534e","datavalue":{"value":{"entity-type":"item","numeric-id":3158518,"id":"Q3158518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$5B4C20F1-733D-4C45-B081-C2AF5FDF0893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971387756a7ab5900c0ab0f77ec1cf0277ec2019","datavalue":{"value":{"entity-type":"item","numeric-id":4527008,"id":"Q4527008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$5804CCD2-A63C-4AF2-B4BA-3742020A4C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489eba1baee128beadc60730959b25199e852bf8","datavalue":{"value":{"entity-type":"item","numeric-id":3149882,"id":"Q3149882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$9A1747B8-F34D-463A-BB2E-CD2AD156BFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de35bf677e55e3651aa07f9d808d9f5a50065d73","datavalue":{"value":{"entity-type":"item","numeric-id":5175980,"id":"Q5175980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$6D612F59-FF83-4AB2-B9A3-50B6D3A66F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af9c400472b33809e98a7c72843fa27c42a11de","datavalue":{"value":{"entity-type":"item","numeric-id":4877517,"id":"Q4877517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014387$8208B5B2-4AB4-4D7B-B384-8EDD6A4FDBC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da63a8b51f37e3e87158cf85f66e6dbfce5d2bb7","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(03)00230-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1014387$E190BB5F-999B-4D29-AFF3-F330E9B8D676","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ae492aa896c103f5bf585cc5e001fa15c3fd356","datavalue":{"value":"W1997711080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014387$60C7D6CB-85AA-4A83-AC4D-D64B136C42BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbbae1432bc95847c1bb1ae11e9242592ee9131","datavalue":{"value":{"entity-type":"item","numeric-id":4459589,"id":"Q4459589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ffad6b0806c588744047813766b14218eacce4","datavalue":{"value":{"amount":"+0.913699209690094","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":"Q1014387$52CC3F0E-E6A8-4B05-BC5E-B49F82EDFE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7df53b428fbf86dfde755a06190f4817b7e71497","datavalue":{"value":{"entity-type":"item","numeric-id":5492933,"id":"Q5492933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f068d506a0d9b5c252edb7a654ea493cc472547","datavalue":{"value":{"amount":"+0.8477964401245117","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":"Q1014387$1B00AB1A-B292-481D-8E79-029862814428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43c72ca45e52c44097957bc499e4c30305d5dac","datavalue":{"value":{"entity-type":"item","numeric-id":3149882,"id":"Q3149882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4dc5802ed373eebc32e0acf91f97fec1413bb0","datavalue":{"value":{"amount":"+0.8120888471603394","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":"Q1014387$50BEA5D4-67F7-4BD8-A256-93EACFFF448F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044f1def5d2ffaf773d338fb493e18c8583c55cf","datavalue":{"value":{"entity-type":"item","numeric-id":3638913,"id":"Q3638913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5145e9a5caba5578aca69d5aac2104b71d27e4fd","datavalue":{"value":{"amount":"+0.7696021199226379","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":"Q1014387$2BD71BC3-5B6F-491E-B713-7BE9E8DDEEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3493814d6b0ffed6b124e6ed6c30cba5aa26b595","datavalue":{"value":{"entity-type":"item","numeric-id":1759104,"id":"Q1759104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2074000160893a31070492cae1c4aac5836a08e","datavalue":{"value":{"amount":"+0.7634734511375427","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":"Q1014387$B637E9E5-9F55-4947-8A80-6743717DA236","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functions that have read-once branching programs of quadratic size are not necessarily testable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functions_that_have_read-once_branching_programs_of_quadratic_size_are_not_necessarily_testable"}}}}}