{"entities":{"Q5486046":{"pageid":7515606,"ns":120,"title":"Item:Q5486046","lastrevid":92460398,"modified":"2026-06-05T01:46:17Z","type":"item","id":"Q5486046","labels":{"en":{"language":"en","value":"Observational equivalences for timed stable event structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051638"}},"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":"Q5486046$D54EAA4C-F57E-4972-92B0-0F76A6179F24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6149aabebbbe9d05e1ded11aed2e9d2abcae4396","datavalue":{"value":"1097.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486046$3CA46E4C-8AF9-4593-AFCB-518CE6E8B79B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58ec55f8737d5b04557754220f4d57b80c84c112","datavalue":{"value":{"entity-type":"item","numeric-id":2880594,"id":"Q2880594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486046$3A2EE718-A2BD-4E56-9998-7AD18D64C1E8","rank":"normal"},{"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":"Q5486046$DAC3348D-84D9-4B8A-BB78-330221EDCA20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486046$11B4056A-7A45-41B1-B908-33557637D912","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486046$23BFDB45-E8F0-4585-B290-2BFD557909FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"051163404eac98a3c351fd7aa0ea57e8ce3bb9c9","datavalue":{"value":"5051638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486046$6EBF278B-8458-4ACB-80C0-1E70EB5D7406","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486046$F7A4BB05-CCFE-4CE9-9093-FE3AA0442432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71872bcdf64e4f70f85890aa4cb929bf44469acc","datavalue":{"value":"comparative concurrency semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486046$7250DE15-2D8A-401A-AB17-E126FD9F1031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0636deed5aa2016f414be6e90aa152a72f61b966","datavalue":{"value":"observational equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486046$3D4F1FB7-200F-4B92-8A76-01297213207F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d234bb3850ec3b0483144f797145a0f552c3cbf","datavalue":{"value":"timed event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486046$9E2D5578-9B97-4F04-8E88-DBE438B76FFF","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":"Q5486046$048BEC9E-D74A-4239-8059-6E5D8F54452E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d106f95262d388d6a695fd3626ebcfb19f161a","datavalue":{"value":{"entity-type":"item","numeric-id":3043824,"id":"Q3043824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc32af7644347f774fdb7bbb9aab237ddd138c2","datavalue":{"value":{"amount":"+0.8982203006744385","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":"Q5486046$7E8F337F-D168-4654-98CB-56BDEE970B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae8103c4bfa26486105392d418fb7075a72b5ae","datavalue":{"value":{"entity-type":"item","numeric-id":4818753,"id":"Q4818753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af210d9666071c3ade0c427fdf93bb7dadb17366","datavalue":{"value":{"amount":"+0.8165267705917358","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":"Q5486046$2B5C0F8B-4745-4E2B-ACCE-3D92275840DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0460b4c306efa12f47997c7372563d53bae87d6","datavalue":{"value":{"entity-type":"item","numeric-id":4589254,"id":"Q4589254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46f5e82fe55cef6a4e1d6dce8aea887bbc0a8ee","datavalue":{"value":{"amount":"+0.8029709458351135","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":"Q5486046$0566A332-9C90-439A-879B-16AB241E542B","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":"ce62d4a7cb6f15a8c26ea31dafa5071c2c4f7f58","datavalue":{"value":{"amount":"+0.8026161193847656","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":"Q5486046$F803B76C-8DC5-45F5-9183-3074B1CE64D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73fe69bea6185e1dbf63957ec0a84ea0f9653e97","datavalue":{"value":{"entity-type":"item","numeric-id":1592080,"id":"Q1592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17df050dfd116a5ff7caf1702abdd4e1d615159","datavalue":{"value":{"amount":"+0.7860540151596069","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":"Q5486046$63B5CB7A-3FDE-473F-834B-219E10E55122","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observational equivalences for timed stable event structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observational_equivalences_for_timed_stable_event_structures"}}}}}