{"entities":{"Q1113665":{"pageid":1124414,"ns":120,"title":"Item:Q1113665","lastrevid":66153819,"modified":"2026-04-12T07:54:32Z","type":"item","id":"Q1113665","labels":{"en":{"language":"en","value":"An incompleteness result in process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4080899"}},"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":"Q1113665$9B238379-560F-4EBD-A0F7-6C121C2EA126","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48a256757e9e9d9c23e020dfb4ce944210e117b2","datavalue":{"value":{"text":"An incompleteness result in process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1113665$DE0A3EB0-9C3F-40A5-860F-46E364C0581C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7716f0856d65503a186a5dd7a652c04e0b886a18","datavalue":{"value":"0661.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113665$97EE129B-404B-4AE2-9D01-8B50C355090A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddf5d3b2f7364b53110d34b751859b871f8c5892","datavalue":{"value":"10.1016/0020-0190(88)90030-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113665$C44B2F85-EDCE-44AA-8CE3-D8434DECCA48","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":"Q1113665$EC55990A-7C2A-4B5C-8FF5-8DC9D8B620E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1113665$398288D8-E22F-4178-9AA9-832591906249","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"82d56391952c22b922433625882165bfa8ee6c0a","datavalue":{"value":"By direct reduction to the equivalence problem for Turing machines it is verified that it is undecidable whether two communicating processes are equivalent. This problem is not even partially decidable, that is not recursively enumerable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113665$C66472B6-E56A-45A3-A9E2-2E8FDB957F3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113665$9AD87DA6-4AC5-4C3E-A5A5-B3EFDAD4561C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113665$DA9E73B0-C311-4724-9F8C-116AC63E9078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113665$06153D23-09DE-46DB-BE71-EFAA90A9E629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113665$0390CA48-1CB4-42A0-8CEB-F7C0F830240E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb197353503fac4b5a5d81edee1ad19e3396b01b","datavalue":{"value":"4080899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113665$502105E1-489D-4BC9-814E-8599C884831F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113665$B63CBDBA-791A-4C0C-BBD6-7A84AFBE1BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113665$02163407-7EC0-4804-9614-CB3B63DAB225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113665$EA70B233-96A7-40BB-90C7-9AA7A4BC668D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113665$6C3AD039-900E-4B1A-8728-0F65C15E8C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721e513100ab1dd746356d55cb6fe7dbd0658d2e","datavalue":{"value":"equivalence problem for Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113665$EC4AA7DC-EA55-48D7-85ED-57213CA3DD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113665$8702572E-6F89-4F0B-A691-FEA274C4C391","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113665$7FBCE04A-89E4-4900-91DB-3678960F5956","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01911e6b71b77cd21ac4dc12ab2dcdf94ba3b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":795512,"id":"Q795512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113665$E2A98A1B-C6E9-4DD1-A104-A732EB66D48B","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":"Q1113665$7084DBDD-57DE-4F2B-85D0-1A46128E787A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"264340a58046555bc4e3f1b798f48ec8811a9216","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90030-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1113665$88C08FC9-E239-4A82-8257-CCEFE4A83568","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a793a1ed02a4b1be89ab17a89a3eba13d3ff6457","datavalue":{"value":"W2022663853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113665$CD86330E-46A7-46C7-A644-964B6B281D0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113665$EA4A90BD-0BFE-45C6-ACF5-2D3F64C657BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113665$DD5C9DC1-B82A-4711-AD5A-27D98BC2ECDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113665$A432B3DD-AF3F-435D-B66C-A3D354FA51BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113665$DFD59C70-CDC6-4F5A-A6BA-A8A5B3A97BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113665$14C1D098-B9F6-4193-BB4F-995EFC180957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113665$D18AB4FB-28A2-491F-A211-BD7EC680C803","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50181b29e5d2a25af61306fd84291fe65c150e96","datavalue":{"value":{"entity-type":"item","numeric-id":3201754,"id":"Q3201754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b19cea20c241a47f9d3710ec56d7c79597a12d3","datavalue":{"value":{"amount":"+0.8167634606361389","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":"Q1113665$DAE99B67-A97A-42F5-A820-616999F0A900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d89aff16db31ec39cbaa3761ad188aa6303723a","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d59a6921798df10ef538e00e36de4ce1e11a38b","datavalue":{"value":{"amount":"+0.8041447401046753","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":"Q1113665$14F85139-8773-450C-9A84-193C8180B153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4868fee9de90509016383192b5714c7d694a59db","datavalue":{"value":{"entity-type":"item","numeric-id":2389334,"id":"Q2389334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b128ceef6cc4cd4a757e45d74e4be6823927fde2","datavalue":{"value":{"amount":"+0.8005741238594055","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":"Q1113665$11322CA2-0E19-4962-9F5A-9EEEEACE8634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e139a5dab215f09ceb027b350550c5fad365c4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4673429,"id":"Q4673429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedebab6ec541321de7f8e140e716acaac96f0b9","datavalue":{"value":{"amount":"+0.7970885038375854","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":"Q1113665$9C03CCC0-AF4A-42B3-A7A2-6524A580EA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6d269bf70b4186a05d0dcfea868bf27500ce16","datavalue":{"value":{"entity-type":"item","numeric-id":1269916,"id":"Q1269916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbbadc6d073a8a83564be80e8a43d224fa9a409","datavalue":{"value":{"amount":"+0.782630205154419","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":"Q1113665$17C28DAB-0FCB-4298-9116-115D97D73E4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An incompleteness result in process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_incompleteness_result_in_process_algebra"}}}}}