{"entities":{"Q5041100":{"pageid":7070677,"ns":120,"title":"Item:Q5041100","lastrevid":57575883,"modified":"2026-03-31T11:25:29Z","type":"item","id":"Q5041100","labels":{"en":{"language":"en","value":"Aneris: a mechanised logic for modular reasoning about distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600935"}},"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":"Q5041100$0F9FE19B-5A38-4DD1-B41C-8B7017964099","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54e54ab373e7090d94642659db2c28871dfbb788","datavalue":{"value":{"text":"Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5041100$70CD9CC7-71B3-4C0D-9FA8-4DBCCC2F5F6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffafe1d6f62ab294dab7e45bda258eddc688194e","datavalue":{"value":"10.1007/978-3-030-44914-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041100$C673A217-B95F-41B6-8AE0-0C7859A618D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee98d8a6a97e862fe824b828fad8584cf7dd64d0","datavalue":{"value":{"entity-type":"item","numeric-id":5041097,"id":"Q5041097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$A5EDEA0D-0C5A-4FFF-8529-EA762E88D65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52254dabb8af5997f12cdfe0722d50f0619c8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":2787452,"id":"Q2787452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$676329B4-A91B-4634-AB1E-7A611BF60BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28fb53e75f763af47498ec22a24e989ecd698a4d","datavalue":{"value":{"entity-type":"item","numeric-id":5041098,"id":"Q5041098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$8D7E23AD-B4B4-4D75-8DAF-BA03FBDB9329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5853f21da58e3aa68363249bc2f654e6b228a7b5","datavalue":{"value":{"entity-type":"item","numeric-id":5041099,"id":"Q5041099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$B55FDCEF-DA35-4898-9BAB-6A5D7795DC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$51A8DB7B-2FE6-4086-9796-BD0EB2FA862B","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":"Q5041100$2005C8FF-3A6E-4C36-A115-5682C2D7FF70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5041100$CA0C6BEF-9F7B-492D-B00E-5D46185D2413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041100$1DD6A989-3DB5-4A08-8D77-933C131D1951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041100$BC1A7009-32B9-41F3-BE0F-DC86957AF3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041100$D03B3686-3E5C-42AF-B87A-5DB6EAD5F9C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de5669c3b62cc25c523bacd0ebaebcbda17b1e6c","datavalue":{"value":"7600935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041100$9F145DD4-947C-4554-9DEE-4DC93D462895","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041100$0A0BD281-A406-44F4-A2AF-92C114DF5BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041100$6667E4AE-0F91-4B01-BCBC-8F2411EE66AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041100$70F097C2-C09A-4423-9779-C04291A83A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041100$A854B8E7-D856-47D7-B5A8-2C9EB607C81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041100$6A67D1A7-77C6-4E9E-941C-A2306A369F9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$64E883D5-A4AD-4E9E-ADBC-294F8B18674F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7de3809e549ab622397ccc7caf8aa4227aa8390","datavalue":{"value":{"entity-type":"item","numeric-id":40151,"id":"Q40151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$13090707-7C5C-40DF-A120-AC167C215992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"26ad1d86d8c5fbbad6b22c55f7f9560782c784c0","datavalue":{"value":{"entity-type":"item","numeric-id":34458,"id":"Q34458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$CEC28997-65F2-41A1-B558-695B9B06D3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"680e59220dfe1fcd219f2cf87836af5e1d29e43f","datavalue":{"value":{"entity-type":"item","numeric-id":5974505,"id":"Q5974505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$227907C1-FF52-490F-9CD5-77B7A652A2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ff63f91a3c2659163aaead04885df5b890e9f5a","datavalue":{"value":{"entity-type":"item","numeric-id":33502,"id":"Q33502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$448D536E-06C7-4168-BF37-A27BF808C978","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":"Q5041100$144E1AA6-1AAD-4399-8418-D38CE183C2ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a239edbba6d1a274eb2990bb905b928d87638978","datavalue":{"value":"https://doi.org/10.1007/978-3-030-44914-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5041100$43B31BC7-8E05-4F4F-A14A-1BEE5D55807B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b489d989c7f58518cfb632d5f97bccc96bc87170","datavalue":{"value":"W3016987934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041100$B23F992D-0BBF-41C0-95E2-AE9D670C260E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4213f53b0edb422e581994cdaa42fdb48ddf9f","datavalue":{"value":{"entity-type":"item","numeric-id":5408562,"id":"Q5408562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$89846A9F-5397-4226-83EF-D7A530B8661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$1FA95FF9-4A77-4562-ACD5-F6E3411EC65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$573C9945-4530-43A8-8F0A-934DD5808D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961eb43bc17f6351cb336342eec5d9f039a40ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1245690,"id":"Q1245690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$B791BEC9-A02F-4FCE-A923-1CE5C46EED41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$BC6755D8-CA16-4A19-AC11-F93986E0EA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e4d418853bd2f740df9013cb7e6d403808721","datavalue":{"value":{"entity-type":"item","numeric-id":2985775,"id":"Q2985775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$2EF5A131-AB9D-428C-8830-1CAB637F8697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$920B7885-DD12-402A-9503-CE7433C0E7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$C619D05F-CC31-4E75-8D08-1B9A3991BDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61338c8ff56191aea0588b04cb2088071ef44d","datavalue":{"value":{"entity-type":"item","numeric-id":2988664,"id":"Q2988664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$A9F4B722-60EB-42AF-8AEC-D83679522C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3593a8185934efd3c3a0c5440c6a3f97f0809e06","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$215D48AE-945D-4950-B8DA-EF1E3970E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$C50852F5-0BC8-4E8F-AC76-CF5EA20F27A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$93C37999-FDCB-463A-A1EB-5032CE81397D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b2539f1d207745451d26f87f7be4a32d83820c","datavalue":{"value":{"entity-type":"item","numeric-id":2828279,"id":"Q2828279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$B0BA1BFB-2A12-4DE5-B158-70EE05A1C786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2934261f50a1e0b490a2bf100b0d26006aa930a","datavalue":{"value":{"entity-type":"item","numeric-id":2931839,"id":"Q2931839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$6EBA99F5-6841-49FA-AD50-5F16CB828B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90600d640bf241ff0996bc9c4593429acd22ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$64AD09DD-4FCA-4A2D-A9C0-AC5FB7D2FF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$0EFE992A-F848-4E74-AAAF-730B557C6824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$DD801AE0-E827-4E91-B159-16FB265F6437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928940c82f5eab2df5a1704d32409a802ad3f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$CF93D8B1-7201-41D3-A5AF-629A9D76D327","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb4d815950bbf45a8092dc69990663e7ba8aa1e","datavalue":{"value":{"entity-type":"item","numeric-id":2938169,"id":"Q2938169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b8f024e74873d7dcab9662a29629b98ac0c53a","datavalue":{"value":{"amount":"+0.7091252207756042","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":"Q5041100$03D36CD1-E19F-4EA5-9AD4-BC78F375B5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a6af207576128f1cb824b42f378b5086130701","datavalue":{"value":{"entity-type":"item","numeric-id":5261538,"id":"Q5261538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9c031916e42ecd69aa9b3f4e142b6b0848cf08","datavalue":{"value":{"amount":"+0.6829761862754822","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":"Q5041100$A097FF02-6B68-4AB3-A624-9E818A297840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3453d1b8e17d669a142e87f9a3136a8bbabdb1a7","datavalue":{"value":{"entity-type":"item","numeric-id":1193762,"id":"Q1193762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033604c91b78114d444a4249c3388bb7b7eb6ade","datavalue":{"value":{"amount":"+0.6813243627548218","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":"Q5041100$7E44BC1A-188B-4B78-96A0-85FAB55AF7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bec2fba39529063aa872b353192663794d336d8","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71738cbedf2e709ac4f489819f4e03edbd56b045","datavalue":{"value":{"amount":"+0.6749933958053589","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":"Q5041100$C86D0E7C-FDA1-4E48-A5AB-24018E420D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5372b48eed0f40cb4eb93ee5cb6de9c745e8c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":5308700,"id":"Q5308700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd1e2e35d6f03facc928084695f83c4a87b273a","datavalue":{"value":{"amount":"+0.6737525463104248","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":"Q5041100$A3208EBF-3EA5-4718-98E9-4993E51061A4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041100$3B225183-1CF8-4253-8610-3D76F80E24F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5041100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5041100"}}}}}