{"entities":{"Q1763728":{"pageid":1774470,"ns":120,"title":"Item:Q1763728","lastrevid":74149482,"modified":"2026-04-14T18:36:31Z","type":"item","id":"Q1763728","labels":{"en":{"language":"en","value":"On the representation of McCarthy's \\(amb\\) in the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136585"}},"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":"Q1763728$190870F4-3310-4AE3-B389-3D5A75E12973","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af2e0017b35d5300532bdd69f3bcee2b72b2034e","datavalue":{"value":{"text":"On the representation of McCarthy's \\(amb\\) in the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763728$518422B6-19A8-4D93-A59E-ABB3D37409E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79d186f0d449838e9a1bc3243d8af0fe7fbbf8fb","datavalue":{"value":"1078.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763728$1EF882A4-6DF1-4BC4-80EA-F8C08239CF8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5156994f036338536fe53522d28414fb86006aa","datavalue":{"value":{"entity-type":"item","numeric-id":347387,"id":"Q347387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$89B44C7A-8124-4B69-8623-40B73AEB0AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$59C04ACC-9833-44A9-BDEF-097B218F8295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$356378A8-DB59-44E7-BD97-217249C890E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$B21944B2-48FE-417B-B82A-EE15C723ACE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1763728$67E77C13-9611-4294-AB05-F3CF05A56C5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763728$29E6D4FF-E460-4F67-B6DE-E5F85767CC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763728$2D1695CF-9A2F-4B93-A020-A4E7C278E6CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d18b3f2e5403e7e4e07f518f852e2a2b9cf51ecf","datavalue":{"value":"2136585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763728$548E5170-B6A7-4202-8E4B-17462419D483","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87621db073afd2f46ccfed001782722f08bdab2a","datavalue":{"value":"Fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763728$6FC0C160-10BB-45EC-88C8-DCACBD89D9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b6f999d95ff8c21d42c74db6f102df64501e26","datavalue":{"value":"Lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763728$EE2455B0-8992-4DD0-971D-BFF0F1939CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763728$73DA2EBD-BF38-4ECA-B7BB-F3926B11D67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"115111a400d13eb35fe92a6953cc1995203b1b6f","datavalue":{"value":"Behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763728$F5587C21-EB0E-4BD6-A323-69BDF6F24147","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":"Q1763728$C4212A6B-1C8E-4019-ABC7-EDF47AAA699D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"deb8c9844d1f67241f7d35720568a5be3eb1168c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763728$B74BA758-8D11-4553-95E1-8BCD101F12BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b68b73cd256b240594ec50a7ead75a1ad32aae4","datavalue":{"value":"W2133824354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763728$D517A129-BB06-4747-9879-B87A45895DA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$B131EB8B-C825-4625-9AFE-4AC0813909B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa831f2062bd418316f0ddf8d55a39363b94c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1314269,"id":"Q1314269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$5F59CEA0-0E9E-467A-A877-BBAA0BC39352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3773b085994287299f357581a1f1dbdbe2a33ad","datavalue":{"value":{"entity-type":"item","numeric-id":4222749,"id":"Q4222749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$A1C97688-38E0-40E2-9D9C-60FC84CD3EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1aa493c321f05aed8353e788b6c1db3a4ef14ce","datavalue":{"value":{"entity-type":"item","numeric-id":1763728,"id":"Q1763728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$A2657176-AD71-495A-9F3A-E788CA77F8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc37ebf85b158f95e7a2fe63513f109810e5d01","datavalue":{"value":{"entity-type":"item","numeric-id":4210114,"id":"Q4210114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$0EDE4F42-5FA4-41C5-A89C-7538DCF71C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe43250dcbff40b5c7ed09b4247265a014ba4f15","datavalue":{"value":{"entity-type":"item","numeric-id":2842603,"id":"Q2842603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$8BA69B24-7CF0-4E3B-AD39-7BFF8F85D0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$F1859F7E-A8A7-4031-BCD0-B69A8263BCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab98f9144c6732b53f94131308e4bb8bf4b801b","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$9E27FA82-EB4F-4031-BB95-0AE92B2DE510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eb465542a6ef9a1519f214c4fd021183dcfb048","datavalue":{"value":{"entity-type":"item","numeric-id":4941902,"id":"Q4941902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$037F83F7-09C9-402A-8A09-AD09FD722E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$DEDA07D0-01B1-4646-B8F3-F780917B24DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918c90c740fb88aa5073f69e0a5ed72039f108ba","datavalue":{"value":{"entity-type":"item","numeric-id":4219055,"id":"Q4219055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$039AC72F-DFAB-43BE-BB8E-9F767FA83985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4245995a5f9f440bfaac6125f37b7015daea0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$CA26E597-637F-47E2-B0D8-4E3721F498FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e38a8f602ec3e243e827434419bded1ded29e2","datavalue":{"value":{"entity-type":"item","numeric-id":4645218,"id":"Q4645218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$85959FF6-4232-4324-943A-1DB090A33D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7826866a05510a038a5ca0e484e348b53bbacd09","datavalue":{"value":{"entity-type":"item","numeric-id":1854385,"id":"Q1854385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$86F6A3D7-5FF5-42E3-A347-0D360F9A509B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501dd19d640a8d8319ccbf4fa930b208ee61ddee","datavalue":{"value":{"entity-type":"item","numeric-id":3819986,"id":"Q3819986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$07C9559B-9512-489C-9945-0B09D8AF8B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc822b3b1d5cf1814d59a20db469188e24a0f03e","datavalue":{"value":{"entity-type":"item","numeric-id":4847380,"id":"Q4847380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$C2B832E3-5D55-4648-8A9F-9AD6CFEA243F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e863bffeec0cc307c58d6e766b21d0e4fcc52fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$8850BBDD-DAC5-4A77-8A43-641B1D0F452D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763728$7D7F1DD9-3D67-407C-9E2E-450989894F9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01c480ba08f7b01190e054cb2b15e7398273ff9b","datavalue":{"value":"10.1016/J.TCS.2004.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763728$447CBBB5-55C1-471B-B0D9-3E048C47C516","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451132a05aaf9deda488989b3a4451159848c390","datavalue":{"value":{"entity-type":"item","numeric-id":2847406,"id":"Q2847406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9b617761fb73b4b9453fe30dbdc38f5c5de92f","datavalue":{"value":{"amount":"+0.9888029098510742","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":"Q1763728$574FC297-D634-43DD-89DF-580533D4605D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab88b9171f02af8e7d0828d5ed81dd8feecca444","datavalue":{"value":{"entity-type":"item","numeric-id":4941902,"id":"Q4941902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec60fc40ef01aaf3f3f2c83b265349c49dcad1bd","datavalue":{"value":{"amount":"+0.7802589535713196","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":"Q1763728$5C0F1A1A-E76C-44ED-956C-F5D1326C0A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8376a9b693fe02a6200b18de9ede56ae80f4083","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942b81a8584cae5d5dad495256e8cb3e8856dee7","datavalue":{"value":{"amount":"+0.7709220051765442","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":"Q1763728$77E78B9D-063C-480D-8A1F-802A301B2E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec47e1d901cc11fd90886073431890986be03991","datavalue":{"value":{"entity-type":"item","numeric-id":3401940,"id":"Q3401940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"093cc7db77814718f05c14aef6122851187e4348","datavalue":{"value":{"amount":"+0.7692381739616394","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":"Q1763728$ECBDAA5D-EF4B-4EB9-A418-0F394B848B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d01692312ae28f43a7ffbca07472e5e5d4054e","datavalue":{"value":{"entity-type":"item","numeric-id":3067465,"id":"Q3067465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d794836baf40a8489c5f80f1c4611c825ef5339","datavalue":{"value":{"amount":"+0.7635897397994995","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":"Q1763728$A902AEFB-1741-4D4E-904D-2B17E07CEBE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the representation of McCarthy's \\(amb\\) in the \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_representation_of_McCarthy%27s_%5C(amb%5C)_in_the_%5C(%5Cpi%5C)-calculus"}}}}}