{"entities":{"Q2914750":{"pageid":2925470,"ns":120,"title":"Item:Q2914750","lastrevid":85096139,"modified":"2026-06-03T05:51:58Z","type":"item","id":"Q2914750","labels":{"en":{"language":"en","value":"Using Locales to Define a Rely-Guarantee Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084496"}},"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":"Q2914750$CF490283-E809-4C50-BC29-92A7B3C87552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82560ae45366d899db1840e4315ba0739ad446da","datavalue":{"value":{"text":"Using Locales to Define a Rely-Guarantee Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914750$49D36553-965A-448E-9328-2F3D073BD5D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c6ea42fff246843079344d8788ebfe60e6f34a5","datavalue":{"value":"1360.68795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914750$54F5C03F-E516-457B-9CC3-3D307724B59C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c33c81b5295d130b55e3cf8a72d815ee8578bc3","datavalue":{"value":"10.1007/978-3-642-32347-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914750$5723E43F-1B9E-4A84-9DFA-503FB52C8B78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6fc9321e1ecf733a02499b42252d991dbda6a54","datavalue":{"value":{"entity-type":"item","numeric-id":1702903,"id":"Q1702903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914750$A2468105-4CD9-4FC8-AE10-A3B6B366339C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a435034e922571557f9f6ce98bc841f26d1cb0","datavalue":{"value":{"entity-type":"item","numeric-id":930877,"id":"Q930877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914750$767E58D1-198F-410B-B7D4-CA39020EED35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914750$F55C79B0-6386-4FB1-802A-26A2FD206D94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914750$178A6909-5215-4201-BAD7-E85F1B21A5AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914750$2816BC02-1930-44B0-8987-03534BE1F0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914750$22BBF8D0-9020-4107-9DA6-F43F759022E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914750$C69AEB8C-25FB-441F-9E6C-3D351B6D7737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914750$94A662B9-D356-4B69-9E33-E1050E2AE94D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97a25c14e9c6940dcbd2d8275e623ebc9c413313","datavalue":{"value":"6084496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914750$0D28CC6B-DBA3-4E37-9B7E-AEB98579BE58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab2fc35e83978a47be1f298af870d1c0662e95e","datavalue":{"value":"logics for agency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914750$0BFF40CE-376B-4612-A272-84B51C9AA5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914750$71EDE507-0124-45B5-864B-595FB66616E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f4b34d9aac8a16d0de87c4a578f1430c68ae94","datavalue":{"value":"reasoning about strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914750$B9A832FE-B252-411F-80A3-9BB0DE4C22C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb63acc7a020cebe7cce47165c61b912671493ec","datavalue":{"value":"modular specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914750$EAC2EA41-5B96-46E1-8324-B5E59660705B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa2f9e456b885388846d1e0014f0bb89be592959","datavalue":{"value":"Isabelle proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914750$D6D548F1-771A-4D98-A571-D72FE43D89BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914750$AD622CB8-511C-4CB8-A8C1-05484620D15F","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":"Q2914750$DCDBB088-30DC-4C78-905F-E6049C1F25C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d59bf173f6fb4ef828ca5b509be088bf84380c51","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914750$272F4957-A7DB-4989-8B48-A777602731AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bad317479f8865afa3edcdfafa26b09d5b0da65c","datavalue":{"value":"W49404123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914750$69F9D7A3-7E4F-4837-B59E-349A34BD3A86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3946b755c52c0b6614394d022592b70192cce7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5351946,"id":"Q5351946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0670774c7bb48eb5a08cc758a6c2e8bcd4f4e744","datavalue":{"value":{"amount":"+0.8732201","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":"Q2914750$13D5FAEA-3825-412B-ACFF-EADFA333BB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182a0685bafb87ff94454e3c2c7c71f51b89cdb5","datavalue":{"value":{"entity-type":"item","numeric-id":5047168,"id":"Q5047168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea200eda47f9ed0c051b35f437b49bba76505ab","datavalue":{"value":{"amount":"+0.8719917","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":"Q2914750$81362165-6C71-42B4-8D40-FB6F87E6C128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99948634930667bfb6d949f7c294f287b4b03279","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8426b36347fc07cf6acca21d3225db0e24e2f813","datavalue":{"value":{"amount":"+0.8623128","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":"Q2914750$52F692C7-64F0-4E1F-BFBD-46303F2F7365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96960112e498526eaaa39fc571da46f77d2fb146","datavalue":{"value":{"entity-type":"item","numeric-id":4737220,"id":"Q4737220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89f1c444557dd2e36d1f5f587c1165a848a6436","datavalue":{"value":{"amount":"+0.85287756","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":"Q2914750$F81336BF-BE17-41FC-AB29-9EF6EA322F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f049ec084a6525b47eb3a7fe93a96dc3335d24","datavalue":{"value":{"entity-type":"item","numeric-id":671674,"id":"Q671674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c8efc373cb6d63ed1eb8060bbd94e7e45a305c","datavalue":{"value":{"amount":"+0.8521248","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":"Q2914750$06F8C023-0AA8-4EBB-B58C-1F5560BA0A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6223bf91c46c04c0011b1fe68d8bb668a4ff7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4907867,"id":"Q4907867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efc78e918778901edeb3054d4aab4b9e2a71edf","datavalue":{"value":{"amount":"+0.85203636","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":"Q2914750$ED11EC30-14FC-4F71-A3A8-C1A031EB4226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63ff32bb61f7bc6047f24bd116691182459ee7d","datavalue":{"value":{"entity-type":"item","numeric-id":5939380,"id":"Q5939380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7770f76f9415bae8ddc1d86a0285da1938d5ec70","datavalue":{"value":{"amount":"+0.85104114","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":"Q2914750$1199B6D2-75A0-4083-975C-C7D283F1F9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608b9093d236f9882b3ec155317f397ae3bd9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":3623967,"id":"Q3623967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30382adb87417bf107fb372f47cd4988a068e32","datavalue":{"value":{"amount":"+0.850299","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":"Q2914750$80443440-EF88-46FD-8C70-D931167D8DC9","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":"2a162cf73a0511f31da2b7d53b12879f8e528660","datavalue":{"value":{"amount":"+0.84642696","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":"Q2914750$291043A1-CC2D-43AA-B3D3-4F9B2483B248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ff7e2a38279de5c76356ab6d044a090560ee58","datavalue":{"value":{"entity-type":"item","numeric-id":5096736,"id":"Q5096736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b7b592a6bf9c0ef9f97413d9c34437f65edbf9","datavalue":{"value":{"amount":"+0.8454872","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":"Q2914750$892B7662-E019-4890-B591-9853C28FEB82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using Locales to Define a Rely-Guarantee Temporal Logic","badges":[]}}}}}