{"entities":{"Q2946748":{"pageid":2957468,"ns":120,"title":"Item:Q2946748","lastrevid":52347569,"modified":"2026-01-22T10:12:24Z","type":"item","id":"Q2946748","labels":{"en":{"language":"en","value":"Logical characterizations of behavioral relations on transition systems of probability distributions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483241"}},"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":"Q2946748$15499D19-A832-416A-A4E0-0E2B2B097534","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"769c4afc85df29c7d320a385f74aaecc6161f328","datavalue":{"value":{"text":"Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946748$9E3F9B72-2F2C-4A0A-AFD4-36F264DF744C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04e737e264554102d8dc500fbfc54217bc73ddba","datavalue":{"value":"1354.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946748$E0A0DF3F-7460-4422-BE63-9AB6D2700FDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da7d85259eae06cb0b3eafd8c1d61d36c29ca804","datavalue":{"value":"10.1145/2641566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946748$FAC7F0AF-477C-4C07-9874-8CEAB2CB6051","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90895b93f6477dbed2fd5c5f6a5817499c9aec93","datavalue":{"value":{"entity-type":"item","numeric-id":453543,"id":"Q453543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$F5AC90B6-06AD-40B6-9142-B3883C07315F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$CCEE2A6B-C184-44DB-AAE1-BF9386F210C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$81F3CFEF-3BC6-446D-9AA8-8108D5202C9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946748$28F14B6D-3849-482B-BB91-582C17BF5839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b98d43162e6b13853007848d66559a38c0854174","datavalue":{"value":"http://hdl.handle.net/11577/2961100","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946748$9D7EAC98-8EA4-4E76-9CB7-AC7D5265B090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946748$5B5DAC42-255A-45BC-850A-C8767B600723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946748$F13174F7-F286-4D88-9A60-294BBEE217B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946748$30ED7F15-FE2D-464D-9811-87343A58D19C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9028d15a0552310022732334b58657931b7fda37","datavalue":{"value":"6483241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946748$36B2F6DD-0FF9-4930-AEF7-61672F5B324B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946748$DDA65F8F-003A-4A6F-B3B3-21542613B792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b68ff4406d872f13688c82ffa31a0452f376acbe","datavalue":{"value":"probabilistic labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946748$C745418E-FC64-42F5-8E06-7EACB12EDB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946748$A9D6D96C-A3BC-46A7-972F-50F1CC507E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946748$47C3F4CC-0462-49CE-96AD-73D3764CDB4A","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":"Q2946748$566590F2-B77C-4C76-8DE0-217E2A56E33E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af64400f07be1ce3febef5086cef3c16254b18db","datavalue":{"value":"W1989849430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946748$29083109-D5A4-4236-9A84-7A0FD5BD8079","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$84007EEF-A6B0-4F52-8E04-47B3857E32DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$22B1A630-B46B-4E2C-BD45-A59995DB94FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8109e943f5c69711df441f6afdcb1d6ee7b7e0f","datavalue":{"value":{"entity-type":"item","numeric-id":3012928,"id":"Q3012928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$F429EAC6-0C03-4C97-BBE1-0898250D746C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b009e5d14a4fb6b05d369fac18728e64cfaa376f","datavalue":{"value":{"entity-type":"item","numeric-id":3090826,"id":"Q3090826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$92CC4F62-A5F1-4379-883E-35840D4180C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9b3542afef9b7d7b8664dc5e5aabaf7b4bfeba","datavalue":{"value":{"entity-type":"item","numeric-id":453545,"id":"Q453545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$F295F35D-9EBE-4ECD-9380-31A846F80F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48613c77d62a14fb032775f4b6795645924510eb","datavalue":{"value":{"entity-type":"item","numeric-id":4933311,"id":"Q4933311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$266C6351-E38F-43A6-9E86-9EA9D4FCC0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7b52efa5c49f9efc8f854d031b835d61617bf","datavalue":{"value":{"entity-type":"item","numeric-id":3623001,"id":"Q3623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$6D9423EE-D485-4E8B-B981-7EF880F43933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c62dbd19ef1e84aaaa2b095c3c41d3e69d8080","datavalue":{"value":{"entity-type":"item","numeric-id":4484498,"id":"Q4484498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$E96528B0-807F-49B8-9ECA-2833D3A89EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$2C73DBC4-F3F0-4B5C-A65A-13E56170F32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a56b54cf5d1c5ab4eb5e1acf25bda9e1ec3971","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$0255DD5B-9ECB-43EA-981A-36D3AAEDF266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8432f01401c49ada6550faac9dbee25ecd47b2c","datavalue":{"value":{"entity-type":"item","numeric-id":627128,"id":"Q627128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$F8BAC118-CDA8-42AE-8E67-347FEC18FEEA","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":"Q2946748$092AC221-6AFB-46A0-9426-D58F8A7045C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$22505DA9-349C-418F-8C53-3945EB0981C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$A2C8937A-0E50-4ABE-8513-C2579D73A357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$F034EC84-4E1E-4544-A8BA-EF4F2B960AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d291d754d0cd452557c8352d0248f0cc56e3bef2","datavalue":{"value":{"entity-type":"item","numeric-id":3623003,"id":"Q3623003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946748$FA2A7EC3-5122-4D54-AEEB-699203F6D218","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2205b0a4fc2df21258e215775042aff2d1cd7c98","datavalue":{"value":{"entity-type":"item","numeric-id":3090826,"id":"Q3090826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8513f3a245631b97fb5aa2e5d4236f533a2fccd1","datavalue":{"value":{"amount":"+0.967066764831543","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":"Q2946748$38E9CC02-609A-4BFF-90A3-A2ACC6B97701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c486602f8336e7d9263d4bd03c9eda9f18a3336","datavalue":{"value":{"entity-type":"item","numeric-id":4608588,"id":"Q4608588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14060ee9218bf0aad39357b64c937cd7f8853f24","datavalue":{"value":{"amount":"+0.8295159339904785","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":"Q2946748$AFD37F33-DFDF-4DC1-8B12-F5733DB09E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11cdf29caa07a9f843ffa8b503d3b8cda24aa5e","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248f54634aa7e58fb7ff4369c3fcbb2f84bec404","datavalue":{"value":{"amount":"+0.8180049061775208","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":"Q2946748$9B7B92F8-9885-42D8-9BAB-C1FC920B0008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27be90a18914037a481652af0d8a4ab64e2f109e","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24198ec24ed6e4773c1daecc01855ab83d306b90","datavalue":{"value":{"amount":"+0.8161973357200623","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":"Q2946748$0BC0028B-B23A-42D0-AA4C-879AB0A1B0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7399737823428672f9cfb76c9043353de824b4c5","datavalue":{"value":{"entity-type":"item","numeric-id":2830042,"id":"Q2830042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e973add19c8d28773c30fb69ef3c05c36169e9","datavalue":{"value":{"amount":"+0.8036108016967773","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":"Q2946748$F8B96175-C63D-4AAE-996D-307034C4C2B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946748"}}}}}