{"entities":{"Q3508538":{"pageid":5538442,"ns":120,"title":"Item:Q3508538","lastrevid":50395430,"modified":"2026-01-13T23:19:47Z","type":"item","id":"Q3508538","labels":{"en":{"language":"en","value":"Strong Safe Realizability of Message Sequence Chart Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294880"}},"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":"Q3508538$FE751D09-3D26-4558-92CC-71B85A435F40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"714ce84bcae495cab8925c568f271013dc0588b3","datavalue":{"value":{"text":"Strong Safe Realizability of Message Sequence Chart Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508538$7DA27B65-C88D-48A0-A6C8-4E836F3B8E8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10dc1130b4e19a81d2464db50af68f8e85d9b6af","datavalue":{"value":"1141.68480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508538$B2A8C7BB-560F-47A2-A222-FF40DC290372","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ea4e3b2fc9ea9983c08a7abf63e95bc68becde7","datavalue":{"value":"10.1007/978-3-540-75698-9_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508538$5192A410-5606-40B4-8FD9-BBA1076540ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d64a40c3c0ab7e3b2ca5c88b73ce2a842eebe7","datavalue":{"value":{"entity-type":"item","numeric-id":3508536,"id":"Q3508536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508538$538DEAD6-8F66-4D8B-9BE9-AC68DE7D0E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0b80d822009c1ae8870f787c9a5d6c6c1340297","datavalue":{"value":{"entity-type":"item","numeric-id":3400390,"id":"Q3400390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508538$FC391C87-EDA6-4338-9459-91D01F998D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c10d39a339416bbb71d0558c8958abf142dda","datavalue":{"value":{"entity-type":"item","numeric-id":856930,"id":"Q856930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508538$77BBF415-74AA-403F-A4EE-B5D39C595F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87be30218e087116dbd2a8f9ccab6220013ccd74","datavalue":{"value":{"entity-type":"item","numeric-id":3508537,"id":"Q3508537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508538$960318A9-B8EE-4017-BBA0-5786CD794603","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":"Q3508538$6D41A365-19ED-4500-BEC1-B5217EFE8CB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3508538$1AE376B2-526B-47E3-8B33-345FD1537FEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508538$555CF6AD-1615-42E2-8810-572BE544EC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508538$EA2C0208-9D75-4FFD-BF99-1B4107E805D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ee99368a09f3e473dd90d3378b2299410d47ca2","datavalue":{"value":"5294880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508538$1DFD4161-88FE-4CA4-9AC8-4647C161DA27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce847a32bc6f7392332a2915bbcc7e095aca43d","datavalue":{"value":"Strong safe realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508538$4573682B-E6D7-499C-A5D3-AF0272D62B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5d1a73e9e750f7f02a9ad53fa83b16a8f672575","datavalue":{"value":"stuck states","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508538$DB8D541B-DDFD-416F-9E2C-9C638647E7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18e075568fec748836753652587c2fc83e80a6f4","datavalue":{"value":"emergent scenarios","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508538$D56E5566-7E07-434F-B43C-829531A7EF0F","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":"Q3508538$A2654E7D-75F9-401A-BEC1-F00D1963F10A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"290e52bb1dd0081b01380d4503ba9d8c850d1bde","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75698-9_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508538$CE8A10EF-73FD-4ECC-AE5F-C02E757202BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71bec36a3a789e3ff7ddb513446f142f99a4bad1","datavalue":{"value":"W4234319972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508538$036C5E86-E031-4787-BE55-3C3788B4EA86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffcfb3fa309348d9561ba7f476a88fd54d29cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4535063,"id":"Q4535063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2718d2af701ca79dc8f464f443e2b075a0c38c0","datavalue":{"value":{"amount":"+0.8248541355133057","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":"Q3508538$0E2D1D61-9F4A-45C3-A9AB-AEA5B2415F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2f77c3bec5ab87540c292f0b6d5280eaa0b580","datavalue":{"value":{"entity-type":"item","numeric-id":1770427,"id":"Q1770427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c635e5789a10b305463ea260e7551d7905349ed9","datavalue":{"value":{"amount":"+0.8239690065383911","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":"Q3508538$4246B59E-9AD1-45C2-9041-54DA0787FE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec871a9505b08233e7fdc01ae2af4d37b6fee6b","datavalue":{"value":{"entity-type":"item","numeric-id":4484487,"id":"Q4484487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f99108f966030134450f3ffb818cf66ac69a669","datavalue":{"value":{"amount":"+0.8200202584266663","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":"Q3508538$C4067D69-58B1-4891-8206-15699815BF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69e8e33e8941b5509a7db00861b49c62a9c1de37","datavalue":{"value":{"entity-type":"item","numeric-id":3525636,"id":"Q3525636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3672777c01e22abf3369db425dc315374fc9af1d","datavalue":{"value":{"amount":"+0.8200201392173767","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":"Q3508538$DC444464-C9D4-41D2-A63B-BFAC14111EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b693a8a053664e2303d82a2e6c155db04e93994","datavalue":{"value":{"entity-type":"item","numeric-id":1884911,"id":"Q1884911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec3970c7ee5cb7d74a8bf42b0a31b09a95211f1","datavalue":{"value":{"amount":"+0.8048305511474609","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":"Q3508538$49852B04-F58E-41FB-8397-05F5A3143744","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3508538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3508538"}}}}}