{"entities":{"Q6161460":{"pageid":13296341,"ns":120,"title":"Item:Q6161460","lastrevid":39736142,"modified":"2024-12-30T18:01:14Z","type":"item","id":"Q6161460","labels":{"en":{"language":"en","value":"Probabilistic weak bisimulation and axiomatization for probabilistic models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691958"}},"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":"Q6161460$20142DE3-5710-487D-B1FA-0BFEB04243A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c375cb69e4e9af96e677aee86fcdfee288d25827","datavalue":{"value":{"text":"Probabilistic weak bisimulation and axiomatization for probabilistic models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6161460$BC2D9207-1647-40C3-A809-9A198918A261","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$5A0A5D22-6680-4DBA-A111-19013E3CCA92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8660296342fed4fbe5b76d095c9c4f3b9b5c1bb","datavalue":{"value":{"time":"+2023-06-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":"Q6161460$66D6AE3F-F50A-4098-8237-35DFDC30E1F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161460$421E2834-E50D-4D56-9049-4C5A146169D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"311c44fd179811c803078c6c830ba7c5d8c58461","datavalue":{"value":"7691958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161460$1A198143-7342-41FA-BCCD-E0E8FCFF20A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161460$22D41B2E-7F09-4280-8A14-A61573834564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"979f21beeb59a429f7ff8f6fa2d05bd91bf8bc93","datavalue":{"value":"probabilistic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161460$387A4F49-9965-43F5-9E89-9957F87DC8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161460$66FAD84B-18A5-4386-898B-6963D79688E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161460$735D4D86-D116-4727-96F0-658E7FB5A923","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":"Q6161460$F119F319-7CEC-4164-957B-56199972337A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e8b45676f804285db2dd169825bbf854f4356be","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2023.106399","type":"string"},"datatype":"url"},"type":"statement","id":"Q6161460$DF3C4656-E661-4487-807C-CC7489CB78A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3ecc5f7f4050a998b6bf07f67f05205a0af77c2","datavalue":{"value":"W4366228175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161460$74E6D739-6C61-4247-B32E-E676D381CCE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"261dc7f2a2684d047eb00d226c6d60257b6a334b","datavalue":{"value":{"entity-type":"item","numeric-id":5497245,"id":"Q5497245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$CBE0FF81-5CA9-4173-AB03-EF4FE300DDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706ae2ba15e2889c187a1a746a8779f54b34abaa","datavalue":{"value":{"entity-type":"item","numeric-id":875517,"id":"Q875517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$FE65E681-4FDE-445B-9A57-C97459C18E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7430e2b6b767db744614fca3be6b2dc6c41fbc","datavalue":{"value":{"entity-type":"item","numeric-id":1633345,"id":"Q1633345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$0A112DDD-1DE4-41F8-976D-1C69B9DC1400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445048480dfb4c3e616600614a54290d80025c42","datavalue":{"value":{"entity-type":"item","numeric-id":831149,"id":"Q831149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$B82DF985-2286-4823-8884-BA239CFBE67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e315498576bed199cfb2d6d5f1addc3f3ae3a857","datavalue":{"value":{"entity-type":"item","numeric-id":3498438,"id":"Q3498438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$6329550A-EFB9-4EDD-8C27-B6102101F07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10e04f048d4b81a314de290e4814684536f028c","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$FEA75D75-F815-4D69-ABA7-C0CB56CC50D0","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":"Q6161460$FA3ADB13-3D3C-4695-A00E-E39A329C84E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$E5438765-B17A-449E-B363-4195A42CBC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$16B8F77C-25D6-40C7-94D0-187719472648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$FC515049-43F0-4C15-B9F2-A4975EC1D436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$3C0375D3-43A8-46FC-AADD-4BF6ABF5A128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$FE1A16D3-F4CD-43D3-BEBC-15D442DE325D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e1ef9cb7e6c3d526e9ea88e650453099a13a20","datavalue":{"value":{"entity-type":"item","numeric-id":1607220,"id":"Q1607220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161460$12353D91-E9ED-4B64-9C5A-067702E995CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99d34143fd4eae12a817e15ace1152d4a84bd3f6","datavalue":{"value":"10.1016/J.IPL.2023.106399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161460$35D529DF-016E-4653-8E89-007F3C987BF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6161460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6161460"}}}}}