{"entities":{"Q5213396":{"pageid":7242966,"ns":120,"title":"Item:Q5213396","lastrevid":53653604,"modified":"2026-01-25T12:21:21Z","type":"item","id":"Q5213396","labels":{"en":{"language":"en","value":"A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161970"}},"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":"Q5213396$E7FD950A-5F94-4A57-A26A-3EEE2AD64803","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7afb763f7161195cd9c4710a9600a907fb69decf","datavalue":{"value":{"text":"A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213396$9DE2133E-2A3D-4623-93A0-4C8B363CEBE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fb603721717ccba3089e0f78f40e11f290916aa","datavalue":{"value":"1442.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213396$391E6738-444E-41C9-8A16-4C9DDD5167BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"243fa58401b31cb4d26112d8c1eb628c5571af23","datavalue":{"value":{"entity-type":"item","numeric-id":1757157,"id":"Q1757157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213396$13807CEF-8D24-46EC-8A5A-F32238655B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb99402fc1058c83de85bb5568fbdba51ae6e4f8","datavalue":{"value":{"entity-type":"item","numeric-id":1757158,"id":"Q1757158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213396$43277735-BA9E-4F9B-953C-738E49CC5933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213396$0F81CEB3-C236-4ABA-A6FB-066569B11081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213396$EDBED2C8-4BD1-462F-90EB-372DD965FFE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75a771ae7772d5e2895e882aec1633da543f974b","datavalue":{"value":{"time":"+2020-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213396$546E466C-15E3-4C19-B79A-063AAA37B6EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f46f767940778c4bbaa8c34ac7d7b91d2fa3d96f","datavalue":{"value":"https://boris.unibe.ch/133894/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213396$62B4ECE6-322E-4921-ACAA-FC2C26386929","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213396$BDD6585B-4088-46F7-A2C9-F19D97F600DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213396$A582440F-311A-44E9-830A-C1159F2A202A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213396$2A61BA66-3B1B-4D5D-AC6F-9C62F5617B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213396$85438211-066D-41D2-88A5-AD6D276F3734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213396$F46B8037-FEA1-4E26-9165-294AE090CA0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e60c55e56a5251e47c20fd8afaefb36d6aeced2","datavalue":{"value":"7161970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213396$D78C30B8-1077-4567-8B10-23A000C8E0DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213396$808C5B77-24EE-45F7-B45D-31EB4EDB5781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f4885eaba9d3a5a82c018a8970eb9a7a2c0b387","datavalue":{"value":"blockchain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213396$DF8129C2-A2F9-44B9-8196-436302A30942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7f8f622713657dbac6bb46cb3ceade6b870e391","datavalue":{"value":"temporal epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213396$D477629A-9376-46D8-A29E-568FA616B86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b8eb7d8c3f2086b083c4a6a9925496917122093","datavalue":{"value":"formal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213396$1ACBD30B-3396-4262-8F48-90C7C17233BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b9584c9e4080ea850178f963ec8faa19da5e1b","datavalue":{"value":"specification/verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213396$DB6DBE35-6181-4E3C-9C2E-03065459082B","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":"Q5213396$25B02471-97DE-4085-B3C6-264F1545D3B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daa897dab2e1d4bad3844d2cafde82a21ce2b9fb","datavalue":{"value":"W2938691515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213396$A22461B4-6B56-4610-8D56-99586C65C441","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d6c0cf5fe5709e12956dea3afe876741af215a72","datavalue":{"value":"Q128128421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213396$A328F884-397D-41B0-BDEC-1FBCC5912F33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f23598045933c786009bf4b6678c714620b15cf0","datavalue":{"value":"10.1093/LOGCOM/EXZ007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213396$024CEE69-3514-4800-A938-678E4831863F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213396$722E28B1-7A9C-4E68-892C-78439B640B93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e833b3dfd20be683e69034a19cdac1368f9fe67","datavalue":{"value":{"entity-type":"item","numeric-id":1709692,"id":"Q1709692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c761de0c22418fd638ff744ee9c729817b99ca69","datavalue":{"value":{"amount":"+0.750522792339325","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":"Q5213396$B68B3264-3A9A-4B0A-9DD5-EA867B78644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"390c17fc1ccf10b1fe077f26da0507bede240e93","datavalue":{"value":{"entity-type":"item","numeric-id":3384077,"id":"Q3384077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76434852abb3d68213233398d7ca8052b75c986","datavalue":{"value":{"amount":"+0.7411562204360962","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":"Q5213396$18E39798-2941-45DB-A679-5801A0F975C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345ff4958ede0a723e54156b73232e923af2cf13","datavalue":{"value":{"entity-type":"item","numeric-id":1734134,"id":"Q1734134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845ef6fcc5bff20f7fbafcf89319fe60097f7d58","datavalue":{"value":{"amount":"+0.7298449873924255","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":"Q5213396$936E2CA9-6311-43D4-9E98-1D2E584F0954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19fa9a2a98f7e8073fbb235077ed757cb4a0aa8e","datavalue":{"value":{"entity-type":"item","numeric-id":3655200,"id":"Q3655200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658b5bb88f081576f74dae99a540c5ec13a43046","datavalue":{"value":{"amount":"+0.7140714526176453","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":"Q5213396$1C9891F7-15F8-4B3C-958D-0CAFF3046D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e30266027908c7675857a58f2c4b8087593422e","datavalue":{"value":{"entity-type":"item","numeric-id":1037376,"id":"Q1037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1325cc5268134558d9b0d48e58525671e118d8","datavalue":{"value":{"amount":"+0.7091054320335388","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":"Q5213396$52744282-413E-4C7D-A2EB-EF7F0482D706","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213396"}}}}}