{"entities":{"Q2878759":{"pageid":2889479,"ns":120,"title":"Item:Q2878759","lastrevid":83971190,"modified":"2026-05-07T15:25:02Z","type":"item","id":"Q2878759","labels":{"en":{"language":"en","value":"Refinement and difference for probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340402"}},"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":"Q2878759$C0DCF665-1AA7-4F8E-90DB-4C66EEA05A9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69aad0a1cc75dc694eee64b7dbd627baeabd9584","datavalue":{"value":"1338.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878759$A7350B0B-D394-4078-8500-65FA986975F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17c99d4d72f7d02dbf64df6fe46cecad9e6100ec","datavalue":{"value":"10.2168/LMCS-10(3:11)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878759$A4AD7870-2C25-4860-B669-54B97656BCEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a716993ce7ffcf19373e97e44f91ca996eb0c09a","datavalue":{"value":{"entity-type":"item","numeric-id":386008,"id":"Q386008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878759$C7A47929-6EED-47B7-BD1F-312F7F4AC27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878759$A709A996-97E3-417E-85B5-0577B02B1F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878759$A5E61090-E88B-4279-AED9-F5030A791623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878759$0BFC9C4B-A0B1-458F-9860-977401DF6F7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878759$CC834C02-114A-4F2F-B11D-3F60C4361ACC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"129eeaa36edfc12cfb30819e9dd17da235a8ab47","datavalue":{"value":{"time":"+2014-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2878759$A8C82DA3-CDF0-4C98-85A5-9F1494FA9814","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878759$B24EABC5-0964-4EC3-B7E3-DDD2513555E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878759$B5C118F6-19BD-45F8-85AC-20C2A5D16AA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86a2a9cf131e59525d3d6dff2a5ea31983908f21","datavalue":{"value":"6340402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878759$2443301C-7E61-4F49-BA04-0AE55E2A21DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752c09cf731d1ad75f442b74d94faa3296dfd06","datavalue":{"value":"probabilistic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878759$B0352B15-8097-490D-9202-B40F0D4ECDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92bf1d68f6d1cb303977ead5cf2a5d35dfbdfb4d","datavalue":{"value":"difference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878759$0807A06F-E41D-4760-AB43-9F76B45508E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0790746f6410ed142073636c3fdda5375d90359","datavalue":{"value":"distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878759$D90A49EF-D232-4107-B0AA-4E5E82BF2E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4914568f4a47d4488b4e0b32faffb9bb206afa58","datavalue":{"value":"specification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878759$14C9D2DF-6F30-4300-B605-F1E53FF30493","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878759$14AAEB16-76B4-4824-90F6-4228F9A17A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878759$E60AEE93-F01E-42E1-B038-1F09A223ABF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878759$194A51AE-2BCF-4E7C-BF19-BD23D7337BED","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":"Q2878759$F38EEEC4-F2C6-4A4E-855F-F2647C4362F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6566d80c19eabb70a7b27f6c2509ace2ebf43fce","datavalue":{"value":"https://doaj.org/article/ff49804158e94e009e7c107eda1bf7e6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2878759$83B9999A-5601-4A93-8E98-31F4B934B502","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac6c620ff59e75a5b72aa9bc951f28c3a65dd741","datavalue":{"value":"W4392629748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878759$B880A8BF-1C76-469E-BD3A-A0C2790D6DCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9d345370692ba697810a1b8031f8470a377322b","datavalue":{"value":{"text":"Refinement and difference for probabilistic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2878759$D91DFA08-B890-4EE1-BFF6-C654A38C35AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955a7b5b0e1d5bd801b77869d7b6ffa9693b1e5f","datavalue":{"value":{"entity-type":"item","numeric-id":386011,"id":"Q386011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eca73be96ce7a70b5a62d517cc4585925f420cd","datavalue":{"value":{"amount":"+0.8147771954536438","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":"Q2878759$02CFE673-4F68-463F-A5C2-CE59FC6D9627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0add54a764ac02f2329798cc005bc54762c5966d","datavalue":{"value":{"entity-type":"item","numeric-id":3075492,"id":"Q3075492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92180517ea976a606873c267aeee2aed4ca7905","datavalue":{"value":{"amount":"+0.8103739023208618","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":"Q2878759$CA4381B5-D813-405B-9B11-74814C660FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab58252298837bc3715f2560ef1552e484102e16","datavalue":{"value":{"entity-type":"item","numeric-id":3455842,"id":"Q3455842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16785823fa1aef6d43113bac5163bbc5af43d970","datavalue":{"value":{"amount":"+0.7867904901504517","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":"Q2878759$C96A1495-16B3-41ED-B6DD-DE24FCE05B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17cc23d813d805cbb94b279e5235f222e228826","datavalue":{"value":{"entity-type":"item","numeric-id":2436515,"id":"Q2436515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662b31b82e38c739d34636266090bb4c885a1d12","datavalue":{"value":{"amount":"+0.7865893244743347","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":"Q2878759$01255727-308F-463A-8F8D-FCB31D487C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ad0236e1122565125d0f3833c118c3574a4192","datavalue":{"value":{"entity-type":"item","numeric-id":5217312,"id":"Q5217312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1ea89f9c70b54048c47788581be3581dd4f555","datavalue":{"value":{"amount":"+0.7625414133071899","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":"Q2878759$C84EAF4B-58F0-4A4E-B8ED-8DD88B3D0699","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement and difference for probabilistic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refinement_and_difference_for_probabilistic_automata"}}}}}