{"entities":{"Q2389334":{"pageid":2400077,"ns":120,"title":"Item:Q2389334","lastrevid":72678111,"modified":"2026-04-14T06:27:23Z","type":"item","id":"Q2389334","labels":{"en":{"language":"en","value":"Undecidable equivalences for basic parallel processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5579071"}},"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":"Q2389334$8D4E1021-52D4-4036-BA52-922AE380E1AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"084013ce8b7a4b3ecc45dea5e64198962c925d98","datavalue":{"value":{"text":"Undecidable equivalences for basic parallel processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2389334$6003ADC2-53F2-4F55-817F-14FA44DF8134","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddd7cdac2a9acc36ea423dcd5365afbf35df8a9e","datavalue":{"value":"1167.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389334$A1FDD0FD-2FC1-4883-A60D-95B55D6EF228","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$B4F01390-F64C-4A6E-8A4A-C64A77839104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$ECB891EA-0B8D-4A69-ABD3-DBCD67CC80D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f41358b1c4b522d920c4d230213a10168c5397","datavalue":{"value":{"entity-type":"item","numeric-id":2389333,"id":"Q2389333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$196014D0-49AD-4F4D-AB37-CCEE50BFDDDC","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":"Q2389334$886428EB-5221-406E-929C-05BC7A0AE317","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8768e7a5d5b85f5421c2a03899fbac26eac6319","datavalue":{"value":{"time":"+2009-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2389334$2ADB52FE-D025-40FB-81D0-87613076A701","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389334$100C71F7-F100-44B4-87DA-6FC3CF45D9C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d61a4b27d6d6e9397a1dd8f8a4000cd6c429c21","datavalue":{"value":"5579071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389334$0FC53E11-2147-4D85-AFBE-30DBC89EA182","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":"Q2389334$29DA798F-E78B-459C-BD62-F4F94563B3F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"567945722e6ebc7b6db2e0f9b42f9ede6ded6030","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.12.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2389334$0AA554D6-407C-491D-BEFA-FF38ACF2CD7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8e0dcb165d31d0734db678336e137fd9aff2990","datavalue":{"value":"W2160628618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389334$85882320-B6F0-4C34-BD30-877906F6C5C3","rank":"normal"}],"P223":[{"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":"Q2389334$2665E30F-6FEB-4BE0-9177-D3CB504139C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$70A52DEA-7A15-4DB2-9113-F37D8A34E5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182a34c32fa6eb3396137e922d81d0cd9546d802","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$6C712FF8-F818-4B48-972C-DECE82D865DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0deeef39be58c8f47637dd9909466046884d08b4","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$9D833CA1-2066-40A7-A3C9-37277C6F250A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$59EF1802-D50F-4960-AEDD-CE8F32ACC407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3c01344508637d2317439a872c1623a9dfa517","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$4858DC02-0510-43A3-B761-F61A44880C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf6296675a04b218469db10451a04d2c74acc22","datavalue":{"value":{"entity-type":"item","numeric-id":1892874,"id":"Q1892874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$480F16D4-B1AB-470B-9B4D-169EC5F3A715","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":"Q2389334$9CCAAEC2-D3E6-4BBF-A604-38FAFCCC5B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a06252384a0241337bdf3c51e24a574fd7b9b29","datavalue":{"value":{"entity-type":"item","numeric-id":5900554,"id":"Q5900554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$D8FD3AF2-9B58-4563-9AB7-A3AC603455FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa87f45f8739ada599895fbf3c625074cc2cde0","datavalue":{"value":{"entity-type":"item","numeric-id":5428855,"id":"Q5428855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$681FE1F3-BEAA-4E90-971E-6E020A5FE722","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":"Q2389334$94969490-C07F-4460-81BE-17848678AC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$8ED5FE77-6F4D-415C-B790-D62794BC8964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$A1A3F348-67EB-4393-B4AF-CEA791A8493F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09394286f47939c3b7fb510865445a2c470df992","datavalue":{"value":{"entity-type":"item","numeric-id":4791269,"id":"Q4791269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389334$873DE2F9-C95A-4BBA-9708-542E304923DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e007f9c1bf2158881362649d2d311de8506ded7","datavalue":{"value":"10.1016/J.IC.2008.12.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389334$A59A8F02-8CFD-4CF9-A31E-01BF9FA2784F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881af164b8055a21072d30f286243476fa951fb7","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b2f616bf544c66b7fc853061e02d6b8036b053","datavalue":{"value":{"amount":"+0.9175814986228944","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":"Q2389334$E4E8C462-332E-4A61-8B44-4E2EB250995F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e63dac3ad8d4c9ffc0dcf739b5e85f9b427708","datavalue":{"value":{"entity-type":"item","numeric-id":5428855,"id":"Q5428855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18f323cd47da257ded8b7f9d4040ca69f14d931","datavalue":{"value":{"amount":"+0.8699370622634888","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":"Q2389334$A23AAC8D-5B0F-4D5F-BC2F-30DBF9F3200F","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":"f6e167d83ef1590133cf1e9eab48e8e84bfdaf49","datavalue":{"value":{"amount":"+0.8416911959648132","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":"Q2389334$7108E70C-3D5D-4536-B180-8B8D73FF769B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c519f6db5688de71a3a2314c67a77fd8881c65d","datavalue":{"value":{"entity-type":"item","numeric-id":1310916,"id":"Q1310916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda6067e120b907441a80c1ed6d4f0b649293d76","datavalue":{"value":{"amount":"+0.8362054228782654","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":"Q2389334$147AF8DC-C99E-4894-9C53-00CC2C72D3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6383ca3ad0f865e4b1851ad9a1eb25ab08616fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173c3fb9ed76ef057c230fbf89618a9c0aad916f","datavalue":{"value":{"amount":"+0.817615270614624","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":"Q2389334$E0F3B1EE-049B-4B25-8BA4-5AB5956D702C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidable equivalences for basic parallel processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidable_equivalences_for_basic_parallel_processes"}}}}}