{"entities":{"Q1798789":{"pageid":1809531,"ns":120,"title":"Item:Q1798789","lastrevid":72983058,"modified":"2026-04-14T09:11:12Z","type":"item","id":"Q1798789","labels":{"en":{"language":"en","value":"(In)finite trace equivalence of probabilistic transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6962934"}},"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":"Q1798789$8CAC69AD-1C69-4F12-922E-4D3CA2FE7119","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ae432ab0273d3df63b6cd2bf0188c18638b7b6a","datavalue":{"value":{"text":"(in)finite trace equivalence of probabilistic transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798789$A24E1210-FBFA-4ABA-9781-F6B7ED9088D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63b43e4918bc3be515ccf2cce8e733692ff93ff3","datavalue":{"value":"10.1007/978-3-030-00389-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798789$EF5BC90B-CF2E-4E4C-A2C8-F91491735CD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43afffffc35c80d9f5baf8005608ec700aa969e","datavalue":{"value":{"entity-type":"item","numeric-id":1798788,"id":"Q1798788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$FD51A419-3582-4887-A7EA-10F91E242BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$E7124D6B-E087-45FC-8529-902BA3203D1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6bcb28ae86aeca9fbed36b824032693bb3a4a24","datavalue":{"value":{"time":"+2018-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798789$9F249343-E149-44D4-A57A-132D81FC5AE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d09672f2afefa30ff3f05ed849aacad930b7fc77","datavalue":{"value":"http://hdl.handle.net/2066/197615","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798789$B579C008-9E93-4D0A-867A-779D56F0476E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798789$53BE776C-E960-46AA-A9D2-87E02D72F6ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5642f39680b2aa640948d0b4aa56ed3acb47ebc","datavalue":{"value":"6962934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798789$17EA1F92-8690-4052-81A6-030FB8DA6A27","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":"Q1798789$D58E720E-B02B-4470-8A17-C795B38506A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d6d02b48fd76660ee735fb5a7b41b931523ccbe","datavalue":{"value":"W2890034443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798789$6EE8F037-E01E-435E-897F-5FD9227BAA04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"888cd577cadc8d139d40b8c03273c54c5841d53f","datavalue":{"value":{"entity-type":"item","numeric-id":5386174,"id":"Q5386174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$2547F33D-FB56-4237-8697-DDEF153594AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09bb74c2259b7aaf2745747a6b846691662fc99c","datavalue":{"value":{"entity-type":"item","numeric-id":3303913,"id":"Q3303913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$06656D1E-5D7E-4156-84DE-29103AEDDB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2492274137c4b617350f8d9336d65412a34d4985","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$61098607-1036-429F-BB5C-9C8BC62579BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$A016B646-B4C4-4C40-8AED-A12B6E408774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4713601d1c8ef967eab0ecdf7000bf6ea50cd8","datavalue":{"value":{"entity-type":"item","numeric-id":5111636,"id":"Q5111636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$784AC6E7-473E-4C4E-A274-0722037F42B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d5a4d4528e5d2cf08c3a506a8e781545d73d54","datavalue":{"value":{"entity-type":"item","numeric-id":3184672,"id":"Q3184672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$DA66771D-19E6-4A15-BB3D-E7361651A888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5c03aede2942d03ff8c30298a92b4d24372893","datavalue":{"value":{"entity-type":"item","numeric-id":4589615,"id":"Q4589615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$0D451B31-2053-4F92-A030-810239DD93BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$2363C06F-30D6-4778-90A9-25DC1850AAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$4898961A-01BC-47D2-92CD-002A94235B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$441A9DDB-9DE8-42F1-8C82-EC81783C0287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5724109fecf65b1641c20e7444d3eb0a34b2844a","datavalue":{"value":{"entity-type":"item","numeric-id":2341701,"id":"Q2341701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$B1362CC8-BB3F-4A59-BEB4-51E7C9D17EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d33770974a3c359a6042866b7bae593340956b","datavalue":{"value":{"entity-type":"item","numeric-id":2871468,"id":"Q2871468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$BF517116-5ECB-45F6-90E0-80CC7D2A0E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0af97a0ac645fba77ff2c7bddcc3df639abd969","datavalue":{"value":{"entity-type":"item","numeric-id":2465364,"id":"Q2465364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$B62A8CD3-A7B7-4E02-AECE-3BC2DC6949CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$0CBB1D16-9411-42D6-99DE-A7D8FBDE2A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b211f7d9b79af80c89593f1677fce650e50849f","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$69A75E3C-0672-4596-9ED4-E668BEEDEB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a04f2923cb60b1d38acdc06d7cbc43779b1e66","datavalue":{"value":{"entity-type":"item","numeric-id":5739363,"id":"Q5739363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$952AE1D2-7F87-40FF-8592-0DCA48E68F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8157a29376ddf64165229cd4cb7a085c0eff46f","datavalue":{"value":{"entity-type":"item","numeric-id":639648,"id":"Q639648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$7CCB13B4-E825-4BA4-9EF8-005AA41CA9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9918e2b26840847dcbe04317f79eb079e28cd161","datavalue":{"value":{"entity-type":"item","numeric-id":5275359,"id":"Q5275359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798789$4B436826-9245-4F49-ACFB-9E37F8ED69C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27866ed721803aeaa9558fb0be624e583324e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":4032309,"id":"Q4032309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbcb9480aee87d82dfed597524fe6af8579758a5","datavalue":{"value":{"amount":"+0.8281378149986267","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":"Q1798789$FA7EEB98-627D-422E-A8E8-45BCE7A754A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad61201d57158c30f31d86e3c9758d60fc0f2ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5311474,"id":"Q5311474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107f9ec20caf60d1cab8dfd668fe22fe0147d208","datavalue":{"value":{"amount":"+0.7843160629272461","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":"Q1798789$77D831DE-198A-4B8B-80AF-CB94428FD171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552c48f1c538e252112cef596595d2b8f3a84bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2482725,"id":"Q2482725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922b57e820b2243ef965c090cd6c8cf056b755bd","datavalue":{"value":{"amount":"+0.7843159437179565","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":"Q1798789$6CF3EFF5-D6B6-44A4-8AED-0FDFE1DC5FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25605c5c874dea6835fbb39a15699dab8225375","datavalue":{"value":{"entity-type":"item","numeric-id":2988377,"id":"Q2988377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3189d67e6f51fcce6af5db59567a7abad1a13f","datavalue":{"value":{"amount":"+0.7778170704841614","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":"Q1798789$2DA77BE1-3881-41EF-A088-7BE68325765F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcd32ab3ded823123139659606dcf2694368238","datavalue":{"value":{"entity-type":"item","numeric-id":5739363,"id":"Q5739363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02450d8b1b9c759a38f9a2d5af1fbde757328ddc","datavalue":{"value":{"amount":"+0.7753455638885498","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":"Q1798789$EA314C5E-CBA4-47BC-A6EC-7F6C9B65476F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"(In)finite trace equivalence of probabilistic transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/(In)finite_trace_equivalence_of_probabilistic_transition_systems"}}}}}