{"entities":{"Q1276241":{"pageid":1286991,"ns":120,"title":"Item:Q1276241","lastrevid":70050483,"modified":"2026-04-13T12:06:29Z","type":"item","id":"Q1276241","labels":{"en":{"language":"en","value":"Process calculus based upon evaluation to committed form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243206"}},"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":"Q1276241$8482634E-8E21-4034-9DA7-2EBB29F9304B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af36abd1884ef6fd8d3572d3bec5fe066b39c969","datavalue":{"value":{"text":"Process calculus based upon evaluation to committed form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276241$2EC12195-4D4E-427B-9758-CFE546753F63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"729f1ffa0478d3fe15e0c5b5f86f2ecaaaa8b5a1","datavalue":{"value":"0915.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276241$EBB81270-759F-4558-A010-D6F7B8333B1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bee83a25dd06680b7b3fc4904dde21052269493","datavalue":{"value":"10.1016/S0304-3975(97)00218-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276241$9520EDEB-65DA-46C4-B26D-23A47CB79551","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$B8849261-8F9B-4AC1-AD58-BBF395FDC213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a2ae1d35831d2c064e7c293c680b99a00d93ce2","datavalue":{"value":{"entity-type":"item","numeric-id":1276240,"id":"Q1276240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$E198B67F-C04C-411A-A134-642E91DF05BA","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":"Q1276241$55049D04-BC96-47EC-BA78-BFEDAC0B1480","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3bffa3db2ce89c5504f5540328b6e8375177fd0","datavalue":{"value":{"time":"+1999-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1276241$92A994F4-385B-4EB4-91F9-B88DCAC91900","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276241$6CCCCA72-099C-47AD-9E83-C758BBD935A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42982a2750675ce9ce469c22fc1e247ab50a4960","datavalue":{"value":"1243206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276241$0E6C295B-E519-49AC-AE64-B3491D07E0C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276241$4C57703F-35D2-428B-9A69-C35AA34A5C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276241$9C8051EA-DC15-4812-AD15-7BCE1A28B256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8bb7901c79dfbe930aefe65f96ed17aab9078d","datavalue":{"value":"evaluation bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276241$4E486B4E-66A6-4212-AF99-6078B8FBFE23","rank":"normal"}],"P1463":[{"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":"Q1276241$A6723FC4-6D3D-45DB-9528-B142EA7127FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29b8415bb4c295a269f9dc8fd3592af051b33888","datavalue":{"value":{"entity-type":"item","numeric-id":20682,"id":"Q20682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$2B87F2B7-5B24-43EF-91A2-EC7309533B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$0653A79D-D740-4DE1-AAC7-6070D5A97235","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":"Q1276241$F10673EE-C609-4676-AB40-E294F22FE5AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$20B3EB99-CCAD-4151-B138-5E492637591C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6203b4723a316c6e025f2804d602303a17070260","datavalue":{"value":{"entity-type":"item","numeric-id":2817698,"id":"Q2817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$FE80BF4B-7834-455B-91D0-C798FB47FCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$1D3DDFD3-6BA0-4778-AE4E-0DF0AEA38B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$488496CD-0796-48DE-B709-552EE6F94C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b4aeebdbe70afc91d0075bfcf06700bd545af","datavalue":{"value":{"entity-type":"item","numeric-id":4268454,"id":"Q4268454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$275B751F-339C-459D-862B-1161F20FC222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$C7B85633-66AF-48C2-8FEC-80EE6E46CE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$8E64B672-D91D-4A1D-BB85-0491C7C12578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$4A249DFA-9476-4ECD-B8CD-3F1101B6542D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$D75561A9-2639-4CA4-AB8D-FC49A4C62ACB","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":"Q1276241$95B25F0F-C8A6-41BB-8114-71A6FDD799DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4245995a5f9f440bfaac6125f37b7015daea0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$62C843F3-4BCE-4A62-AF54-171F83CA277A","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":"Q1276241$35213A56-FC25-4065-B50D-AFD52D906C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$41CBD7A8-C671-4C04-8E3E-74EBBD1BFA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9466648b67c79b1ef13ee945c827b7ee06d437ee","datavalue":{"value":{"entity-type":"item","numeric-id":6104363,"id":"Q6104363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$1AAFC008-D239-4AFB-9F4D-A44F8097491D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$D82B577D-99E5-4C26-87CA-CB1DE0BF78A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e863bffeec0cc307c58d6e766b21d0e4fcc52fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$A1E61A05-1BEF-453B-B5FF-1242F4D33DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$30667BA3-F09D-4F2F-9F5A-51B44CF84861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$6F645DB1-2A52-475D-A5A7-85C671D5C27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132367abd0e20dc3ad2adfc421b48b77e0e5aef","datavalue":{"value":{"entity-type":"item","numeric-id":1323361,"id":"Q1323361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$7C5CF4E7-D66F-4131-BB85-9E8A30D6E661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5bf5927d83ab8103c1013d7aaad1bb82405d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4733394,"id":"Q4733394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276241$3BE5A4B2-36DD-4F86-A095-402EFEBAF1B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"164350267a58a07e2a833f01052765ebd78aa3da","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00218-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1276241$F24009EA-BC64-4952-A4D6-8331A9C9F175","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0152eafb339886bdbcf6e22bcbbc61014907128b","datavalue":{"value":"W1808575051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276241$A47B2B9B-3F6F-4A42-B927-C5236CE553AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b22966e95586c516a145899f4ed495751ac874","datavalue":{"value":{"entity-type":"item","numeric-id":6104363,"id":"Q6104363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192f7e4867dd96e6e1bcf63f8910a37127a13b0d","datavalue":{"value":{"amount":"+0.995294451713562","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":"Q1276241$3FF2432B-2BB1-4314-ACA1-12F59927E8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d890bb055f04b9498e0837e718147b2383b2a51","datavalue":{"value":{"entity-type":"item","numeric-id":3750113,"id":"Q3750113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28cfb892c4b288e0dd7eeb3acab04464d56da68d","datavalue":{"value":{"amount":"+0.7921848297119141","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":"Q1276241$7069A309-1B3D-4BEC-8A65-E88CF07AF857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483d7c8340069cae02409559a84736fd77746900","datavalue":{"value":{"amount":"+0.7905016541481018","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":"Q1276241$8DA38ABB-15B5-496D-82CB-65BCBB6D9594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31768beff67ef198b3379dcd6f3c4878a97cc215","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be3108d4825c13bc93a863ab044f61502762f21e","datavalue":{"value":{"amount":"+0.7708438634872437","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":"Q1276241$EC6FA97C-9E58-46D6-BDB0-828B70B616C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Process calculus based upon evaluation to committed form","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Process_calculus_based_upon_evaluation_to_committed_form"}}}}}