{"entities":{"Q4459589":{"pageid":6489188,"ns":120,"title":"Item:Q4459589","lastrevid":97240838,"modified":"2026-06-05T13:40:51Z","type":"item","id":"Q4459589","labels":{"en":{"language":"en","value":"Functions that have read\u2010twice constant width branching programs are not necessarily testable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2062668"}},"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":"Q4459589$3DFEEF6E-DB60-496D-BD02-7ECEC4E73652","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3057d4ad2bb676c5706788db8ed8bf6db6687147","datavalue":{"value":{"text":"Functions that have read\u2010twice constant width branching programs are not necessarily testable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4459589$124C0BAE-B621-4E5F-A87F-9E0710B2AB09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23301cbc366c8bfc42af02365d8a87e417167164","datavalue":{"value":"1095.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459589$9E40CAED-A602-4E30-8442-786E4B700D9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95375ab593e764f82a2af7d2dbffdda71fec7ce7","datavalue":{"value":{"entity-type":"item","numeric-id":178699,"id":"Q178699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459589$E278A522-F230-4CF4-BE2A-25689EB17881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f43e474a770325110ee7928e67f304b07a143821","datavalue":{"value":{"entity-type":"item","numeric-id":430842,"id":"Q430842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459589$D26202A9-90C8-40A1-B82B-493F5B06A8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68410c8b701a5d2353de4ef8d65f833c0ac3784e","datavalue":{"value":{"entity-type":"item","numeric-id":170016,"id":"Q170016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459589$48C8D21C-6235-4DD5-AD12-A83B32D3E35E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1cd9bf3779f6c23821bcce79ad403c8df2b71c8","datavalue":{"value":{"time":"+2004-03-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":"Q4459589$B22A2759-79A6-41CA-AB84-74CE4C1FA466","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459589$777997E3-680C-4942-8B82-6D0A7DA246C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459589$70DAB50A-D764-4C45-83B3-C52A662203FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459589$442511F6-793C-49C5-BE0D-1DD1C069D334","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f38a286e1e19129f06b16c6d0154e0397caa7009","datavalue":{"value":"2062668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459589$329669C8-A896-4053-99D7-44508F4E8436","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":"Q4459589$097F0964-B211-4966-B407-F3846ADA3A55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"736043d80947d37d491c410d1dc4649ce73a0edc","datavalue":{"value":"https://doi.org/10.1002/rsa.10110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4459589$C64C9CC7-2379-429A-A7FC-A4710FCA24B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e6bf8fd7c11577220b303ab34482f86ce885267","datavalue":{"value":"W2118212166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459589$8104A833-0723-48F7-9311-6E1C873B6A36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b080421c1bb60d94d438a0ef37f8d5bbf3c3e910","datavalue":{"value":{"entity-type":"item","numeric-id":4941829,"id":"Q4941829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459589$2414196C-AF05-452A-B513-EE86FB08F55C","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":"Q4459589$19DD8A53-A873-4E60-B3E7-3C0C4FC85E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e016a3c8ca2ac05d4f722a308e7e947547828ac8","datavalue":{"value":{"entity-type":"item","numeric-id":3851217,"id":"Q3851217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459589$09C87C1D-52E9-4971-A8FF-2B9FE54B824D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f59b3aa83ee79ece109a6a942d013a0af35234b","datavalue":{"value":"10.1002/RSA.10110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459589$2AF9C355-F646-4FE2-B2C0-8E6CE92F7785","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":"Q4459589$FA29F0DF-5DB9-4550-B46F-3EC4D41AD793","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee620fc7be9815c0edc44b2d955d2e478441b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1014387,"id":"Q1014387"},"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":"Q4459589$4A54223D-F0BF-4409-96A0-2D719444E82E","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":"52e34cdc9135bb1d41a7a7c8c68a7154a994b455","datavalue":{"value":{"amount":"+0.848090410232544","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":"Q4459589$21D6B45F-6C82-4B55-82CA-A81465A7C4A4","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":"a7a38ece43adaf49a39b9334c1742a6740cba728","datavalue":{"value":{"amount":"+0.8210269808769226","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":"Q4459589$DC76FFAE-B764-42B9-90CC-B6A87BD86DEE","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":"3866d3915239603ad1961e1f42bb6144bb0d6994","datavalue":{"value":{"amount":"+0.7988999485969543","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":"Q4459589$A263023D-9DF6-4E12-9458-82DF6F0D6E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8799cb97ce23c3fd309e92b14691bfe947bb8f28","datavalue":{"value":{"entity-type":"item","numeric-id":764366,"id":"Q764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6597b2c7b32e8c0b0f74ac7a203951459714d8be","datavalue":{"value":{"amount":"+0.7793148756027222","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":"Q4459589$B3ED99A9-E90D-44EA-82A7-632BE2A4B7DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functions that have read\u2010twice constant width branching programs are not necessarily testable","badges":[]}}}}}