{"entities":{"Q5891978":{"pageid":7929238,"ns":120,"title":"Item:Q5891978","lastrevid":58617078,"modified":"2026-04-06T00:53:06Z","type":"item","id":"Q5891978","labels":{"en":{"language":"en","value":"Weak models of distributed computing, with connections to modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377725"}},"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":"Q5891978$BF3BD98F-D559-4018-9292-F39A49DC8FA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b380b888d1850befe01329962c589be1e11d20b","datavalue":{"value":{"text":"Weak models of distributed computing, with connections to modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891978$409E7DC8-F01A-464F-BF93-A3F5435E56A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94ca317b43d65eafb14f4f0147587835eb4c7995","datavalue":{"value":"1301.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$C0D7B5CD-0BB5-4C04-A317-7C7775C4E622","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a651e68b8fb45ca5966db592b6a38d161f480f57","datavalue":{"value":"10.1145/2332432.2332466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$30DE9826-3F45-4CC3-A111-FF412688D85D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891978$E1562585-E805-479A-9747-1AB8524A7AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891978$14806305-A309-431E-828C-7870B743915A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891978$50052048-6986-481C-B072-86890DD3239A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd75c86f42d1ef3498085da1e985dec7a57da13","datavalue":{"value":{"entity-type":"item","numeric-id":2018796,"id":"Q2018796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891978$FFEDBAEF-D92C-4484-BE9E-8A606D9116F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"209a9a88982204763241dd64971e1c02990a5ada","datavalue":{"value":{"entity-type":"item","numeric-id":395019,"id":"Q395019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891978$E6EDED8E-9C25-40F9-8D94-C9869BDFD4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec9e7669b66cf36ac5f2e3dc60d88a192c2936ae","datavalue":{"value":{"entity-type":"item","numeric-id":412062,"id":"Q412062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891978$92C7BBDA-A786-497E-A2DE-F428AD1656A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72eb7577da4ce2320e365d0abc7a6ec50e002098","datavalue":{"value":{"entity-type":"item","numeric-id":642984,"id":"Q642984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891978$7222F9BC-C7BD-4403-8D96-F69BC610ABF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891978$DDB84CFA-85FF-4568-AC57-4521AD98662F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b48daf29d8b47a6357a91af40756ce01665683de","datavalue":{"value":{"entity-type":"item","numeric-id":2933771,"id":"Q2933771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891978$1E4D0050-4B1E-4742-8821-83B892A4B4F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891978$6C3DFFD8-8648-4BD8-AD5D-E59FDB5146B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b97ccbd82a390da57367a1b859596a03e8dd3a87","datavalue":{"value":"https://arxiv.org/abs/1205.2051","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891978$E27DC892-DB72-4947-AB84-22B32667CC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"13a1dce572dd20236da8fc96fb168a217d6fb032","datavalue":{"value":"http://hdl.handle.net/10138/37409","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891978$78E3664D-9EFE-41C4-ACB8-A4811D398FD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$45622D96-76DE-4AEB-B252-9D0F97FF2E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$2435B29E-D083-4374-8C19-3631289A2A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$C6287379-7A92-41FE-AB1C-0338B1075850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$20AE71FA-93D9-4B03-B166-8DC6FE8F5E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$973658C3-F64A-4390-835C-4E97E1839662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"999ae92267013846fdddb436289ad07c495b5c0c","datavalue":{"value":"6377725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$91071AEF-87E6-410C-AA7D-24DB95025C98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c2521a56183efd0130c83481990069146c35aa6","datavalue":{"value":"anonymous networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891978$6FC89556-5D81-4CEC-815A-D7E280D674A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd233356df33148a2c7be91d2b35ccd0bf7ac0b","datavalue":{"value":"deterministic distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891978$8E2F4FAD-0459-46F1-B223-00CE71DCEEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e085984a5851a830262f6e97a827ed60b6108c0","datavalue":{"value":"graph problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891978$C40C2F74-54DB-4F23-90CB-7F243895D4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891978$9A1A4819-C282-4E2C-82F5-06697F3B7C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be584bcdc13f249484d652fa41d16f197b788b6a","datavalue":{"value":"port-numbering model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891978$D91F91AC-6852-4F85-9D96-E1C8D2F466EE","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":"Q5891978$FF6558A1-B042-4916-A3D8-6DF4DC7F3CE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ef0ae14d87b203c9d52ed9ce7a02e0088b792f4","datavalue":{"value":"W2148219974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$A70D29BA-688A-4386-94F2-032F221C648B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d3f5d8d5ab9b20c87c636ce98b801816a815706","datavalue":{"value":"Q58179405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$E26510EF-15D7-48DD-8CCB-151CE0B078F5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6e76dbdd0d53ad3a8ac124b311b89701f8eecda3","datavalue":{"value":"conf/podc/HellaJKLLLSV12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891978$08558AC2-A823-4D55-A52D-4FAC813A70F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c5fe139dea2b4a736cff81a131d9c9b92863a5","datavalue":{"value":{"entity-type":"item","numeric-id":5918244,"id":"Q5918244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","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":"Q5891978$E33C5AE0-22AB-4045-8323-888CC111C345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9473a43b8b700df76f9ae5fb04b2808d979bfa05","datavalue":{"value":{"entity-type":"item","numeric-id":2958538,"id":"Q2958538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b664759577472865a0efbcc65413d8ebf4d806","datavalue":{"value":{"amount":"+0.90065026","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":"Q5891978$821140E9-A25E-4B44-A2DD-D24B5CDCCE3C","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":"c5b9136b68d867f4b82e4ba040f645121df571fb","datavalue":{"value":{"amount":"+0.89963186","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":"Q5891978$F939E64D-31AE-4F7E-92FB-3642DDB3E1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82986c8f48fd88be2cb3cf60797abb0a81980919","datavalue":{"value":{"entity-type":"item","numeric-id":3305433,"id":"Q3305433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3c5d0b74360983c87859a1617e0fe67b542538","datavalue":{"value":{"amount":"+0.89917195","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":"Q5891978$7B85608D-84AA-4BF4-9EE8-576C67B4F2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e14fcfddd32101da3cb1ac19067d4dc000fda2","datavalue":{"value":{"entity-type":"item","numeric-id":3004589,"id":"Q3004589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cbe247f51ca9cf82dde05a844acf7fbb08b682","datavalue":{"value":{"amount":"+0.8859225","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":"Q5891978$36BA0EA7-8BFC-46A8-AC3B-83C70A3F9EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6794cd6b9be522fc29a0b21007b701ec2ec8ffc3","datavalue":{"value":{"entity-type":"item","numeric-id":2855751,"id":"Q2855751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cbe247f51ca9cf82dde05a844acf7fbb08b682","datavalue":{"value":{"amount":"+0.8859225","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":"Q5891978$B1548FE9-444D-4608-85ED-976759468D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ac794e7992071c126d08eec85a3e5c91841045","datavalue":{"value":{"entity-type":"item","numeric-id":3323928,"id":"Q3323928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfb3d1d4cda807a259c01a2b4a7cdb5bbe30f0f","datavalue":{"value":{"amount":"+0.8789387","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":"Q5891978$04C77B64-4519-4864-B79B-79171AB71641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63732460b3fe3427e697a3e35eb110ace39068d6","datavalue":{"value":{"entity-type":"item","numeric-id":5089274,"id":"Q5089274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce88a5fee221c935d0618238d95a1e20da4a3e2","datavalue":{"value":{"amount":"+0.87507343","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":"Q5891978$E5C4E6A9-B472-494E-BA07-4E19DF22C5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54ddba3056b2cf50d60ab1c9a332c8cab1c4543","datavalue":{"value":{"entity-type":"item","numeric-id":2155209,"id":"Q2155209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c087edce6abcb50db4037b65cb0f01c9f357e1","datavalue":{"value":{"amount":"+0.87224627","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":"Q5891978$2A6CE103-EF29-4E7E-8F2B-8DBBE1179574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2150cc9456cb464de816daef2708699eacaed243","datavalue":{"value":{"entity-type":"item","numeric-id":5394569,"id":"Q5394569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98696edf73d4e22741e45bc264c77bd81d54ee3","datavalue":{"value":{"amount":"+0.86843413","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":"Q5891978$5290F896-552F-4B9C-B73F-0CAF386B9E8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891978"}}}}}