{"entities":{"Q7010075":{"pageid":21563394,"ns":120,"title":"Item:Q7010075","lastrevid":81645239,"modified":"2026-05-06T19:00:44Z","type":"item","id":"Q7010075","labels":{"en":{"language":"en","value":"A compositional real-time semantics of STATEMATE designs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013876"}},"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":"Q7010075$E6605F03-DD4D-4D7B-B108-E7EB7C7424CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81e181d15cd3c18c05a70281b25707758b29c56c","datavalue":{"value":{"text":"A compositional real-time semantics of STATEMATE designs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010075$6E7D77C5-EC00-43CE-931F-5D830AC4D634","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caf4c5ae8a1b14cfdc36001eeb7791d90a92361c","datavalue":{"value":"1566.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010075$4A477B3B-83AC-45B2-AB1B-7E9FFF6BB312","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46b7bfa2ca467a11ce69763971b04a2fa16d92d5","datavalue":{"value":"10.1007/3-540-49213-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010075$E2A70DA5-2569-40F5-BA6A-486CE85DDA47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010075$7FD827DE-8D89-4D1D-8A85-4BD25B36ADA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c5b6398977f19d3fbbadc0234cae6d8c44a315b","datavalue":{"value":{"entity-type":"item","numeric-id":1172383,"id":"Q1172383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010075$3D2CE0F5-EED3-4E8B-80CF-510B1E753A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"529befe38d0a6ba09412eb0a1deff4d2b35f1d09","datavalue":{"value":{"entity-type":"item","numeric-id":3442636,"id":"Q3442636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010075$FE4ADA00-2885-44CA-B411-2878D6B9B4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010075$01876D79-F85F-401E-9899-3EC31756A667","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010075$82F2033B-C685-42C4-9BD0-618E2A23F0E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010075$71E75A4D-B96B-4B4A-A6B7-A464E0E9E9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010075$072255AE-7E46-4137-9B57-0A5AEEE68440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010075$DC5608B0-5BAB-439E-A50D-3E109E8C14E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cb1e84be73d508af6e30ed8e958538a339fbb74","datavalue":{"value":"8013876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010075$33A5033D-ABE3-4D2C-9908-790807A4B501","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":"Q7010075$39451EDC-CA1E-48D9-9A58-40309EB642E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010075$CEC67DA3-6E24-4D6D-A12D-6975A05D2E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010075$57029757-A8F2-46F1-8900-7FF80F9767E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d844e9b0bbca57d84dcca816adb08449eb3aee72","datavalue":{"value":{"entity-type":"item","numeric-id":1194330,"id":"Q1194330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010075$AC860AE5-EB2E-4137-9F4F-F842E29ECA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe3c0282ca08e17e502d48783c1032c53cc1aff","datavalue":{"value":{"entity-type":"item","numeric-id":6162113,"id":"Q6162113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010075$7330A189-960E-4A12-B8FD-E8286DE062D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28ecabde8f5d0b90df596cdd1697be80853d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5096220,"id":"Q5096220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010075$F7843749-A5AE-440F-A8C8-1C49B2880474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010075$D115BF29-408B-48DB-86FE-A8118BA9006F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional real-time semantics of STATEMATE designs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compositional_real-time_semantics_of_STATEMATE_designs"}}}}}