{"entities":{"Q2819854":{"pageid":2830592,"ns":120,"title":"Item:Q2819854","lastrevid":42207484,"modified":"2025-05-27T21:13:41Z","type":"item","id":"Q2819854","labels":{"en":{"language":"en","value":"Iris: monoids and invariants as an orthogonal basis for concurrent reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631335"}},"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":"Q2819854$616E2B1F-AB03-47EB-84F0-961CE68AD8FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d16b8c735a0bfef1dd769771f9b27d4943f5d133","datavalue":{"value":"1346.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819854$D6B4EFCB-0F89-4682-961D-982E7AA2CB58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5906a0ca2023eaeae21c6e9627363d0a60b05332","datavalue":{"value":"10.1145/2676726.2676980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819854$FF8EB9CC-F6FA-4C88-8B4F-325F1732619A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4ac7c2bfaf82ba55b6a35abd98376a3b7761778","datavalue":{"value":{"entity-type":"item","numeric-id":2819851,"id":"Q2819851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819854$B8BB9E55-5C38-4DB9-A77C-CC15B0CE5EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be1e0ebc60d3d3fe4c2787a91a6291d0736335ee","datavalue":{"value":{"entity-type":"item","numeric-id":2819852,"id":"Q2819852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819854$AEA042F0-6EA3-4286-9CA6-B9732C9A46B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d3621dc4f6116fe30692c2581792a932d8de045","datavalue":{"value":{"entity-type":"item","numeric-id":2289096,"id":"Q2289096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819854$8BB07F2E-E2C6-4C85-B165-EFFCCF1B7C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32a852dd13c129712c151cef4e3381588e180803","datavalue":{"value":{"entity-type":"item","numeric-id":2323982,"id":"Q2323982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819854$3D5B112F-4902-4566-8892-B72D868370EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bdc1b6532b18afb5587dbfadeeabefff6b21cc3","datavalue":{"value":{"entity-type":"item","numeric-id":2819853,"id":"Q2819853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819854$A7EE6D8F-22FF-4EC1-B7E9-9FF03EDA0F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819854$2E78F03E-8090-4481-8161-3D3D60641857","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":"Q2819854$63C16EA1-9E36-45FA-B59C-AD354862661E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819854$E893C0E6-0D17-42AE-A656-7689AAE230F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819854$52231C6F-28EE-4588-A4D5-D9D399452060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819854$6A67D10E-4615-49FE-8215-57756DCCA1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819854$6120E8D6-C60C-4D64-860F-1302A1C7F0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819854$29F4134C-F0F4-4327-BBD7-E4D265D92BDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d57f528dc4bad70b85490bbebe357970fd223278","datavalue":{"value":"6631335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819854$613ACBB2-1C5D-43E7-A8BB-1DEC3B45A92E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819854$299ABB4B-F1AA-43D1-A845-AB6B3649D5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819854$2140CEB0-11F2-4AC9-BD48-6B5E47CF47F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c0ff791bef59c18e0be5c681d736f264593fa9","datavalue":{"value":"fine-grained concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819854$BAF8F35C-1FE0-465C-8AB5-8140E1473BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819854$32E7F231-C678-4289-8F06-CBF91FF40FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819854$792D7581-0B92-4F3E-9B8C-DEB9CBA2DAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8714ec6a4cc9e0d7db2cba10a002cf08f016fb72","datavalue":{"value":"partial commutative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819854$15181E90-38FE-4483-A8F1-129462B6C4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819854$8D1B6E60-272A-4945-92EE-81257FBDA64F","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":"Q2819854$517C0591-70E9-473C-BA53-F8A6ECBBE2F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57b9eec5828ca0a21c87a4a1bb63b152e4601a04","datavalue":{"value":"https://doi.org/10.1145/2676726.2676980","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819854$8063AA78-B4EF-4957-83E9-26B1D3571F0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"787d0ee14bef7b6515cebc97ba8794ceb54272d7","datavalue":{"value":"W2147323041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819854$6B24BB88-341E-483B-8735-8E03E63C6063","rank":"normal"}],"P1643":[{"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":"ac6667d7e2246ade4b71cbcfc90f0b5cd9de0dcd","datavalue":{"value":{"amount":"+0.8926429","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":"Q2819854$AE1C4B0F-9B13-491A-B59A-95070BA8D995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e73e280e09c55d4063c66a703c32a570ea1abd3","datavalue":{"value":{"entity-type":"item","numeric-id":3510871,"id":"Q3510871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38409182515567751b79314a7f50f4648efbd975","datavalue":{"value":{"amount":"+0.854771","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":"Q2819854$238ED14D-9CEB-47AA-8223-557B473B514F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba6a67ff13712332ec07cffd813f5e21320b3e1","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec4f2a3e57d094ef22d7973d47d9d289f45b3ef","datavalue":{"value":{"amount":"+0.84546214","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":"Q2819854$1C271923-2558-4ACF-B3D2-1A51DEDC2756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5c5bd409b15fbcc78f61fb7edf2042911a9e24","datavalue":{"value":{"entity-type":"item","numeric-id":4571948,"id":"Q4571948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fab7b586e5fb6f71b8e6ebeb9d024262e2ab41","datavalue":{"value":{"amount":"+0.8397134","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":"Q2819854$596DE3A7-1B41-4A4F-884C-284D4E5C8453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1997ccb6825157f9221a5fe5ba3b572811bcc941","datavalue":{"value":{"entity-type":"item","numeric-id":3651515,"id":"Q3651515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df853bc54892c81085f3f06fa3e346e6bcda150","datavalue":{"value":{"amount":"+0.83960027","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":"Q2819854$75EB9292-4259-44CA-A5CB-AF6F790EF968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74e8421eb1d50670a95fbb3e52f96306334578a","datavalue":{"value":{"entity-type":"item","numeric-id":2576572,"id":"Q2576572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e4315924125e36cb07c5c27c8260229c88edfb","datavalue":{"value":{"amount":"+0.83936524","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":"Q2819854$D32B1F14-CE02-4494-BF1E-0CD55E01138E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"861b4feaeab1f1774c19e2c5a0a646ea159cf413","datavalue":{"value":{"entity-type":"item","numeric-id":1083189,"id":"Q1083189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6603509d3dfa1d8edf3d6a331b40df1590d312e","datavalue":{"value":{"amount":"+0.83874494","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":"Q2819854$850732E5-1134-4ADC-A5D5-DFB86D9FB7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3e3f3b51e56268535c2591e9dc476348a89000","datavalue":{"value":{"entity-type":"item","numeric-id":2296291,"id":"Q2296291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1a9c49668c55e2d7ab032b3856e9fc9d277435","datavalue":{"value":{"amount":"+0.8380304","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":"Q2819854$46C5A3C0-0B5C-464E-AE61-F5D84FF3F0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d3caa6575d2b141121826ae0c64ec6b7eba791","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f0759ce2e9bb971c7ba09db9ab010c2afc6386","datavalue":{"value":{"amount":"+0.83711827","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":"Q2819854$0E25D074-DC55-4125-A741-E2BDE44BEB0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebcc45c9a32b991bd41b2d3e81f008a7a8ac8725","datavalue":{"value":{"text":"Iris: monoids and invariants as an orthogonal basis for concurrent reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819854$7F4435D4-48E2-4A95-9528-54F8903B4BE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819854"}}}}}