{"entities":{"Q5428855":{"pageid":7458429,"ns":120,"title":"Item:Q5428855","lastrevid":41204519,"modified":"2025-04-19T02:29:34Z","type":"item","id":"Q5428855","labels":{"en":{"language":"en","value":"Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the \u03c0-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215612"}},"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":"Q5428855$C7844932-7A65-472D-A27B-EE9BDC3979AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae3eafb1053b974f611e105cd39c3954ad332875","datavalue":{"value":{"text":"Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the \u03c0-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5428855$66F9E269-67EE-42AE-937F-898296D15F50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afa7d880c1b28dd4112e2bcf743a64fab3269f4a","datavalue":{"value":"1171.68573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428855$50C2E79A-22DB-408E-BB2E-5D2F81CFF6F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c06405b34ebfa3d06c282080343f57364e7234c6","datavalue":{"value":"10.1007/978-3-540-73420-8_64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428855$581CAB26-9492-4B85-938F-B9106EC8FB27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428855$D1480C65-7329-443A-8104-E2381B84F7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f41358b1c4b522d920c4d230213a10168c5397","datavalue":{"value":{"entity-type":"item","numeric-id":2389333,"id":"Q2389333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428855$34E14439-0A9C-476C-9D82-C54944AE9C8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428855$B3925686-A718-48CF-B783-2E08BFBD2CA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5428855$9C504E91-8B66-44B2-AF39-A18719CAEDB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428855$1912DD03-AD86-4139-8E54-744369C23F12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"109446d074a50ef60c78792b6f7d078f12eefccb","datavalue":{"value":"5215612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428855$B0C7E644-5775-4503-B81F-4D2CD5A3BD6B","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":"Q5428855$8DE03E8B-A42C-466D-B763-3A00FA03D0A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5f689e92634bec17d8200a6697419324f1b6147","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73420-8_64","type":"string"},"datatype":"url"},"type":"statement","id":"Q5428855$A2E8C7D3-12BA-4AFF-90FC-6DAE41544719","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f26f6bae607b5d56efbd43801f8c04ffd34506aa","datavalue":{"value":"W1530194224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428855$3912EE2F-C898-40D0-A677-A496887FB1AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aab4585ccf0fb7b8378a4b8e66dcea791c7cd70","datavalue":{"value":{"entity-type":"item","numeric-id":4281470,"id":"Q4281470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7eec33c8e1ab50a1203dd83b98ae45a7941d2f2","datavalue":{"value":{"amount":"+0.8879857","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":"Q5428855$D12E4849-14CE-471C-9E4A-2EA9BF7B36B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b94227defdbb6b1c34348585dfcb5d046236c20","datavalue":{"value":{"amount":"+0.86241716","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":"Q5428855$7CC8C090-F229-47D1-896B-03EC10FF38AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79fb211c79fd02cc14628c0e6b23553932af541","datavalue":{"value":{"entity-type":"item","numeric-id":5096384,"id":"Q5096384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bdbc7a5cd485ee8e5ebda29fcc27faaad5a47b3","datavalue":{"value":{"amount":"+0.8545784","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":"Q5428855$0121BE53-4C44-4DF6-B679-859381E08B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cbed48721fd090f1df99061aa6d69f045d67f61","datavalue":{"value":{"entity-type":"item","numeric-id":1391099,"id":"Q1391099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a40d53c125cabe7d0c899fa249ebffc08913b6d","datavalue":{"value":{"amount":"+0.8545783","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":"Q5428855$260F66B1-85C0-4365-A7FD-9FE217776340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07490e1bce39583a5e0e8b2142a40bbd51002c14","datavalue":{"value":{"entity-type":"item","numeric-id":5096731,"id":"Q5096731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba0f8a388297fd8ffc582701d130c0d63900c69","datavalue":{"value":{"amount":"+0.85292786","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":"Q5428855$8B97321D-BBC3-44C9-834F-F2418563B714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51443693fae9fcd517bfd04a049ceb5eeaaad094","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b717212b8a4b1ff2183f0e7e3dcbbcc3a7184ec5","datavalue":{"value":{"amount":"+0.848247","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":"Q5428855$6FACAFD5-CE66-4134-90A5-469B52887247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9440e44c0bc991151a1ad77ef1bfcfc962a16bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3540198,"id":"Q3540198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d563ac8d748f7462774f928aa822fbcc933abdb3","datavalue":{"value":{"amount":"+0.8479135","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":"Q5428855$C17F7F2A-4D70-4D57-A62E-9C0DD77674AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c314b3a0a9d619a61fe66f501a73b29f8ee0eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1400579,"id":"Q1400579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9594e77d643062df2ea4f6df88003c4523aacd","datavalue":{"value":{"amount":"+0.8452739","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":"Q5428855$03DEC767-682A-4AE7-8635-64256705CC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f72304a9e840ee56e963b75fcc6c767f8dc3b3","datavalue":{"value":{"entity-type":"item","numeric-id":5899094,"id":"Q5899094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e117ee45cfa611ed63e66512ccfcbe5c2957896b","datavalue":{"value":{"amount":"+0.84208906","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":"Q5428855$00C81364-4139-46FC-B6AC-D08724F44A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ae6741a4a801c56cdcac9b3bd41d56679992fd","datavalue":{"value":{"amount":"+0.8418909","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":"Q5428855$C344651D-AB6A-40F6-9D1C-53396175D9E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5428855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5428855"}}}}}