{"entities":{"Q1401957":{"pageid":1412697,"ns":120,"title":"Item:Q1401957","lastrevid":48157066,"modified":"2026-01-03T19:46:41Z","type":"item","id":"Q1401957","labels":{"en":{"language":"en","value":"Guess-and-verify versus unrestricted nondeterminism for OBDDs and one-way Turing machines."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967143"}},"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":"Q1401957$0DB47DEC-A13C-4E80-9DA0-2EC729CDC3F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1e04fa3168971dc5ba44c66cd06a4efad169a4e","datavalue":{"value":{"text":"Guess-and-verify versus unrestricted nondeterminism for OBDDs and one-way Turing machines.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401957$EB033225-AD88-42C9-875E-6930EC32C4C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36ed917fd997ab14221b96c9726d187f1e10cbbd","datavalue":{"value":"1054.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401957$51C23EEF-6E62-4687-B528-6CE7D8ACFF81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"377ae36fd99456bf925696b18851ffcfbfa85589","datavalue":{"value":"10.1016/S0022-0000(03)00037-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401957$F09F798E-22E5-46F8-9953-A3671CCF9447","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3c2a06ab8d1a3dc39a91ba24821db39c7fefb0b","datavalue":{"value":{"entity-type":"item","numeric-id":234347,"id":"Q234347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$E2199CA0-C9FD-4E06-B004-AC8D8D3191B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$1F7A45F0-4985-448C-B6C4-A827128489C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00da8c2f12be99ff7b97d3f72ebacffed8cbacef","datavalue":{"value":{"time":"+2003-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401957$A80B6151-C1A7-4E42-8586-5CC08F163C2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401957$7BAC0B56-C288-4EBC-90F3-AC20689377FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401957$B292B997-C00A-474A-A314-4B906CDC9B40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c33ec0663a949cd1dcafd2933215aafb9897c285","datavalue":{"value":"1967143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401957$24AEE036-27C0-4BF7-B12F-3804C40E4483","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b76da93caf764509e7bfd6c3e7d7357b1a4750cd","datavalue":{"value":"OBDDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401957$6AC816EA-E996-40FE-BE10-0C39ED7C9726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88e98fb953e75737020f528d46579b98041ebf27","datavalue":{"value":"Branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401957$3FE791DB-642E-4DC2-8CA2-E89572225E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e94560a2cf8da161873367134931f7465a7b66","datavalue":{"value":"One-way Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401957$44A88B94-5565-4878-9D05-E35CC1522D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7809efefa990f9eaecbd510547eb6bdd5256ccb3","datavalue":{"value":"Nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401957$698976A5-2950-4959-A884-EF2ED118E4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2be19d482bd2fda4cbde27d44f73c53695a0e60","datavalue":{"value":"Guess-and-verify","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401957$8CABEBAF-4B86-4403-8073-14F2281819EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42fc8564d58745c245f1d406df494e1ddb816602","datavalue":{"value":"Space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401957$460D0F8B-67DB-49AB-AA8A-EAEEC033D448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a459471a373091a4dfec49ccefb26591da9ebae","datavalue":{"value":"Lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401957$7A3A3A4A-04A1-4FE1-B609-06C0D269BA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052b0a0bf1107a694661fab459a19e64e1dc24de","datavalue":{"value":"Ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401957$923F99E9-097F-4B97-8606-DE7B4DED44A7","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":"Q1401957$2C150A99-226C-40BD-9EFB-4A84BDC320CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4dad721c7b2eb217b7e2ac4fb117895325d0e3","datavalue":{"value":{"entity-type":"item","numeric-id":4571952,"id":"Q4571952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$B05A829B-9CFB-4626-9C38-7A206009282B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0723abaf21cd69df62dee91d8572469e4aec732","datavalue":{"value":{"entity-type":"item","numeric-id":3974851,"id":"Q3974851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$B345EFDB-55D7-47C8-8AB3-B7F361447037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2602b38c6ac507d2fcc05f7602a5d7dae765a437","datavalue":{"value":{"entity-type":"item","numeric-id":4210115,"id":"Q4210115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$47146CC1-88B6-4589-8055-EA92FE4508CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$556A670D-64B9-4973-9E07-DF9997934157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee0d8e4c28135414cd0564a619e491715231def","datavalue":{"value":{"entity-type":"item","numeric-id":3034815,"id":"Q3034815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$CAC48682-5C31-41F5-AB6A-7F3BF79DD5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22e65c24d1f698f5eb2b3d1bdbc4d2c406f992c","datavalue":{"value":{"entity-type":"item","numeric-id":4259986,"id":"Q4259986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$FD5FB2DE-9B70-4656-968E-7CD5D390AFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"544f9d42a0a8acea09d2cbd1189f6a61d54cb466","datavalue":{"value":{"entity-type":"item","numeric-id":3926063,"id":"Q3926063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$DCAE4A35-6A85-44A7-91F4-080618585218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f06e31eaae3e7c9bdc20c4ffadaf92d3ac9fa0","datavalue":{"value":{"entity-type":"item","numeric-id":4337605,"id":"Q4337605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$3ABBC7CD-9380-455D-AD51-9F7BE056E3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a2a8077c752684e090a9aa43b9fb63c96635bd","datavalue":{"value":{"entity-type":"item","numeric-id":4501529,"id":"Q4501529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$0B033637-A8A3-4CF1-8BFC-D569E0E8FE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b4530d636dec7ea0f4404c37204b3c46ebc9d0","datavalue":{"value":{"entity-type":"item","numeric-id":1109754,"id":"Q1109754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$30BA5158-2A01-4D44-ACCD-1C3C5CE4CC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f54d3f29f6b4b20f407968736794c4661233274","datavalue":{"value":{"entity-type":"item","numeric-id":4258580,"id":"Q4258580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$45FF246E-B626-4253-9430-61A10CF9A7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb831a926f4740f70cbc7d7c440aa3f25cfdd945","datavalue":{"value":{"entity-type":"item","numeric-id":1173954,"id":"Q1173954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$2C1559F0-E91B-4ED5-A5ED-F0D353D4D545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70df7d2773c909e2985f0422310b699f58eb7ad","datavalue":{"value":{"entity-type":"item","numeric-id":1300607,"id":"Q1300607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$D0E821F2-97DC-4475-A669-EB58078F7E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$68DD2E3C-6270-478D-935D-455FC8CDEFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a77c342c1e43c98b625488907d9962b1f6ffb9b","datavalue":{"value":{"entity-type":"item","numeric-id":1182120,"id":"Q1182120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$B0FDC670-1081-4231-85C4-6E36782792F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e068568af19d27f58f296a8ac724e6b2846918","datavalue":{"value":{"entity-type":"item","numeric-id":1816725,"id":"Q1816725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$47E89BAB-CF6B-42FA-88C6-3B975E80264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4304077c8e158fef029455f7fb0aedb68ee12a3","datavalue":{"value":{"entity-type":"item","numeric-id":5957726,"id":"Q5957726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$7E736348-07E1-4356-B397-A67B9A89E349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401957$E9108421-70F7-4A1F-BD3C-E2F4A14E26D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092889f08f7e894b897678c06c5c977ab8803c08","datavalue":{"value":{"entity-type":"item","numeric-id":4501681,"id":"Q4501681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba13a21d5389bd28577692534aa50a297db72a5","datavalue":{"value":{"amount":"+0.899718165397644","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":"Q1401957$F3801AAF-077A-491A-A9F7-69E98AF19404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b64b42eecc5ac6dfeafe8a34d4a4c7d52f237ede","datavalue":{"value":{"entity-type":"item","numeric-id":1587372,"id":"Q1587372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba13a21d5389bd28577692534aa50a297db72a5","datavalue":{"value":{"amount":"+0.899718165397644","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":"Q1401957$16DA062F-A7A5-4F8F-BB05-7AE76072C341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36daa1867b8527e925b325ac75c8f31ee111b14d","datavalue":{"value":{"entity-type":"item","numeric-id":2399370,"id":"Q2399370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3c2ad98e3ee488d9158d61b97734f8dda4d5ba","datavalue":{"value":{"amount":"+0.7611727118492126","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":"Q1401957$8D034B1C-435F-4317-A0A5-36C6E9FFDEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05fc78a993a37a77d328af568ce87e0d4e21e9c9","datavalue":{"value":{"entity-type":"item","numeric-id":5496177,"id":"Q5496177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44663b973f00506742a3d4488122a938aa474d6a","datavalue":{"value":{"amount":"+0.7587741613388062","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":"Q1401957$FB4C4E54-37F9-409C-ABC1-DE35E899D80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c08a8c714028911a3dce10ca9fa4fbaca078c07","datavalue":{"value":{"entity-type":"item","numeric-id":3010413,"id":"Q3010413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22496f34e679077a6728d1ee9288f8f6fac64d94","datavalue":{"value":{"amount":"+0.7560297846794128","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":"Q1401957$45EDF744-FE6D-4FF2-84D6-62609B8985A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401957"}}}}}