{"entities":{"Q2864525":{"pageid":2875245,"ns":120,"title":"Item:Q2864525","lastrevid":51886400,"modified":"2026-01-20T11:42:29Z","type":"item","id":"Q2864525","labels":{"en":{"language":"en","value":"Proving approximate implementations for probabilistic I/O automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236522"}},"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":"Q2864525$5E54314A-E11C-4F0A-B669-E5F01A41482E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d912e15bbb2914c47e2df1bdea2902b973c4bb71","datavalue":{"value":"1277.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864525$F6D63FE2-7EFF-4025-BCB2-6EBDB07B6570","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$5275A653-E1F5-4905-A7E3-3D6546A53222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c104efc4aabc14c241ca7bc47803e7ee14b98b","datavalue":{"value":{"entity-type":"item","numeric-id":660993,"id":"Q660993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$34FDB362-801B-490E-BF15-E150D68EC394","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$9B1E00B7-1B1F-47AF-8AAE-3F6D3980549C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864525$2952B017-2219-4D0D-83ED-B622C7921029","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864525$B39F615E-6FF9-495C-8D16-C285BFAD43C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864525$DBACAF55-D94D-4CDA-877E-64A43576C10A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad3010c27b2a8431fb738c55b5cdeeb3db57175b","datavalue":{"value":"6236522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864525$1A153C6F-7AE4-439B-81D3-0DDF9248AAFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5fb52c52590971eb50fd7d3bfe89eeaad146e98","datavalue":{"value":"approximate implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864525$69F5D07D-BAD7-4874-BF67-C16EAE002B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864525$FFED5EEE-B230-4382-9D52-D61AA703E555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39a802eb849473f61e2b8ffdc0d3074964370566","datavalue":{"value":"approximate simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864525$1127DA80-2FD3-4622-9AC3-D809F6CB648C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864525$2F32F922-A0BE-460B-8177-BBC6AFFB81F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b1ba2b44ef56c8ee7db122bc5b2f2ba2865e62d","datavalue":{"value":"probabilistic I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864525$7DC9FA38-F055-4723-8933-F2882BF33FF1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c68116d4b2bb5081c553f61d2120d450f2a0c723","datavalue":{"value":{"entity-type":"item","numeric-id":18442,"id":"Q18442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$C1B73597-F16C-439C-B991-CBFBF9ACA118","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":"Q2864525$E61F7045-74A3-4BBB-94F5-4627351DC3B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f606bf25188a74eb804455c98c7f1903eb701dfe","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.11.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864525$C2AF0C0F-BFB3-4B26-8413-F29625AEC8F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b89f863201765b57b02146278e1dab44d351f4b0","datavalue":{"value":"W1984319257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864525$771C89B5-8BC5-4B2E-A4AE-048C8C8A7F2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$D6AB754E-9F75-4807-8A32-A686D9E1F109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f473626f3722039c2e8b6c9ffc258a37faa3be09","datavalue":{"value":{"entity-type":"item","numeric-id":5703923,"id":"Q5703923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$072F6B9C-40D4-4C76-A90B-D83DE6A3E293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4dd7927ed8e80418c5882a7142e5ed0fdaf9a9","datavalue":{"value":{"entity-type":"item","numeric-id":1745718,"id":"Q1745718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$8E49CD49-64CE-478D-9D4A-95E6C70D0026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a531204ae2542b6ae01481ef774eb43412c971f5","datavalue":{"value":{"entity-type":"item","numeric-id":1398379,"id":"Q1398379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$26E9CA70-B6C2-4D65-A9EA-E5855D636B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$7C9FEB5D-54EC-4DBA-9632-C14486F42DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b401c9ac6a20c255bf613c12a5ecbe8c3a64e8e2","datavalue":{"value":{"entity-type":"item","numeric-id":4127104,"id":"Q4127104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$E998ED9F-EDCB-4836-879D-28212771AB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6ba1aaf49c79307e74bdb9bd3c8b461bda8238","datavalue":{"value":{"entity-type":"item","numeric-id":939013,"id":"Q939013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$6DFBB8F4-C827-4B6E-9A09-D255CA23942B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$1779FF7B-E22F-48A3-99C8-5550C9F318D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672bdbb01aff9fc0f6974c08be2c1db4dcb25d53","datavalue":{"value":{"entity-type":"item","numeric-id":3006716,"id":"Q3006716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$8291BF6E-52FA-498A-87B3-21B1158D5E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$2D50114D-BCE5-4CB2-944A-7E8C15484FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e1a3dd20066571ed26420de1fcdf5d26b72bb5","datavalue":{"value":{"entity-type":"item","numeric-id":5308464,"id":"Q5308464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$26869C0B-F240-4E9D-811A-EC8437021A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88d9f48f74f421576fdade1de250a250b0bbc10","datavalue":{"value":{"entity-type":"item","numeric-id":2847403,"id":"Q2847403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$7D2F8EDF-3F81-44AB-9A85-2C498A855100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091589f224a5b787775bd13e16a92e1f4e9c0b21","datavalue":{"value":{"entity-type":"item","numeric-id":3613020,"id":"Q3613020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$7D3889B3-39C5-4946-AB89-19CF2F431B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67730ded6c488a2fc8c6a5f15e8600be461907fc","datavalue":{"value":{"entity-type":"item","numeric-id":2388716,"id":"Q2388716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$04CE4C61-C8CE-45E4-B42A-4C4518C6B24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fc7e0b923579a32069fd502f08aac10358e7d8","datavalue":{"value":{"entity-type":"item","numeric-id":3999495,"id":"Q3999495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$EAD3AC59-49CA-4AB3-A851-A0E4FFC3116E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150d8ccaab0130b5657b514092f579888b271b59","datavalue":{"value":{"entity-type":"item","numeric-id":5703957,"id":"Q5703957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$7F35BE1D-6DD7-439D-B845-DE10DD05B0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e307b0730f4da25dea9f2ceae54402054443b2c1","datavalue":{"value":{"entity-type":"item","numeric-id":4736608,"id":"Q4736608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$187DAD05-EF21-4F12-95B0-DAF02660239F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe51e8ca511a5bb5ee4c175e518b6004a41de45","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$A0C96D50-5C1F-4337-8547-55AC960AD2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e1fd80467dc84caf0cb44a5833e48497a31a8d","datavalue":{"value":{"entity-type":"item","numeric-id":1601522,"id":"Q1601522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$6036546A-45A8-4C3B-A19C-0B1B9421E6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0322dfbd67af5f26116f993792fce80af8c9a45","datavalue":{"value":{"entity-type":"item","numeric-id":4417860,"id":"Q4417860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$62E0AFC0-98D7-476B-90D9-5BF6280227A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da291fe0aec0c935ea4169bb1d644b1e04f22e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770416,"id":"Q1770416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$C1B6B43A-3609-4FD1-844E-567951285CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aac5fc80d6b5dd2654373ac1513a53fac48bc","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$CEDDD277-2627-4EDA-AF13-522994F9C438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ae5fa721f724c2c93f9d1963970f6ff50e63ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864525$3D5311E3-ADA2-4985-99D9-E8F7ACF0A6C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e63387553a9d18e2842c2461d68d65cc1ff0f72","datavalue":{"value":"10.1016/J.ENTCS.2006.11.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864525$D3EA78E7-90F1-4308-BD0B-ED575614024A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65bb66549d8ea90261b2caa80f1392a7a30ba01d","datavalue":{"value":{"text":"Proving approximate implementations for probabilistic I/O automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864525$4F8D2E13-BDBC-4B3F-98D7-1F4EE6AD0EC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92667243cb4e153808acf159ae03302da2908f40","datavalue":{"value":{"entity-type":"item","numeric-id":1745718,"id":"Q1745718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbd671bca10e8733702f2f8329b1eafd56cf765","datavalue":{"value":{"amount":"+0.7887744903564453","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":"Q2864525$992B8A0A-66A6-4FE6-9332-A950243EA776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931b1d3f3d325aaa227ac71ed72aa0cc97b4bcbe","datavalue":{"value":{"entity-type":"item","numeric-id":1392272,"id":"Q1392272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975073fba8c75bc3f476476fbb121002a9f8dca5","datavalue":{"value":{"amount":"+0.7620207667350769","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":"Q2864525$75774DFC-8376-4678-9F64-7B3C3601F43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02dd5ca219ea6251944eb745c39c7b52d460e3e8","datavalue":{"value":{"entity-type":"item","numeric-id":5900566,"id":"Q5900566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fa8187cf9513d26607124042683bfbfaf11681","datavalue":{"value":{"amount":"+0.7574922442436218","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":"Q2864525$A66E7CDC-C1CC-4736-A731-79BF6191D452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09d21db597986d2f4388ce66ed3d1c8f2b1c853","datavalue":{"value":{"entity-type":"item","numeric-id":5756615,"id":"Q5756615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94285926845ec016200890f06e875795dfa51ac0","datavalue":{"value":{"amount":"+0.742395281791687","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":"Q2864525$6ACF02E8-69FB-48A4-83CB-B73214853682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11151f9884af4846a2c2083068fabda4e8fe0464","datavalue":{"value":{"entity-type":"item","numeric-id":2478551,"id":"Q2478551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c10a75f6b9c02b6f1cfbea1a2a1b4b58b60a1c","datavalue":{"value":{"amount":"+0.7315767407417297","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":"Q2864525$3C09749C-176D-4729-A6F5-06B86162DEF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864525"}}}}}