{"entities":{"Q1770362":{"pageid":1781104,"ns":120,"title":"Item:Q1770362","lastrevid":72502125,"modified":"2026-04-14T05:21:32Z","type":"item","id":"Q1770362","labels":{"en":{"language":"en","value":"Coalgebraic minimization of HD-automata for the \\(\\pi\\)-calculus using polymorphic types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153164"}},"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":"Q1770362$31D42E11-4CF6-47AA-83C6-E4C8C0230B66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25aab6a59fa86a74f5b086db564f9258408a98bb","datavalue":{"value":{"text":"Coalgebraic minimization of HD-automata for the \\(\\pi\\)-calculus using polymorphic types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770362$418DE75E-AB27-451D-B1A3-70B706C4A2EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01237adf45dea9a94e319a5bf18560de7f05ad6d","datavalue":{"value":"1070.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770362$AC38C26C-1137-4A39-BDCC-9AA3328AD0E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$91A49BFD-EAE4-4F84-A759-F3D70CD28AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6c37e24eff01995157b2a4b2bb0fcfce2a64dc","datavalue":{"value":{"entity-type":"item","numeric-id":1770361,"id":"Q1770361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$2CB7436D-863C-4226-9EB3-042C1DC43BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72039656185d0ef8eb3f9cb23879b2b5abb28d22","datavalue":{"value":{"entity-type":"item","numeric-id":530216,"id":"Q530216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$0A49D14A-280A-442E-86BD-5A6700290031","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":"Q1770362$8D4B0272-2F8E-43EC-A967-9B9C91265D25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770362$A3C2C5EB-E1D7-4022-8471-A2B51BFC85C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770362$D52CC61E-29DA-475D-ACCC-0B4AF7838E14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e37375b76182a1edec450f287e13d4e8290313c","datavalue":{"value":"2153164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770362$0D66B41B-8131-4806-8014-976FB0752F2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab2656c4b7610fdfe877a4b6db922764a7298a76","datavalue":{"value":"Name passing calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770362$3B85B6E1-A00F-40DD-920C-B1F5523F6A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f0b0183536a1d021b4dff3a5130ed1129c33a3","datavalue":{"value":"Finite state verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770362$90333A01-FDD6-4678-BB67-E24E46E19F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3169a0b5f29ae5e3f383f4d99b248dd7371c9e20","datavalue":{"value":"Partition refinement algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770362$DC8D0B74-87D3-475E-B405-FE66757ECFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc041579fc51471c9159caecdc8dd7742882e2a","datavalue":{"value":"Bisimulation checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770362$EA4A1E35-FDB4-49DD-B654-8B1C741660EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d689545ad90ec452abc573f6acd6090e6b7a7d27","datavalue":{"value":"Dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770362$1773155F-C16A-46BC-8C22-DAF251C81597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204eaea7bf651ef2e44c01583511c99feb0f8325","datavalue":{"value":"Co-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770362$443D744B-6DF0-478D-90C8-5566A2CF2490","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":"Q1770362$73F43F84-26F3-4CF5-A36C-A941B42FFC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$470922DF-972D-4C62-BD69-D17DEEC881C4","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":"Q1770362$04D92CE5-B573-4C55-A6B6-D5385A258A9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96f8612a48c1a1aa0683d0d2f20b976fd1233e65","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.09.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770362$76A3E382-E6F8-4DE6-B243-EF0CA68287ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef753a0ba0ff0267713125c61843d3537870128c","datavalue":{"value":"W2098857464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770362$B19A19B5-7555-4B75-A5F6-5AD8E7ECCD90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$7F1B84E8-0272-4B46-AA57-F6A5D5284833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$B67CDA4F-146D-4DC8-AA34-D0C6AD73B462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f45f5b1f682d4fd1bd2b6810b36d6364f1af18cf","datavalue":{"value":{"entity-type":"item","numeric-id":4738222,"id":"Q4738222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$1813417A-296C-40E6-ABEE-552C69166EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22471ed755a66bed7773ab3007ac6288e5f9782","datavalue":{"value":{"entity-type":"item","numeric-id":5492819,"id":"Q5492819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$744B2635-CDA9-4D09-8A2B-9CD6BECDD76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58740dc78be195735a0178b5f82807d6baa3630","datavalue":{"value":{"entity-type":"item","numeric-id":4798029,"id":"Q4798029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$ABD46913-F8E2-47DB-9711-95DF76D18FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$9640A7E4-2543-438B-A523-C7F9F7B4A833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$2FEE8E93-1043-4053-9646-6C94D4374194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d0d436add1f0793e89725d387a38d770d47ceb","datavalue":{"value":{"entity-type":"item","numeric-id":5308438,"id":"Q5308438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$CF3751A2-D2B9-48AB-BC64-10356B6658E7","rank":"normal"},{"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":"Q1770362$A85A39D6-FE81-4136-B35B-0053FD8E2C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd55ff2e03b6b314ce17c763bfbf348521ea10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4222939,"id":"Q4222939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$ED0440B9-987A-47C6-968F-5DCBAE2AF7A4","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":"Q1770362$3C5C2B8A-F326-4F01-989C-F84B5F8E0E87","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":"Q1770362$10B3FF99-AB3E-4F70-9C30-7E2B208BD4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c843ef94c4d0bb272dc208d73acf55569dec82b","datavalue":{"value":{"entity-type":"item","numeric-id":2721104,"id":"Q2721104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$9BAC47CC-51F3-4F2B-8ECF-A3F6E3BC9413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$2E6391EA-27C2-4B48-AAAA-69B64913322B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81246643425bf2cf941852d02f9c26835217d87d","datavalue":{"value":{"entity-type":"item","numeric-id":4040030,"id":"Q4040030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$EE1F749B-97B1-4296-B8E8-B9921BB3F50B","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":"Q1770362$E660F5FE-918A-4830-A6DC-8DC215A023C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770362$9615B2B2-78DA-429C-8EDC-B28450D3213F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4e5784ce194cbd90a6bfedf772593193505e436","datavalue":{"value":"10.1016/J.TCS.2004.09.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770362$E111424C-EF00-4DA4-9AF5-008B17F57F66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8023fcce5ddd1af02b62869a6999edda59c3da6","datavalue":{"value":{"entity-type":"item","numeric-id":4536393,"id":"Q4536393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee42891caeacdf286449a237e872afbf4934f9e8","datavalue":{"value":{"amount":"+0.8577578663825989","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":"Q1770362$F7282758-DB1A-4EF9-9A4F-863FE646478F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c7c6eade584697fd891391383e89ac29f22d49","datavalue":{"value":{"entity-type":"item","numeric-id":2566037,"id":"Q2566037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3db9d08c858f89bb9fb32293296eaeb8738948","datavalue":{"value":{"amount":"+0.8567803502082825","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":"Q1770362$CB365B95-AA2B-4F88-A65F-73FC5D5F2FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d0e1be0c6bd05a1432efcbf7fca4e1960fa9e2","datavalue":{"value":{"entity-type":"item","numeric-id":5492819,"id":"Q5492819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4adc808c547c848fcfb3b948928d29d8a82a418","datavalue":{"value":{"amount":"+0.7931301593780518","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":"Q1770362$CF9E5CEE-3E16-4169-8B7C-3FA941BE43D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e6463c21db8cbaaae82b0a1325d278f4ceffc4","datavalue":{"value":{"entity-type":"item","numeric-id":4738222,"id":"Q4738222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651e6efd29643672f6d4c0ed19cdb6448462c342","datavalue":{"value":{"amount":"+0.756147563457489","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":"Q1770362$261F1B6D-AF3D-44AF-8760-69BAFBA8777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f615a22c40b13d8e06ab659a2290938bd0868599","datavalue":{"value":{"entity-type":"item","numeric-id":1854406,"id":"Q1854406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda5d441a7efa484d608bfd94da93da6149c0b5a","datavalue":{"value":{"amount":"+0.7349215149879456","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":"Q1770362$1C8F4451-371C-4B1C-A204-74762D3D295C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic minimization of HD-automata for the \\(\\pi\\)-calculus using polymorphic types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coalgebraic_minimization_of_HD-automata_for_the_%5C(%5Cpi%5C)-calculus_using_polymorphic_types"}}}}}