{"entities":{"Q6070799":{"pageid":13205107,"ns":120,"title":"Item:Q6070799","lastrevid":93790346,"modified":"2026-06-05T05:07:56Z","type":"item","id":"Q6070799","labels":{"en":{"language":"en","value":"Manifest deadlock-freedom for shared session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770441"}},"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":"Q6070799$5870BDAA-FE2D-4A8D-B4D8-D238FDDBF54E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd544fef872d559e7cd1ec4407bad01a5dfa2bcd","datavalue":{"value":{"text":"Manifest deadlock-freedom for shared session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6070799$B29D694D-88C0-436C-B087-90809CA00F8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2337cca562d99dc0095609bba4a3f5523e9b8d9","datavalue":{"value":"1524.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070799$4A34D89D-5B56-4AB2-8378-B20C75E43482","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16861b3ebfa333e98d32ed89db94f5c40f33d396","datavalue":{"value":"10.1007/978-3-030-17184-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070799$1859841F-1BE5-464E-AF06-6DE854F3D324","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eedb708903f019091662757c328f7744b1fb12b","datavalue":{"value":{"entity-type":"item","numeric-id":5009446,"id":"Q5009446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070799$E2A76318-4F08-4D57-AB39-83A9464A36FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1acb8bfb71d90bd14112d4100b38479fd980ef97","datavalue":{"value":{"entity-type":"item","numeric-id":476189,"id":"Q476189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070799$ED19239F-CBD9-406C-B6D5-441C45AAC1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070799$95278BA6-B4F1-4063-925D-4735184A5FA2","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":"Q6070799$E9922049-D459-452F-A79E-E71ED5A3E85C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6070799$5D1AF34D-C1B9-46AC-A25D-AB3B3B938A52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070799$EDD324EC-AD0D-45DF-A62B-0670C8E4F1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070799$60156195-39C1-45B5-BB1E-E141EDDFCD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070799$E4D09779-CD5E-4E45-8C39-98F56493CCCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06ed0188c930ca1e0c77c9c365c9264033967000","datavalue":{"value":"7770441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070799$289A9480-0AAA-44A0-8C62-521CA95CD2F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cc8009be139b5b15877e5fca6e8033143aff58c","datavalue":{"value":"linear and shared session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070799$F03F36E1-31AB-4C4A-B871-5B9A1067047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c30ccf6271cb03293da7881f999502ddb2d47c9","datavalue":{"value":"deadlock-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070799$8542C591-67B7-43CB-AA40-4DF290A4A61B","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":"Q6070799$7FC5B51B-6178-46E6-9BF9-8136F1DF9A1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eed0ac4abaa509f72cc3b89fa78404ef9d199e8","datavalue":{"value":{"entity-type":"item","numeric-id":5013868,"id":"Q5013868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d917c5228d44ae1e71336fcf4feb6f0ad74f201e","datavalue":{"value":{"amount":"+0.7999985","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":"Q6070799$F5F421B5-4DD0-42C4-A1BA-150843243A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90f368e0906fa1e2472252c45b85021c0ff6de6","datavalue":{"value":{"entity-type":"item","numeric-id":801672,"id":"Q801672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1fb877bb3674db1f339dd1ffd32ab1d1fa8882f","datavalue":{"value":{"amount":"+0.7958766","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":"Q6070799$5333BA23-F524-473A-B266-D04E6E3A370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd8e7fbd5ac72a677c3c621f0272b8074aeda90","datavalue":{"value":{"entity-type":"item","numeric-id":5505419,"id":"Q5505419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4779c66e37ad0a9e936add08e5bd18e09caaa7","datavalue":{"value":{"amount":"+0.77481496","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":"Q6070799$C22B590C-7FE5-4E3A-B290-DD2596A71102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0729f95f1ac297146984f27a7156c8ad950e7","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759ec339a6704c49b55da47d28085de2d7b86d93","datavalue":{"value":{"amount":"+0.7747953","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":"Q6070799$CF39A47A-9C5F-4CEB-82A0-B6B8466EFEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea450aec116d237ae3bb018e8755010929b599a","datavalue":{"value":{"entity-type":"item","numeric-id":2441719,"id":"Q2441719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39fde9e41f11cbbab61b212133e7395d1ffa65a3","datavalue":{"value":{"amount":"+0.7697377","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":"Q6070799$279B31D5-8CBC-4627-8A9F-B70F784B4E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d4c0ee6fd5a22b94d49a63701747804a0bc438","datavalue":{"value":{"entity-type":"item","numeric-id":579973,"id":"Q579973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1987cb7d899b5608c706266061aba6f47f8e98e3","datavalue":{"value":{"amount":"+0.76776147","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":"Q6070799$2B316F61-8776-4EDC-B962-F1A2D0EF2A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919916be698e5415322842abdb85f08b395d020","datavalue":{"value":{"entity-type":"item","numeric-id":2667185,"id":"Q2667185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc7fe93896c36a1a5b22ef9f717bcb3da7b2276","datavalue":{"value":{"amount":"+0.7671585","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":"Q6070799$0B5621C8-509A-4EA5-91AF-BD00E4ECB8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9052b9ac04e277a55489be6dbf71a0a4a0a09836","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03fd0939412fe6a292cb71688fbe35f84e64ec62","datavalue":{"value":{"amount":"+0.76687306","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":"Q6070799$5B19651A-6D6A-4080-A538-C8B56AC7B2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffd2037dbcd0dd69dc6e0cf4e01de80a38f82b7","datavalue":{"value":{"entity-type":"item","numeric-id":2931801,"id":"Q2931801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fdf9e4f0f26ed0fef124f943d2d80334c57f411","datavalue":{"value":{"amount":"+0.7664802","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":"Q6070799$9DA421B9-AE40-42F1-BB8E-58FD0F3460A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b61f653c4bc9736a41bdfb9fe77df8ec942b064c","datavalue":{"value":{"entity-type":"item","numeric-id":5883749,"id":"Q5883749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ac4582ab9db16f0570b8d99f27731ed837e428","datavalue":{"value":{"amount":"+0.76480764","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":"Q6070799$43BFFC7A-E01A-4397-8B17-1FD0CAA5D494","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":"Q6070799$7111514F-FF3E-417B-B41B-E545150D9401","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Manifest deadlock-freedom for shared session types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Manifest_deadlock-freedom_for_shared_session_types"}}}}}