{"entities":{"Q3321430":{"pageid":3332138,"ns":120,"title":"Item:Q3321430","lastrevid":45950587,"modified":"2025-12-20T21:51:26Z","type":"item","id":"Q3321430","labels":{"en":{"language":"en","value":"Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3852401"}},"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":"Q3321430$36B67880-5CA3-4550-8791-D5F79C95C24B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc92d6355cff604231ef7bba440714375a76bd58","datavalue":{"value":{"text":"Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3321430$E6902825-8311-4DB0-B84F-2C04D4D81D43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c85ba0cecc29232a968245f95409b82352c38b4","datavalue":{"value":"0536.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321430$7B9F0AC4-26D5-4F77-8042-92D49D602E18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8060e90dddbcfa2cd9ef55494af80070e7d5f14d","datavalue":{"value":"10.1145/2993.357245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321430$8BE8FCFF-175E-45CC-988D-8342DC8EC555","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57fc5ced6f253b58e219783303cd2c8166a8b7d8","datavalue":{"value":{"entity-type":"item","numeric-id":3038603,"id":"Q3038603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3321430$879C5A3A-CBA4-4BC2-BE35-72EFEDF76DA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3321430$4C3520FC-DF11-46CE-8E7D-87E3056B8DEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3321430$B5C99512-C4C7-4C43-8AAC-A3E0D2145C15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321430$49E6B811-34C7-4843-91F4-E9D873EA6D43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81cb1df984bc32d7d40e498e225d7cc1673d5bf8","datavalue":{"value":"3852401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321430$86119CE2-AACB-4457-8549-DF26967B38AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321430$F2A274CA-8B78-439D-BECB-7BB79005DCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321430$30696953-D1EA-44AF-9796-25FEAED7CA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31936d24885062d566f4f810268a09ab0606e6b","datavalue":{"value":"starvation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321430$7B01131B-FCA9-497B-AFF5-1BBE17704B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbdf73ad579c2003ce739cd0d18214636fe7ee8","datavalue":{"value":"monitors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321430$3E3CE419-67EF-476C-ADD6-43F20B24CD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fd3712392095bd54040486c6c7ff446ce609b6","datavalue":{"value":"synchronization primitives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321430$FB68A4CD-C7D1-4B63-B46E-7F9B3947D829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6875eb3e155081338f7368c05c1352195a4eb674","datavalue":{"value":"UNIX","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321430$637B99FC-5D99-48A8-84B1-44FC47D2ECFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f17a6e5132b85a2eb759cea3588bb96e86f15096","datavalue":{"value":"MODULA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321430$898147DB-5343-4E47-BD64-E2757DCC0F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"313f80120f54653f807941a6de2717c9fb71a488","datavalue":{"value":"MESA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321430$8C0ED151-7EF1-495C-9A5F-1FDC034E966B","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":"Q3321430$6F42EFEE-C264-4A6A-84A9-13C57E3BE7ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc2d40f2fd9a18214f0f8fb27bfbe3a3d3ef9281","datavalue":{"value":"https://doi.org/10.1145/2993.357245","type":"string"},"datatype":"url"},"type":"statement","id":"Q3321430$FC6F9F4A-ABCE-4EDA-AED5-D18D524FC295","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5939804cfe0300adb6e210d0e5d1051bfe33ba44","datavalue":{"value":"W2083002236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321430$52871CA8-8A5D-48B1-95C6-5E56386DE977","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b188ea34adb33223791f09af8e4603a5711a0b9d","datavalue":{"value":{"entity-type":"item","numeric-id":3972532,"id":"Q3972532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ff2e72c73c8290418fda25a64e0510c226bacd","datavalue":{"value":{"amount":"+0.92519635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3321430$37FAA242-3748-46E1-BB68-BEBB508158D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afca3b29330b440d76c08f8e08f6d4bc4e8c7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58131eb129c300113ef02f0cb0f6416249c5c94b","datavalue":{"value":{"amount":"+0.918798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3321430$98AD6991-4191-41F3-B325-9FA341029CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b197aba0749ebae6170bae531b4b94015b941a88","datavalue":{"value":{"amount":"+0.89969724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3321430$8B99EB88-7950-48C9-A0C5-560368B11266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b78c1df28af9e0f6091d09166b5cacd01b3df0","datavalue":{"value":{"entity-type":"item","numeric-id":5897984,"id":"Q5897984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d457a52511818880d4fdc015594f0f26fc4cdc","datavalue":{"value":{"amount":"+0.8961525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3321430$B77BF8B9-D809-4B64-B5D3-0616E2BF6B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf68f542a942a2b2330ea5a9deb99ac829ccd337","datavalue":{"value":{"entity-type":"item","numeric-id":5277712,"id":"Q5277712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26da97f377bddc73b919ec0915c4ef76a62c3b77","datavalue":{"value":{"amount":"+0.8939578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3321430$924D5EB7-394B-4A1D-9DDC-C8EE48D31129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0745e883f776b5cbd440bfdbb7c40bbd13b305e0","datavalue":{"value":{"entity-type":"item","numeric-id":4738216,"id":"Q4738216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26da97f377bddc73b919ec0915c4ef76a62c3b77","datavalue":{"value":{"amount":"+0.8939578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3321430$57BCD1E6-2364-4CA4-AB7F-59948E7D805D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21c3ff73dd3bf3d5462cb18ad742fffa129735c","datavalue":{"value":{"entity-type":"item","numeric-id":3575281,"id":"Q3575281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a86f4aa68e33f918c70a6602ef16e8176f81096","datavalue":{"value":{"amount":"+0.89334047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3321430$695BE05C-2CFC-42E7-B090-CD6E92DB1787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577d85d631975348f09cfc356674984fa5e4ea03","datavalue":{"value":{"amount":"+0.8917801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3321430$DED49A7A-0083-4D1B-BD15-252B0876AE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fd50f3b4d1c339ea13430cb2d1b471527b29d1","datavalue":{"value":{"entity-type":"item","numeric-id":4306940,"id":"Q4306940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf3b9ffb62480f904110bfb624c4a6800e2dce9","datavalue":{"value":{"amount":"+0.89091974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3321430$9B97D877-5C9D-4D39-82F7-EC6628C6C1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0545a9d5c79786c3a36c93b84a54c0d60d95bbed","datavalue":{"value":{"entity-type":"item","numeric-id":3812210,"id":"Q3812210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0116b364a1d07ad798f747daae23839447a9780","datavalue":{"value":{"amount":"+0.8897252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3321430$1F0398C8-A151-42C2-A4EF-BCFB3A0DA3ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3321430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3321430"}}}}}