{"entities":{"Q865929":{"pageid":867777,"ns":120,"title":"Item:Q865929","lastrevid":64975236,"modified":"2026-04-11T23:28:23Z","type":"item","id":"Q865929","labels":{"en":{"language":"en","value":"A functional presentation of pi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128500"}},"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":"Q865929$62626150-4967-427A-A108-0AEF80C91166","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24bb0058739b905ba4cff9bf9daabbe6f5aca650","datavalue":{"value":{"text":"A functional presentation of pi calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865929$808FBDEA-CEDE-451E-B282-8906BCA9F324","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67d9d8c3c92b9676599138c5e13529c4d946fa35","datavalue":{"value":"1125.68389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865929$400DDE1D-76DD-424E-928A-E677F1DBF315","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebdc8350042be93adfb8e614769e4f5197d05b5b","datavalue":{"value":"10.1007/BF02713937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865929$669E9927-3150-48A0-9193-A96ADCBE5D8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ee9c8fb92d9851f57f12d6328abed8c2669ffd","datavalue":{"value":{"entity-type":"item","numeric-id":182339,"id":"Q182339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865929$37316A6B-8097-4320-9C40-99F3F5BCB13D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98e7827e954b81f9efe2be64c5ae8ff8fac944c","datavalue":{"value":{"entity-type":"item","numeric-id":419702,"id":"Q419702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865929$119F3B56-61E2-4188-8098-A8477CB0AE07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q865929$D5A02510-4941-4F04-B70A-C9102E052D6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865929$3B4ABB1F-E928-4A42-9F17-352181244534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865929$7DBB739B-5D63-497C-A518-18291C91246B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78397ce7c45c5338286da18e5e1d83597c7b2692","datavalue":{"value":"5128500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865929$D049CFE8-E2B5-453F-ADD3-205D1479DC34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf932b3e95d3ed0ce058c4ed8956b6566cc08c84","datavalue":{"value":"functional presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q865929$1E675EB1-E652-48BA-93E8-29E25071426A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070344b12ce0d59c8ba8db590acdb5674b6011de","datavalue":{"value":"\\(\\Pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q865929$B5AD7B77-7545-4FB0-B5A8-66046A2477F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q865929$F3DDB1D9-2261-4358-9687-1C60DBFA6A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q865929$0E60DDCA-D9EA-4C53-9D2D-795D5DE47D85","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":"Q865929$B1198975-18AF-4175-A5B7-B61BBA48649B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865929$1A786BA7-104D-4B03-9FEC-63CC0C05678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84a34f7ed2a4c6a1f340d4b5ffdb2124876a3c1","datavalue":{"value":{"entity-type":"item","numeric-id":1346714,"id":"Q1346714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865929$C7C6EFDD-B7CC-4BC6-9683-48969EFC571E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865929$9C8EB213-A7D4-4D91-BD51-1B510179F93A","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":"Q865929$B8BA927E-EEFB-4D5E-B9E5-F6878BB6D743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865929$AB831DE4-40DA-4EA6-B91D-78FEDCDA8F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2b69b673372da9a4630e03aecd124942a7f30","datavalue":{"value":{"entity-type":"item","numeric-id":1960530,"id":"Q1960530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865929$047CCFC5-46AC-491A-A8F8-4822970C5061","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f70ee956e6c3dd83b4a3f81be7e5279e6ac637b","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89de9cc050151e3c190f3cf68679ca8eb323c839","datavalue":{"value":{"amount":"+0.8148030042648315","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":"Q865929$B8B8F9A7-0D08-422D-8A85-3259A2C4A167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae6bb6199a740166cfd3493f0583ef6266234ca","datavalue":{"value":{"entity-type":"item","numeric-id":2767985,"id":"Q2767985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6714a1b59109d31c17ea0b1a9ef91b48605780","datavalue":{"value":{"amount":"+0.8136661052703857","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":"Q865929$0F9B81B4-FB66-4B73-BF91-9602FBCBE05D","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":"3ff32e147f6a59e84967214cc34431a1cb1e3dd4","datavalue":{"value":{"amount":"+0.8102043271064758","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":"Q865929$03BA01B4-DB61-4035-8FFF-692FF1D22BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"413cb040add77f44419155140af130dd355f7251","datavalue":{"value":{"entity-type":"item","numeric-id":5044732,"id":"Q5044732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b00952f4490e133cd21308696a407260755210","datavalue":{"value":{"amount":"+0.8089209198951721","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":"Q865929$3F7DAF3D-9601-4924-AC25-BEF75B2F4A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35ff1108d0cf6d4c5a3f16ecd3e2e3c0a0320f3","datavalue":{"value":{"amount":"+0.8074941635131836","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":"Q865929$3F69A5E8-B772-48F0-BDD6-D57875383E69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A functional presentation of pi calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_functional_presentation_of_pi_calculus"}}}}}