{"entities":{"Q1758671":{"pageid":1769413,"ns":120,"title":"Item:Q1758671","lastrevid":51598049,"modified":"2026-01-19T00:13:11Z","type":"item","id":"Q1758671","labels":{"en":{"language":"en","value":"Unifying behavioral equivalences of timed transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107867"}},"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":"Q1758671$6BA5114C-1562-4D2B-9380-1C85BB49F98D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55ef1f43f9ec4a67c72da03dbf49aba3b314ba5b","datavalue":{"value":{"text":"Unifying behavioral equivalences of timed transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758671$0C46EC9D-CD68-4FC6-8C5B-EB67FF9DEC62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30b3325939afbce7663348f77568515c40644268","datavalue":{"value":"1251.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758671$827E9AF3-EB82-4128-A5A5-0F120D4250CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1511873cb73658a0121989704d1c68792a5b85c","datavalue":{"value":"10.1134/S0361768810030023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758671$6FE6E557-348B-4493-9AA9-8D734EA689B5","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":"Q1758671$B4A65AF7-30BD-4E20-AAB8-9813AFB8774E","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":"Q1758671$DB962FB7-400C-4D7D-8E58-ADF1F1576EAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$83629266-545F-4BE9-A6F4-A86D7956A199","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1758671$BAD8867A-B379-4769-96CF-88BB4129998A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758671$92FEE916-4EA6-4736-9410-E03512AD815C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db35b417491a191af2da4df831a321a8dffd2333","datavalue":{"value":"6107867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758671$D68B3199-0418-4AF4-B315-3AD65FA7F7C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78bd603a626a1ffc91825b1c17a9a7c1dc33721","datavalue":{"value":"timed transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758671$ABB04100-3DDD-4640-AE3D-408FF27F3AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758671$21B2FD85-412D-4472-876A-8F6407377E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758671$ADF56A5B-D253-44CE-808D-DA644654A70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4232164ccb14df204d9f7f806e998db607ef1825","datavalue":{"value":"open maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758671$6D13747B-D966-4FAD-A41F-4C30D5386893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ba1ab8b33e4d40f230bbf6f2473ca68af275cf","datavalue":{"value":"timed behavioral equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758671$E8FE190A-36F4-486F-879A-BF8A53607B4C","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":"Q1758671$CE9BA0C7-77FB-4E3A-BC1C-D429F2C77772","rank":"normal"}],"P223":[{"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":"Q1758671$E37DDDD1-8F4D-428C-95E0-D6D554FB13BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$B0E17E08-43BF-456A-8198-0C4654ABB7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$0C3797FF-64CD-4123-824B-8D1D4C47B78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$176D9CA0-B2B0-4EF0-8821-83E7D9BFAB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$E703D859-4449-4681-9D42-5C53D6233BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72825169f3737b24ee3dc1aa79e01fa56c506c4","datavalue":{"value":{"entity-type":"item","numeric-id":2956688,"id":"Q2956688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$AB7DE9EF-6664-4DC7-97FA-DD14111074C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ce5004c92ebc4ada086a08bcc10802cc0cf142","datavalue":{"value":{"entity-type":"item","numeric-id":5705872,"id":"Q5705872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$50BA8B0A-178B-4059-9E50-C849030DBE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$CDFF1F44-5958-45E3-A506-2323A6C4E8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062de6d59242e677221752cacb7611c297bffc82","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$F0B06FEC-123D-46E1-A121-12152326D745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc1fbd3a5b98796f839fda0f3c43c059ca59b72","datavalue":{"value":{"entity-type":"item","numeric-id":1924998,"id":"Q1924998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$17C8E1DA-7F6F-43E0-8559-A701B5565B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be50b5334410fd841f4c99a9516446c5db884bf9","datavalue":{"value":{"entity-type":"item","numeric-id":4818753,"id":"Q4818753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$F7EC51BE-240F-4239-A3D4-F32089DBB8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5205284af866ee1b285a1ea50aa157df7e85d90","datavalue":{"value":{"entity-type":"item","numeric-id":672231,"id":"Q672231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$807C0431-8860-444D-9A63-4603F677D5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008545320d70ab26385889dabe141129aea74ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897965,"id":"Q5897965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$2FBC9127-C72E-49D3-A801-3442837C8E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438fa22491bd5c78c2cd4d239c55123667728d33","datavalue":{"value":{"entity-type":"item","numeric-id":5897967,"id":"Q5897967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$9AF1B0DF-9AB1-47D2-A34D-8DF455A5BAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3409d04b378a49e884b7f4d17974c6cfa5170676","datavalue":{"value":{"entity-type":"item","numeric-id":5494305,"id":"Q5494305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$0C68314D-50FA-495F-9195-5A207904214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87859d93de314e1f0d3d9bbcfdd2ff2b4163ed8b","datavalue":{"value":{"entity-type":"item","numeric-id":4507811,"id":"Q4507811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$CAD5AFD0-5F42-4DE9-B7BE-109ED9FC3BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21271315d6be3e6807a67c6fcf84b8a0db260922","datavalue":{"value":{"entity-type":"item","numeric-id":5486046,"id":"Q5486046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$DF1AF02E-3763-4BF5-8340-7A413E18D497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd3d1cc3aa58e500977b0aa63eff8d98a0083a8","datavalue":{"value":{"entity-type":"item","numeric-id":4265624,"id":"Q4265624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$4C504CEF-4201-48C3-8005-55BA372C84C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682b8d274e012c20252ea5d1f33efe8f0806b2c3","datavalue":{"value":{"entity-type":"item","numeric-id":3183618,"id":"Q3183618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$C0E3103C-B332-4D94-9741-E3C17687BA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e47da2a0d92459d55d3ca869aa6b2a9509aef1","datavalue":{"value":{"entity-type":"item","numeric-id":5192929,"id":"Q5192929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$F2B4D3D4-C6FC-4DE5-8135-0B11B5C216E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$1C85E661-5EE6-4CB5-BE6F-7F8604147C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$1F008D91-5F24-44B4-B2BB-AD35ACD400FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0530baf7a1f195d7b7b6c7924e772908c7c1a9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5897963,"id":"Q5897963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$148676EA-8A0B-4660-BFF3-9FCC7E2D80FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0407a215480ddd9e54d8be6c2e28e9e0490e5298","datavalue":{"value":{"entity-type":"item","numeric-id":3522916,"id":"Q3522916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$F7519DBD-C7E2-4897-9081-868AAA5D0FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace3fda645fc1bc41d0e17513fe6ba61bd5f5189","datavalue":{"value":{"entity-type":"item","numeric-id":1575828,"id":"Q1575828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$7105C4BB-A619-4DE8-9B0C-608A662F8A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb4168e06b9f07252f0d4651c8b05749e149f88","datavalue":{"value":{"entity-type":"item","numeric-id":1338199,"id":"Q1338199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758671$26053D3A-CD85-4A95-82C3-BDF360A20C28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddc1bd0825bdc91584eb3aa1e72549e015c1b23d","datavalue":{"value":"https://doi.org/10.1134/s0361768810030023","type":"string"},"datatype":"url"},"type":"statement","id":"Q1758671$252AD70C-4E81-4DF3-8AB7-8390ABF9857F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e8275be44c3ce106c33b5bf45baafc5e9b12dc1","datavalue":{"value":"W2085191369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758671$A7608CE8-A8B6-47FA-9D55-D5789434980C","rank":"normal"}],"P1643":[{"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":"d94e9f8dc62c5a8117cecefcd0d0740c485846b0","datavalue":{"value":{"amount":"+0.8902291059494019","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":"Q1758671$DCC507F6-1682-423C-B302-927D7683F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef0ad68e2d4fc5fc3234cf353375e68702f27f9","datavalue":{"value":{"entity-type":"item","numeric-id":3121518,"id":"Q3121518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab055ecc6d0923397e32b750fd8eb18cf5a502a","datavalue":{"value":{"amount":"+0.8736048936843872","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":"Q1758671$A76DD321-7079-41CB-BDAA-E441135A7F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0375af7929f0f6c253fafcdc962da3829882bf49","datavalue":{"value":{"entity-type":"item","numeric-id":5192929,"id":"Q5192929"},"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":"Q1758671$24BAEC76-2FDB-42D9-A887-7F61DAFB2567","rank":"normal"},{"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":"46c2280296caef86e322d73a68df06b991952482","datavalue":{"value":{"amount":"+0.8258891701698303","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":"Q1758671$254BD75E-13F2-4351-A3F6-7A546BC9EC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5883bbd62673ae1d7649211df713e98e479583","datavalue":{"value":{"entity-type":"item","numeric-id":2885252,"id":"Q2885252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9274442fadfbffabf686806fdd6acdb6a759748","datavalue":{"value":{"amount":"+0.8119567036628723","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":"Q1758671$24C10F22-5A64-42CF-BD60-B5CDC32F7FC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1758671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1758671"}}}}}