{"entities":{"Q5756615":{"pageid":7786166,"ns":120,"title":"Item:Q5756615","lastrevid":50157803,"modified":"2026-01-13T07:24:48Z","type":"item","id":"Q5756615","labels":{"en":{"language":"en","value":"Probabilistic I/O Automata: Theories of Two Equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187272"}},"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":"Q5756615$40077241-1954-46D6-84D3-8DE31F52319E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41d33cf5fbd66a5cfb35fc8989146ee32bf8c950","datavalue":{"value":{"text":"Probabilistic I/O Automata: Theories of Two Equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756615$686BD2E7-6F65-49AD-8E8E-8144F1A28FD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"049174afae0ae8aeac2144af94d541d4038407d1","datavalue":{"value":"1151.68554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756615$6B3B3376-3D73-4F9D-AD12-6A0D7B21CA4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"161513b7845bd171ef1cf16cbb953255b4594850","datavalue":{"value":"10.1007/11817949_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756615$95944E4C-ECB3-4F83-A2A0-338938F2EC73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfeaf8f2840402c0806ed3904330484ee088043c","datavalue":{"value":{"entity-type":"item","numeric-id":1095648,"id":"Q1095648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756615$92358FB6-6653-4C41-AFB4-66B2767E7BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756615$1C82CD99-F793-4071-9CE3-D7FF549680CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756615$6B71C219-3C30-4BCA-95BF-12FF8A65BA6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f8f253e349e54e13b7bb591e43e3d03254b865","datavalue":{"value":{"entity-type":"item","numeric-id":5756587,"id":"Q5756587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756615$E12096B1-8E83-479D-B4C6-8FEB5E945851","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756615$CD26B4DF-4FE2-4C49-9D17-DA3EFA7DB5B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756615$90F6E5ED-6D45-4B8B-BBC3-F8FDB33062E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756615$9E75F2B4-28B2-477B-9836-CCCE69A39B8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fc905a1c223217c5dc0bb2e3152e057e0959146","datavalue":{"value":"5187272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756615$1085A392-FEF3-439F-949D-EE3107A2B408","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ba81d9d04c258313876a0be7557d096c7003b7","datavalue":{"value":"stochastic process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5756615$0453F43E-802E-44BB-8AF4-503392D15EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e363205191e8c933c09f3f29ea98be6fc0e8c68a","datavalue":{"value":"process equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5756615$7D593B18-A21B-431E-8E26-B1FAFEFF4EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b1e0024e7e32a8458eb21e73fec9565aa0dc32","datavalue":{"value":"continuous-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5756615$BF71B26A-2FEB-474C-8FEF-7181C56A9121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5756615$4E10226B-6C27-4CD8-A346-E1061125BAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a964766e10024e6589494f4ca7cc2460a717f27b","datavalue":{"value":"complete axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5756615$7FD1B743-FF1C-4078-B432-D1949F9BDBA3","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":"Q5756615$0A751B4F-39FE-4D6D-83C2-4F9E6D98888F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf7b2f4c11927de908ce4be12d049526dba4aebf","datavalue":{"value":"https://doi.org/10.1007/11817949_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756615$735AFE68-D528-49B9-AEFB-FABC05763503","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcdf5c6079fd5f9c17d38c51486278293f1d0b2e","datavalue":{"value":"W1572802408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756615$DDC229F2-A977-42DF-8AD9-429EDDE8334F","rank":"normal"}],"P1643":[{"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":"5df900263811c3327266e7cdb6c39ad1840d54bc","datavalue":{"value":{"amount":"+0.8695468902587891","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":"Q5756615$38FB4B98-0F83-4081-B360-7004BF0F2206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c986fc26ff067e6cca2571cdd9b3424c8b7c37","datavalue":{"value":{"entity-type":"item","numeric-id":4449542,"id":"Q4449542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9526ea0ebacfd2b5d4efaa6949d889d20c8ecb","datavalue":{"value":{"amount":"+0.869022786617279","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":"Q5756615$A28B1438-0159-45C3-88B8-0709D29D46EC","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":"c396b837001b58aeebfdaefa8c8c8c3f42962e4a","datavalue":{"value":{"amount":"+0.7973386645317078","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":"Q5756615$915CCDDA-CF12-40EB-BC38-813739FA42E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a480789f173c062a23ed88678e013af5b800c6","datavalue":{"value":{"entity-type":"item","numeric-id":5705912,"id":"Q5705912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3102beb4d3eb85aaca9fd0d9438dd6156fb0bd7b","datavalue":{"value":{"amount":"+0.7913568019866943","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":"Q5756615$8BB08226-3CCA-4101-8945-92A1AC42949F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e32d32a39f64502db2d0ed8b533d9c558a2ed03","datavalue":{"value":{"entity-type":"item","numeric-id":875517,"id":"Q875517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee767f98c4d9920a5cb03f6e2a6980476bb6a76","datavalue":{"value":{"amount":"+0.786192774772644","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":"Q5756615$28DFE015-78C4-4FEF-8AC6-8CCA117FBCAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756615"}}}}}