{"entities":{"Q1854406":{"pageid":1865148,"ns":120,"title":"Item:Q1854406","lastrevid":69361131,"modified":"2026-04-13T06:29:32Z","type":"item","id":"Q1854406","labels":{"en":{"language":"en","value":"A partition refinement algorithm for the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853153"}},"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":"Q1854406$CC81D1B9-40D7-44AC-AB90-667FF3539695","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cb69f0a46ec06f83764f5ed6f46a4e66825c4b3","datavalue":{"value":{"text":"A partition refinement algorithm for the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854406$C16D706C-FB08-4542-BBD5-328AAF0D7302","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98da678b1d3409aa5985c25214ad0c8a0e8b65f6","datavalue":{"value":"1003.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854406$1CAECC84-6030-444D-B03D-DCF3EDBFD0E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"960c7faf3b9ee15079ddbeb2d5d3b32b315230a0","datavalue":{"value":{"entity-type":"item","numeric-id":199007,"id":"Q199007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$101BDF4C-CCD8-4A02-8F72-E8A7E53566A3","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":"Q1854406$20C3F50D-7BC9-4AE8-AA55-DAF73A6CD094","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$29B95B8D-9AE3-4BBA-BC02-02CFF88E7797","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854406$7B2473B4-85CA-4668-A6B1-E6F57560A547","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854406$40B84EFD-E56F-480A-8A35-7036794E5B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854406$D54B9B4D-EF4A-47EE-AEBD-559B9DE1936A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a28654ea509cee7a725730cda4b0468a6cf48b0e","datavalue":{"value":"1853153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854406$8DFDAE0B-21C7-4E1A-83CA-60FCC9FFB0EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$D814FDF4-9780-422A-A224-21D3527A1C18","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":"Q1854406$20D7C28F-081E-4860-B223-2FF24575F6C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6c6a6ba7cfcda2d9a5fd9f9f9becd843b1c92b5","datavalue":{"value":"https://doi.org/10.1006/inco.2000.2895","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854406$7CCC1D20-0A65-4462-9C8B-5433C7470C09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"632050c4c8e645c198bbe6fd6ba5aa279783e60c","datavalue":{"value":"W1972340458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854406$A692D9C5-26A8-45BD-AED9-3F4EC12CB03B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f3459305ac937293a3547b4e7b928bd3325bae","datavalue":{"value":{"entity-type":"item","numeric-id":4318992,"id":"Q4318992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$DC3789C6-5EE3-46CC-BCB0-1C7E53F8872C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1166c2c780e84fac7578b928060fa8bdd72e28","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$C0594B0F-BBEA-4AD8-8003-BEF18869345D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$18CEA147-99DD-4D7F-8BB9-5424244AD896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$789D1D85-8547-42FF-825A-490D124F03A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$11E11971-F1E6-4D63-87B2-4AD9B9BBEE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3718c6bf57f5371aee2d246b8d5205c2c477cec","datavalue":{"value":{"entity-type":"item","numeric-id":1205185,"id":"Q1205185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$CA4A57D4-AE41-47EC-85C6-EEB2BBDE0C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$F583D098-D550-42B4-B377-2B727E75A321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854406$90122878-F38E-4405-B383-5267FD6E657F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0946a4f321e37fefde269409a7246e07277540d6","datavalue":{"value":"10.1006/INCO.2000.2895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854406$E46F0FFD-0CE2-4F9F-BE25-79935CA3A15F","rank":"normal"}],"P1643":[{"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":"d500cc77af4a52b60197ef5be21413a580c5d5a4","datavalue":{"value":{"amount":"+0.8019938468933105","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":"Q1854406$474CC15B-2413-4CC4-8202-3FEDE387B79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb95de715584f764a7faef1bca34e017d2098054","datavalue":{"value":{"entity-type":"item","numeric-id":3617705,"id":"Q3617705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6aec0729493549176f80ae2b30a487f8e98054b","datavalue":{"value":{"amount":"+0.7992097735404968","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":"Q1854406$1A274C84-B539-4DFC-A551-2CBE167E6BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30686e4b96dbdea5912a334eab698ec8c93f1b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38796744330e7c3427fd76eb2607d3481a16ae99","datavalue":{"value":{"amount":"+0.7955482006072998","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":"Q1854406$8EF662F8-EC14-43A5-B274-CECA5108050E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb4cec045972da0de9f48742121bb34be5ab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b63023da2a7dc177d5e636570e87ec8d8b8fe82","datavalue":{"value":{"amount":"+0.777541995048523","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":"Q1854406$C6CAE39D-97FC-4E29-9831-10C60EB1045C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e24b7cb1fdf3368fb00a7f71834107dc6fe909","datavalue":{"value":{"amount":"+0.775505006313324","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":"Q1854406$C9027FCD-5266-450D-96EF-E72ECD417B22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A partition refinement algorithm for the \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_partition_refinement_algorithm_for_the_%5C(%5Cpi%5C)-calculus"}}}}}