{"entities":{"Q844146":{"pageid":845994,"ns":120,"title":"Item:Q844146","lastrevid":64765200,"modified":"2026-04-11T22:04:36Z","type":"item","id":"Q844146","labels":{"en":{"language":"en","value":"Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659894"}},"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":"Q844146$1837AA7F-B774-4762-B9EC-5CB7286C6029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c92f7fb901e4ae6a6e0e6bc6f18484637fac712","datavalue":{"value":{"text":"Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844146$24457202-95E3-4E54-917A-B512296CB0F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64171884ae738da64e0ee6c4808f06aea7d0eb09","datavalue":{"value":"1187.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844146$19A8425A-B7BA-4CCB-921E-72293A2536BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2a4bfc7dfb48b04f0f0ce4af382b968d641cda2","datavalue":{"value":{"entity-type":"item","numeric-id":844144,"id":"Q844144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$15D5DBB8-8E65-4A43-B432-72F97DD2E9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3750ceebaf6cbf8471f00b41a1dbac40be4bf5e2","datavalue":{"value":{"entity-type":"item","numeric-id":844145,"id":"Q844145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$141BCD56-E987-4353-8811-E635016CA4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc5d525b71afdf25227c4e34bdb392276b8c3c26","datavalue":{"value":{"entity-type":"item","numeric-id":233005,"id":"Q233005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$B8850719-43B3-42DD-8494-5E6B74479AF9","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":"Q844146$B15934F7-9531-4874-BC2C-DF976C94882B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"160ae7be62905e153a649a9a4d09ab3aa02ded62","datavalue":{"value":{"time":"+2010-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844146$000E531B-A6F5-4BCC-A24F-10CD6251E82E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844146$51AEF83A-EC69-4678-85E2-71A7DB7D26E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"537908a2d79a36f8f7e1609ea9eef070dda2c7cc","datavalue":{"value":"5659894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844146$B5E505F2-C526-4DC4-8141-E77428CFAC83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q844146$5EDA5BEA-1F1F-4ACD-BB69-2CCB840FDD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q844146$E926128C-AC34-4AC6-8CB5-D1D677642445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec24897927a0742784fae89aed9a922bc2a81fec","datavalue":{"value":"branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q844146$A6DD2CD1-8164-41FA-8399-5ACB0822DF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d11449291d02a2b3a95a41eb48fbb7040134b2d","datavalue":{"value":"ordered binary decision diagrams with repeated tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q844146$AB569079-0ADD-462C-B067-E223547D4F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69df58e932b7b46f72d1d77749673b22019507ee","datavalue":{"value":"existential","type":"string"},"datatype":"string"},"type":"statement","id":"Q844146$6E1C442E-3A56-41F2-B9D0-2371D714F561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8572375e551a06d2753d63f1dd73bd0e3ca5ca71","datavalue":{"value":"universal","type":"string"},"datatype":"string"},"type":"statement","id":"Q844146$2CF2E0CD-1F3A-4CEA-B155-90A936621FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d146385bd214c988dc91b3c0cc2011de48b86fe","datavalue":{"value":"parity","type":"string"},"datatype":"string"},"type":"statement","id":"Q844146$3B205E0A-BADE-4407-8C0C-3ED2B55D59B5","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":"Q844146$8273AA4B-5B9A-43BF-8333-DC956B2F6061","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd01d13328641cf39aa6ca5e4aac97b87cfdc282","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.11.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q844146$3FCE7254-8E92-47F7-8E5F-3E1572E1B067","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6a8230fb4d069e9ac938d9c41ae7959b334dc10","datavalue":{"value":"W1964040754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844146$4093CB54-2576-4170-8C57-00B610DC1F66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d351ae6c2156438a7cf2ef1e070f6ff81014314b","datavalue":{"value":{"entity-type":"item","numeric-id":1275068,"id":"Q1275068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$EFC6BF66-9D14-44D7-B0F0-0FACC12B2516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb77facc02f21ad2f21d191c8d7a4263305b54d1","datavalue":{"value":{"entity-type":"item","numeric-id":1115606,"id":"Q1115606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$DFC1EA64-3E83-46E9-9B50-0187C2C281AF","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":"Q844146$6892B228-71DF-42B4-BDA8-DA8C44980375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e71bfb8854aa204f2c436df22a0e712c6e84f3","datavalue":{"value":{"entity-type":"item","numeric-id":804285,"id":"Q804285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$70205308-FF66-4005-82E5-848F3284837A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbc8a63364718213bd1f348155f7d40d7b87df8","datavalue":{"value":{"entity-type":"item","numeric-id":1201152,"id":"Q1201152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$EF2A8E29-D2FC-4E8E-8310-64011AA9E88B","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":"Q844146$D1DA7F8D-533D-4995-B7BA-34263786D292","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":"Q844146$E9F15530-556D-493B-A46D-AC39C8E600AC","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":"Q844146$2C141F7E-56EF-4AB1-8EA8-EF6AC94B5EEC","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":"Q844146$16671747-CD11-44A0-87E1-9644B8739075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66bb9d0c9e9bffff135ec1ef9153a91c28b3dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4037694,"id":"Q4037694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$59615BD0-8B79-4850-9E57-85654B51966A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1efabeaf2700b0c6113268d2a978b2d9128af3","datavalue":{"value":{"entity-type":"item","numeric-id":1880784,"id":"Q1880784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$3B0B7636-FD9F-4E40-9909-61FF01423F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3225a18c21ba794c203e3a2c034abdc386057e0","datavalue":{"value":{"entity-type":"item","numeric-id":1405793,"id":"Q1405793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$B5E80390-072E-4132-ADA6-7EBE9FD2E2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c4125497f2218907cf62cd27810e71c18d00ab","datavalue":{"value":{"entity-type":"item","numeric-id":4542589,"id":"Q4542589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$478CD723-3475-420B-9E1E-53CE9CDDD937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c64a92846d00986634f69e1db7b0ecb55a6162","datavalue":{"value":{"entity-type":"item","numeric-id":5431315,"id":"Q5431315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844146$E13CEE0C-4E9D-4869-A803-D41D1F89C025","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90e1b7c7306da9a7e6668cd0c86e31066ed192c8","datavalue":{"value":"10.1016/J.IPL.2005.11.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844146$5951B6DC-52D1-411D-ADDD-8B67799241D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75803d2144aa987a93a10031af3fc15de667d64","datavalue":{"value":{"entity-type":"item","numeric-id":1293553,"id":"Q1293553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4bf67a88bd7970ec6f2130965a52d971889091","datavalue":{"value":{"amount":"+0.7848134636878967","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":"Q844146$98C834AF-44FD-4289-B5F4-6063A4A6E296","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":"0e988ffa305e1aaab94c1dd2967013dcbbfd732a","datavalue":{"value":{"amount":"+0.7718415260314941","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":"Q844146$D9A12096-391D-40F0-B07D-12B3941981EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525cd79179a87d0fbcd0cbac1ef38caca4d35aef","datavalue":{"value":{"entity-type":"item","numeric-id":4934627,"id":"Q4934627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e988ffa305e1aaab94c1dd2967013dcbbfd732a","datavalue":{"value":{"amount":"+0.7718415260314941","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":"Q844146$5ECADB62-A852-4F95-8EBA-57181C38D3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0738cbc8f5c736f34b1e24a3c76feb8b6220a21","datavalue":{"value":{"entity-type":"item","numeric-id":2361671,"id":"Q2361671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9490a9f60d9c88afdbb5701c1f9b7a7c54770b7","datavalue":{"value":{"amount":"+0.7583435773849487","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":"Q844146$BCA9E8A5-705D-43F1-B321-D445CC98951A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89a079dbd519a8a39a7e225af5d09ec2d1cf4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1275068,"id":"Q1275068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb7169c3b23275865d620747e90f7ee6151cbd3","datavalue":{"value":{"amount":"+0.7492513656616211","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":"Q844146$52D21B6F-226E-4018-8705-07AC4F4EDD44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondeterministic_ordered_binary_decision_diagrams_with_repeated_tests_and_various_modes_of_acceptance"}}}}}