{"entities":{"Q2810977":{"pageid":2821715,"ns":120,"title":"Item:Q2810977","lastrevid":83332907,"modified":"2026-05-07T07:15:36Z","type":"item","id":"Q2810977","labels":{"en":{"language":"en","value":"Improving translation of live sequence charts to temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589713"}},"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":"Q2810977$E9A2E0F4-80C3-45EF-B085-1225A9CDBF0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a06351b42e36bd44f5249ffe0c7df442ec5aeaf","datavalue":{"value":"1339.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810977$D69983BB-77BE-42C9-82D5-7020AD31EB48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af5eaa9233ec862ca530af5f120a8b4615165e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1645125,"id":"Q1645125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$19FC2152-FF7C-4B97-A1BB-03A4F2E168A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdee428d2eb82cff221d059f8b87cc92758b7194","datavalue":{"value":{"entity-type":"item","numeric-id":2796049,"id":"Q2796049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$1510CB08-C580-49C0-AB97-4511EA4612C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d4ad05ffd3ccf35f5a639823126eda454126889","datavalue":{"value":{"entity-type":"item","numeric-id":2810976,"id":"Q2810976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$CB16FD5B-2FCF-403E-A8B5-544C7DB0E1C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$596C2F5B-33DF-480C-8745-1BD91E533DA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d066e43a0d378deda532184f86b234184fe2275a","datavalue":{"value":{"time":"+2016-06-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":"Q2810977$C3327C49-D151-4427-AD1C-E07C6BB98AEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810977$AD91D482-8381-4249-96A5-10EB36960275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810977$405E676B-950F-4511-9063-9A605BC86FA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5ff388be7d678037dd5c5c17137c12a9b1fc286","datavalue":{"value":"6589713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810977$042C1ABF-9880-457E-98FC-CD4789245C3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e1ba07cf9de46115eaff36e7a3633728f7eb69","datavalue":{"value":"live sequence chart","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810977$C5728397-5DED-4EDE-9FD0-31B04CF38E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810977$B649F7A3-9BBC-421A-B3E2-26B6FC985ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810977$CA12550B-6A6B-465D-842E-851E796B916A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8a008bb72926859d0aa388398f4b8010438409","datavalue":{"value":"linear","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810977$6AA3023A-C480-4432-A747-44D1C0CDA9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d2fa24c579b2baeef4d0446de7aa9ba4289043","datavalue":{"value":"polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810977$7EF4472E-018D-4E74-8967-5DA98459958F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f12a5a1bb8b683b4a145865fab30d25f003aa2","datavalue":{"value":"spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810977$161EB2BF-1E57-4CA8-BF16-18B7B17D05FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810977$E279DBD6-0CEF-4C74-968D-7AA7184F039C","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":"Q2810977$6624FA0C-2CDE-46C6-93AE-F736AB76A1FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6b9bf38bacde2a8bf7bdb78456bc195ff2f45ea","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810977$ACE81A8F-7416-4FA1-9AC4-60D6CAACB656","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8eaa1900af0d7bb1f3677693ac0e90674153a3d0","datavalue":{"value":"W2046266647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810977$3EFA1A51-C7E0-4DA9-9FDA-5DCFB85C3A07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$CA2FAA26-5CD1-4585-BF19-32C8643CCD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761764ab341e3c45ab12b1fd51baacfaf6590a95","datavalue":{"value":{"entity-type":"item","numeric-id":5946346,"id":"Q5946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$FC039510-89F9-46C6-B048-71D75218DE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078f86c8fbb50a7d84e780de2c1da8d67c43ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5959851,"id":"Q5959851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$AF99CBC1-E417-4FBC-8787-A7397A07ABC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7aa291819039199c8428d1f12f39d12153767","datavalue":{"value":{"entity-type":"item","numeric-id":5710415,"id":"Q5710415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$B0DD5568-6597-4B2A-B764-F00EEC37BE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc42e717653badb818d087f3066d60b19186fe9","datavalue":{"value":{"entity-type":"item","numeric-id":5756737,"id":"Q5756737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$77AE3D32-9033-45CC-9461-5C5CF28064AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62f78e316374320235d19951ac33c1b0c9848e4","datavalue":{"value":{"entity-type":"item","numeric-id":2769611,"id":"Q2769611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$0B65B33D-F6EE-45B2-BE8D-49FAE891B76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612277e182ba1b70a3979c9589d06d0d97b6ea4c","datavalue":{"value":{"entity-type":"item","numeric-id":5703777,"id":"Q5703777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$AB713564-175C-46D7-A48F-65AFBB9352BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60761aa6166d571b8254165c5db5555f578b711b","datavalue":{"value":{"entity-type":"item","numeric-id":2863857,"id":"Q2863857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$25222F1A-5FB8-404B-AC0A-BECAEBADB825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ff15ae1f1694ee7973b679b5e6e865c7d27848c","datavalue":{"value":"10.1016/J.ENTCS.2009.08.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810977$55CB78B8-A005-46D2-9DCD-E2C65C9DC47B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cb844bee59e10dcebbd6c23dc2e53452b1b4331","datavalue":{"value":{"text":"Improving translation of live sequence charts to temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810977$D45AF5EC-3A97-49E1-80A7-782587F2361E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f613ee82ee7ea1db55b61ae1339130ea7dc3ec29","datavalue":{"value":{"entity-type":"item","numeric-id":5178973,"id":"Q5178973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de4972f4d384d2b777a12122c292480d506b0ed","datavalue":{"value":{"amount":"+0.7681612968444824","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":"Q2810977$5AF82F2A-016E-44EC-8265-4AA87430BC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da1dc2a274639cde9e8a48505d84d807ede2098","datavalue":{"value":{"entity-type":"item","numeric-id":5703777,"id":"Q5703777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032038fbb065ba6621e092818755e7158054eaa4","datavalue":{"value":{"amount":"+0.7533511519432068","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":"Q2810977$BFDD4A83-59B3-4AB5-AC89-19DF58F77627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910234018dc39b2e1abb4d046cb3a31aebdda4f5","datavalue":{"value":{"entity-type":"item","numeric-id":5756737,"id":"Q5756737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ca21cfb2c34ef587db1472a639e9960535e78d","datavalue":{"value":{"amount":"+0.7358013391494751","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":"Q2810977$FB742B2C-A11C-4A24-BDCC-43C5925530CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e992dac1bec6dd389398e6ca7adbd355bd13c35","datavalue":{"value":{"entity-type":"item","numeric-id":5897951,"id":"Q5897951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d46507728cfc0e7ed0142aa1a36735a71d99de2","datavalue":{"value":{"amount":"+0.7248785495758057","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":"Q2810977$356734A8-7881-4A91-8595-0EA189F9990A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de965f1da72db0c9b679c42d7e886c7b4dfbdc18","datavalue":{"value":{"entity-type":"item","numeric-id":5477666,"id":"Q5477666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cdca2b863111c4ba27fc84e16a37e42b902acbc","datavalue":{"value":{"amount":"+0.7246154546737671","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":"Q2810977$98B3D49B-B35D-4D9E-919A-C0DE50A6C836","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810977$274ED561-F749-45D1-B182-190BAF55A765","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving translation of live sequence charts to temporal logic","badges":[]}}}}}