{"entities":{"Q5756518":{"pageid":7786069,"ns":120,"title":"Item:Q5756518","lastrevid":50157593,"modified":"2026-01-13T07:24:35Z","type":"item","id":"Q5756518","labels":{"en":{"language":"en","value":"Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187175"}},"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":"Q5756518$7E80EEE8-F55B-4AEA-8274-41B284D7024A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae365c7e2a850e9cd420827555cc739c4efdbaaf","datavalue":{"value":{"text":"Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756518$943F13E6-A177-4308-A706-DF2D1B8D14E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51276a18f5e52cfa861734e8b3da6b7a5b914691","datavalue":{"value":"1187.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756518$AFDB4C40-72FF-4377-ACCF-C4D4A07A3F71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a19d0fe26c5dccab924638873e7e91af0a148cc","datavalue":{"value":"10.1007/978-3-540-71316-6_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756518$13DE778C-F858-4881-94BF-99D2987BDF8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d0424aed08dbbf639f7162eabe730fdbbec3679","datavalue":{"value":{"entity-type":"item","numeric-id":784141,"id":"Q784141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756518$6350332B-2EE1-44CD-ABBA-327012FE45A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756518$4F522205-903E-4F20-8561-ED97D7ED6944","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756518$B5A798F2-0B06-452E-80FC-10AF64109FDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756518$4A9DD1EF-6C15-4AE2-BA3E-88E7ED427E06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756518$EFF08264-D23E-406F-B8A7-4C3D34495AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756518$C604FB23-7572-4AAC-842D-360DC4B97035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756518$BC848BC9-B1C0-47B4-AA9E-50AE78B7433B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e35f3d89ca542d5957883c2a8f2b7bf665437769","datavalue":{"value":"5187175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756518$5D072B89-3C6A-4990-88FD-3E560A3C0C27","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":"Q5756518$770D60EF-D25E-4176-80E7-0FDE6B091BC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b895b0327d5c9718e6046a075412cd7dd53a7046","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71316-6_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756518$D40F0FD3-21BF-467B-8B36-8002DAF8960A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83d89d87ca1e20cb5604c2745363acc22bf0b1cd","datavalue":{"value":"W1884757075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756518$51A00C6B-7A18-4D77-8063-5447A2C5C460","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20aa1ae1af5f4c5c953e3eb5829799ee5163b918","datavalue":{"value":{"entity-type":"item","numeric-id":4364392,"id":"Q4364392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e272f9ddb794faf820c282106398f15a4485321b","datavalue":{"value":{"amount":"+0.7360144257545471","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":"Q5756518$30E40E24-87BE-4C21-AF44-12700DEABBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3d755f3cd3b9e410d5d8b0ffb34cd0ab722f0a","datavalue":{"value":{"entity-type":"item","numeric-id":4223021,"id":"Q4223021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdaa5cc4db282138533196e160463de856b4fbc7","datavalue":{"value":{"amount":"+0.7348275780677795","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":"Q5756518$0BD0F62A-896E-4B75-95E8-EE401BF99DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a427cda6a5ce6bbe52dbc17b0c215b61bb5d2e9","datavalue":{"value":{"entity-type":"item","numeric-id":2827445,"id":"Q2827445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7a7c29e699b2f5efb346f47a04998fa672e922","datavalue":{"value":{"amount":"+0.7330430150032043","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":"Q5756518$E5A1FFA0-4039-45BC-9F10-A1ADFFF612ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705471f05b92b57333ebb90cf2ff7005aaa9956d","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e57f94faf14b2b24ee99835cb9958428cf986a","datavalue":{"value":{"amount":"+0.7277649641036987","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":"Q5756518$57044688-80CB-47C2-B4C8-2CD801E17C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894b9fcc069d0fc6594fbdf8fd3c1a7a30a33404","datavalue":{"value":{"entity-type":"item","numeric-id":5392296,"id":"Q5392296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07be36aa3e9bcc633efd4674d38c4bc95dabb37","datavalue":{"value":{"amount":"+0.7263926267623901","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":"Q5756518$CA4D9B39-3569-4B42-8B57-DCA25E20B30A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756518"}}}}}