{"entities":{"Q5192929":{"pageid":7222501,"ns":120,"title":"Item:Q5192929","lastrevid":50741747,"modified":"2026-01-15T00:20:15Z","type":"item","id":"Q5192929","labels":{"en":{"language":"en","value":"Timed delay bisimulation is an equivalence relation for timed transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5593267"}},"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":"Q5192929$D611A78F-28B4-4BBD-B792-236ABCAA85D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"373e6f1cbfa4b410f45910ed49bee9f7e035c0f6","datavalue":{"value":"1191.68437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192929$E0094F28-0EBA-48F6-9E2E-070A413E29A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc197e2a386f082e9cad3ba00e1298812ad2a529","datavalue":{"value":{"entity-type":"item","numeric-id":174077,"id":"Q174077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5192929$F1E5EF7B-DD96-4A90-9A9A-FAA450310CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c1980a78f35fda123e65879d76aa809158bdc5d","datavalue":{"value":{"entity-type":"item","numeric-id":2280182,"id":"Q2280182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5192929$C146DCDA-4231-48D2-9E03-BF106E302A95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506c1325d3a4f4147f4f3add6b73065b15a733fa","datavalue":{"value":{"time":"+2009-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5192929$A4B655B7-720F-4029-B4F1-6DB854DD24A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192929$94EA2241-CDBC-4C6B-97CB-C39C0FD73F12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bda186e22aa4d0a51084f37edd3fa445f8d99be","datavalue":{"value":"5593267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192929$7B164302-68BA-46C5-9654-F10A035FEFEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78bd603a626a1ffc91825b1c17a9a7c1dc33721","datavalue":{"value":"timed transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192929$EFF39DA4-9730-47E3-8040-A080D346CE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1770e1cf69eac0eaa509f239d1a4c8ea256ef890","datavalue":{"value":"timed delay equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192929$1610C355-E501-4952-B6F4-29326320C07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192929$E99F80CA-1010-4785-B5FE-C8D597148F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4232164ccb14df204d9f7f806e998db607ef1825","datavalue":{"value":"open maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192929$8677D428-06F8-4BF8-B153-CEDE941E0DA4","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":"Q5192929$61DCB109-6399-4E30-87C1-0B97DB27B040","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9eca9d99be856c6b5a409fa67eaf8af96b2cb9a","datavalue":{"value":{"entity-type":"item","numeric-id":3569097,"id":"Q3569097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8d7913723a1fb6f4cb7a8d5882abc8edf17e57","datavalue":{"value":{"amount":"+0.8777441382408142","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":"Q5192929$A739D821-7D5A-4412-9D19-1A3308381065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd21f0e2111ebe6b1be4a71b0a7ad683a6993c3","datavalue":{"value":{"entity-type":"item","numeric-id":1758671,"id":"Q1758671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23cc4a9442b92487fe47a7a892e5bb1d4fce192","datavalue":{"value":{"amount":"+0.8413337469100952","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":"Q5192929$618B6D48-77F2-4340-BBCB-611C505999E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fc6f4390b257dd373c3e26d682b9e479193e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3008110,"id":"Q3008110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efeaf4d965623d353df5cd030277f66d0602b2b6","datavalue":{"value":{"amount":"+0.8412607312202454","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":"Q5192929$B02B8153-A8EE-49B3-86F2-FF2E37D2E69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9878ba5dd8a6a1e1707f615b6648511d20f0317d","datavalue":{"value":{"entity-type":"item","numeric-id":2963893,"id":"Q2963893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc68808113a692e401ce776a0400631a9f00ba7","datavalue":{"value":{"amount":"+0.8262602686882019","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":"Q5192929$84D50B49-8B06-4173-9606-E4B2094A4FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07575f03072a895f19651ea2a6cc5708e9438ae2","datavalue":{"value":{"entity-type":"item","numeric-id":4265624,"id":"Q4265624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2eaf9ea58f1aa4f9ebb47e2f418908b86fe790e","datavalue":{"value":{"amount":"+0.8230500817298889","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":"Q5192929$B1EA2F4F-CAD2-4EB0-8EC6-0E165C2C979B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5192929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5192929"}}}}}