{"entities":{"Q6040671":{"pageid":13122417,"ns":120,"title":"Item:Q6040671","lastrevid":39663830,"modified":"2024-12-30T16:53:06Z","type":"item","id":"Q6040671","labels":{"en":{"language":"en","value":"On divergence-sensitive weak probabilistic bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7687220"}},"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":"Q6040671$A2B1735D-DAB1-4B1A-8B5D-5854A4C2F1D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34779931772aac59c027993df58b55ce07bcd167","datavalue":{"value":{"text":"On divergence-sensitive weak probabilistic bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6040671$89E34F99-43F0-4B8C-9B58-33312AD30DB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0319b0d9e30035b6b20b61033ee4c4fde71739ad","datavalue":{"value":{"entity-type":"item","numeric-id":6040670,"id":"Q6040670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$FD39064E-7B9D-4099-8ECB-670C64A21E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff015b27d0b9c7ce776928539bf77e519ae46543","datavalue":{"value":{"entity-type":"item","numeric-id":276400,"id":"Q276400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$C7080463-6B30-4F41-8F07-9863101B20FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee079eae855f3dad7c8f979a67720cef98a8cc23","datavalue":{"value":{"entity-type":"item","numeric-id":330998,"id":"Q330998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$B6CF036E-EC68-44F0-92E0-0AAA09279F1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$7401ABC4-0E0D-4454-81FD-9DF2CCC61044","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87bc8820e8f60467ebff7364a344597b11c80b1e","datavalue":{"value":{"time":"+2023-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6040671$84863955-5CC6-4626-98DB-2599FB8527A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6040671$88F886B1-AE27-4FE8-929E-F3A48843DBE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b71c0f5aea4f8ff98da70461b5dbf7992ac00e29","datavalue":{"value":"7687220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6040671$6D4B6C04-47CC-49F5-BD4D-09D786F89227","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6040671$D3C02578-B1DA-4671-9BBA-A4AB29BC08FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752c09cf731d1ad75f442b74d94faa3296dfd06","datavalue":{"value":"probabilistic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q6040671$865E4E07-7963-4EE0-84F9-308975D614D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab160b8376f3a946a8a8e859ed7693e7a3a9cb3","datavalue":{"value":"weak probabilistic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6040671$288EBDD0-AD94-409F-83E5-F1BCC63AAE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6040671$CFD18F3E-30EE-4177-8404-B218F35A1FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6040671$11AE3D76-6F24-48F2-AECD-7675DF2FE348","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":"Q6040671$BD0EB7F5-62AB-46C5-B3D5-B96CDB730EE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d323d8d825d5a58109542bcf23de63754e9a2e0","datavalue":{"value":{"entity-type":"item","numeric-id":896706,"id":"Q896706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$8601E37D-7AAD-4BB6-B00E-BF571F67EC5A","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":"Q6040671$933653B6-F9EB-40D3-A9DA-49F08717D33F","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":"Q6040671$D1E29581-3761-441B-B225-E415FF03C4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$A2379D63-05E2-4638-8E7C-702CA82B08D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9c0245961c1f954095d9946ff0de7ea619b4e6","datavalue":{"value":{"entity-type":"item","numeric-id":698435,"id":"Q698435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$442B8EB0-58EC-4FE1-8CF4-5D81DD254DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57acaca409c758f44add32bdf32d5248711258","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$F13DE5F6-15F7-4359-93B4-9B2135C15DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a4b19b1fe8d1a4087555fdf950cb092445ddb1","datavalue":{"value":{"entity-type":"item","numeric-id":5370907,"id":"Q5370907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$BF5318A9-1716-4A24-B6E8-2F27D16256FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50895e62828b7cf698ce4e1f17fc67791cf4783","datavalue":{"value":{"entity-type":"item","numeric-id":5891113,"id":"Q5891113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$17DEB21B-8D62-410E-AA5E-98423B4C9391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b7740432e4336265e945966de7c08a93bb0f50","datavalue":{"value":{"entity-type":"item","numeric-id":5799972,"id":"Q5799972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$174FE3FE-FA61-4E93-A52E-226D2338C54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b223d283485be4b9a7eb7d9249afdddb6b9f66e4","datavalue":{"value":{"entity-type":"item","numeric-id":282105,"id":"Q282105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$6B17A465-B0D9-4704-B4A8-1A956A76D7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ee182ed547c34efddf0b14b92016a0567e7200","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$E8055E41-D2F6-4907-B90F-6E7239B475C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0636fb432a900359a6f8d1f7c4517ee0ebee8012","datavalue":{"value":{"entity-type":"item","numeric-id":498403,"id":"Q498403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$DFC4F0EE-D7E0-4301-828B-7956CE9976F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$E68D241A-11EB-41B9-B7D6-27FBB4DFD52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$16B03787-9108-4F23-8B14-CE30778AACCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46552b7a5707ec562b440c80dc116bfa0f905cf","datavalue":{"value":{"entity-type":"item","numeric-id":3184679,"id":"Q3184679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$B53C53AF-E3DE-47F7-BAA6-3F1AD6DBFBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf5ac82baf1a56bd6a092ec099b493c2d48bf27","datavalue":{"value":{"entity-type":"item","numeric-id":5089272,"id":"Q5089272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6040671$562CC6C8-764E-44CC-8F02-1449204FEF5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b9266c5311da0e004cb82d5f1734eb18ca73141","datavalue":{"value":"10.1016/J.IC.2023.105033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6040671$0F87FD5A-2277-484E-AB1D-651A35E63E50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6040671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6040671"}}}}}