{"entities":{"Q3455065":{"pageid":5234465,"ns":120,"title":"Item:Q3455065","lastrevid":90151826,"modified":"2026-06-04T19:25:04Z","type":"item","id":"Q3455065","labels":{"en":{"language":"en","value":"Timed history preserving bisimulation and open maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515882"}},"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":"Q3455065$5E270495-87BF-4768-851E-8B451BB0C584","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f68b99ca5d91f1bb1006035876a4da2fc5371f0e","datavalue":{"value":{"text":"Timed History Preserving Bisimulation and Open Maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455065$C3A0DD93-EEDA-4277-8AF6-A83ABEA3D1D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c697a6b534e6b0a382e1aa979f9f069b64775d79","datavalue":{"value":"1434.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455065$67D26204-FD73-4D96-ACD5-EF537C64AFCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f9695495bfad456f1b978e2551e1a2f9256b6c2","datavalue":{"value":"10.1007/978-3-662-46823-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455065$45A00C69-038D-4A10-B967-71B1245753B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455065$C5A974EE-2865-4996-A3CB-50B9E0BEB6DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455065$69DB594F-20C4-4919-A3D6-E08D39166422","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455065$0F45AC12-9E76-458C-B9F7-7BBA6924FC14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e85fa437a719016abe5c81f86c797b89054a704","datavalue":{"value":"6515882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455065$7AF4F963-611F-46E6-90EA-AD92D2220704","rank":"normal"}],"P16":[{"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":"Q3455065$A8B247EB-2763-481C-9C0D-F70FFA90A2B0","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":"Q3455065$F8C9504E-2BDA-468A-9DE7-7E32E87EA7E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aaa132cf677257573407c6fc680d01077f42cc8f","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46823-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455065$E0AAB4C0-D2D4-46E7-BE8D-0E1EFD4BC299","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d27b08e9056879f5446a800d654933dbf1be88a4","datavalue":{"value":"W2220544477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455065$0286C1AF-62CA-4ACF-A6CB-CE2902615C6C","rank":"normal"}],"P1643":[{"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":"5f05e9bbb0b7be80ba45e1818c36a54f2d210c02","datavalue":{"value":{"amount":"+0.8494489789009094","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":"Q3455065$8FC0CD74-A1AA-4F79-A483-604EAB7F8FFE","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":"913a4dc334eb8009e1a1d190809380eae6952007","datavalue":{"value":{"amount":"+0.8378716707229614","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":"Q3455065$EA9476A4-A383-4989-9ACC-FCF904FD741D","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":"ca83537900e55ac348407486bf952492afdd2685","datavalue":{"value":{"amount":"+0.8367739319801331","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":"Q3455065$EB081165-0F66-4F48-A9ED-682B5982CD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9012af295635cd5e50b92c69dba43007ba4150f","datavalue":{"value":{"entity-type":"item","numeric-id":3183618,"id":"Q3183618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a612f67038f3bdba3469832377df948937db52","datavalue":{"value":{"amount":"+0.8263161778450012","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":"Q3455065$221EE7BD-DB73-42EB-A13B-CEB59FD1F3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee54bf73d633b865d219f2ba1f05f02b3c3b4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5902414,"id":"Q5902414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2bab1e953f0933b2885e1fb0d95d13b320084f","datavalue":{"value":{"amount":"+0.8253144025802612","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":"Q3455065$B29C16C9-EEEA-40BB-95FE-5DE929B496DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed history preserving bisimulation and open maps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Timed_history_preserving_bisimulation_and_open_maps"}}}}}