{"entities":{"Q1350215":{"pageid":1360954,"ns":120,"title":"Item:Q1350215","lastrevid":68531043,"modified":"2026-04-13T00:20:17Z","type":"item","id":"Q1350215","labels":{"en":{"language":"en","value":"Extension of synthesis algorithm of recursive processes to \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983939"}},"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":"Q1350215$C3658081-2838-4FC2-B8CB-4A0365E21B04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf48a92a8d763bb54805ca3424db733cd3c79d17","datavalue":{"value":{"text":"Extension of synthesis algorithm of recursive processes to \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1350215$EF4E9E49-97F3-41A4-A4AC-47F747A57BC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd263a29e80c24324888cb6195afc32a5d0a643a","datavalue":{"value":"0875.68469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350215$5F0F86D2-1770-4DB8-BF31-9DB64A429FB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b45870d3ff7ded54a942116b64756da8fd85995","datavalue":{"value":"10.1016/0020-0190(96)00038-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350215$C4A05E88-5B00-45FE-A916-2552F15C8450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37484b360e70417020d417f7bbb2d8aabe89e834","datavalue":{"value":{"entity-type":"item","numeric-id":1350211,"id":"Q1350211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350215$929538C1-2862-4D95-BB92-FE0B102FB847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"412a3832de436a82630a861fa37ec9620ae29c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1350212,"id":"Q1350212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350215$778D0318-A61B-4C3D-8C33-84D8E1DBEC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11c8fe062b44690f06c913d8d511d8f206ff389","datavalue":{"value":{"entity-type":"item","numeric-id":209149,"id":"Q209149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350215$9A7E187C-CBE6-4AEE-81DD-9E8EC1FAB982","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350215$4297980E-9D9E-42AF-98A5-A2B20B06B951","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1350215$D21CB5BD-DBFE-4825-A25E-FFA5857C696F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350215$CE35D4C1-B05D-4EF1-822D-C0C149785BD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2944f312e5e971afe639025605f31b9b2ef8861","datavalue":{"value":"983939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350215$A6CD1A59-2BC0-4501-B0D5-5EC40C72EEE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baf804bc4c1172cd32c9cc96b06a8c070f11c0c","datavalue":{"value":"Algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350215$5CE95BB5-63B7-47CF-A244-1B9EF819DEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c30d06e7f265aaaa08c193330eb0d1c4ab0a66","datavalue":{"value":"Process synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350215$BF3E35CE-78C5-4BE3-BF14-E5DF6BAB45F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1c0419a0030549d7b607ffb6c40cf2a1c799099","datavalue":{"value":"Inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350215$0AC1FA21-9687-4751-9DA9-ED7FEA88A78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e759385280ef830248ff4ab2f3a09b1616d7c2d","datavalue":{"value":"Algebraic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350215$735F8830-56F7-4E50-AEA5-DD3007905D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350215$9B1866F4-CF92-422A-B5AB-02A42FC21EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350215$0CAEA3DC-8875-42EE-BA12-2FF85EC1BC99","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"efb38018c92d2d02b37743cbaf186fbeffb3fd6e","datavalue":{"value":"Q112879896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350215$34D7719C-4BAA-4A1E-9001-11A627238583","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":"Q1350215$195B07A4-D52C-46CB-ACC4-B6DDC9FFDC4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f949d640984f3e57c29851c5181030a6c755ab4","datavalue":{"value":"https://doi.org/10.1016/0020-0190(96)00038-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1350215$CE65F23C-EA4E-43C2-A6EC-2D73F0F2AB13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2647dcddfeb9a495850da5db8567cf431a71dde","datavalue":{"value":"W1985281673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350215$4A3A272C-A4B1-497E-850D-CF337F6F5CE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86294c98630b181a5f8eb3c9fb0c21ddb5c467c7","datavalue":{"value":{"entity-type":"item","numeric-id":3719799,"id":"Q3719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350215$574D61F9-8594-4930-A6D1-C62D2F1D8168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8180a909fdab03daeea401c68d6a5c42350bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4470566,"id":"Q4470566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350215$D72DEBB1-0A59-40DC-B073-13DD460648F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7795bb6345e869387d241e428cc4aa19a94163","datavalue":{"value":{"entity-type":"item","numeric-id":1854392,"id":"Q1854392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350215$EEFF02FA-271D-454C-917B-164120DEDEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350215$F58AB5C9-A1E1-4BA1-9D0B-5BCC79692B44","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":"Q1350215$9D21B5D2-10AF-406A-85BB-3D351C85F670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350215$47292414-B437-412B-A557-0E61EFAC207B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f707e75cfd7e6c63779e1ab9c81fafee106b708","datavalue":{"value":{"entity-type":"item","numeric-id":1854392,"id":"Q1854392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3eaef962a2d2554948df018dac4d0af44a8234","datavalue":{"value":{"amount":"+0.822555661201477","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":"Q1350215$06D3B85A-810E-46E0-B64F-2BC60AD614FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837e16fa9565c4c23b653dd29cacc41e16245413","datavalue":{"value":{"amount":"+0.7290438413619995","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":"Q1350215$B624F920-9EE7-43D7-BAE2-2128D02333DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb176f523302ecda8664b513cfd119bc49ebf59","datavalue":{"value":{"entity-type":"item","numeric-id":4536385,"id":"Q4536385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205b189854be1cf37eb3eaa20bba44e92b99c08c","datavalue":{"value":{"amount":"+0.714252769947052","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":"Q1350215$124EEAAF-4ABA-415D-B599-873B47882B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ce26897af7cbf06272d3d1bb0adbc0a67bc147","datavalue":{"value":{"entity-type":"item","numeric-id":4472450,"id":"Q4472450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317f8fcf3c2b274237ce302783f796ccd29aadfb","datavalue":{"value":{"amount":"+0.7104355692863464","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":"Q1350215$1809B063-BFDA-4956-99DD-FDE414A7BFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315eaeafdd361283d1d05820b5bbeba9530370c","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb0306ba66e994f9e4bf310ad0211cd813ed265","datavalue":{"value":{"amount":"+0.7039885520935059","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":"Q1350215$1076F1C9-38A3-42AB-BAF1-DE6C34D4719F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extension of synthesis algorithm of recursive processes to \\(\\mu\\)-calculus","badges":[]}}}}}