{"entities":{"Q1606128":{"pageid":1616868,"ns":120,"title":"Item:Q1606128","lastrevid":68022777,"modified":"2026-04-12T20:55:22Z","type":"item","id":"Q1606128","labels":{"en":{"language":"en","value":"A causal semantics for CCS via rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1774101"}},"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":"Q1606128$67CDB859-592B-4A39-9144-D3CDEF66ADA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ce98def866b6141ad26e92fc24d1808906b428a","datavalue":{"value":{"text":"A causal semantics for CCS via rewriting logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1606128$73BBEFBF-BE83-46D4-BE0C-D0D324E8881E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74e620ab18ae071ba8282db6803171d5c506d173","datavalue":{"value":"1026.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606128$2A602803-66AE-4EBC-B454-202CEFD1C165","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca18d46e5ffc6b2c4b1db2025765a1e5c35595e7","datavalue":{"value":"10.1016/S0304-3975(01)00165-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606128$D0217590-0F4B-4BE9-93F5-A72A84326492","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$1812DD77-AD96-4E85-96E4-CF912FF18EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$849D5626-34AA-4DD7-B611-EBE4ED3E3D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8cc20251caa9024b82592803a89bf37c2a06f9","datavalue":{"value":{"entity-type":"item","numeric-id":1044844,"id":"Q1044844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$97728629-E6A0-4903-A1C7-D4C54878FA06","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":"Q1606128$9A6279C2-3FCF-49D1-A39E-C21A254A957C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f00cb3fa95ac38bd620d58528eb98b3b3d8394","datavalue":{"value":{"time":"+2002-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1606128$A6CA95EA-B4C7-485E-B43F-D5DC8AA62156","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606128$5CAD958E-861C-4EEC-B83B-F57831ADB272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606128$F4319FF9-6352-4A03-83C3-32ADF3A44432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606128$CDC6F5A2-1649-478F-A626-475C33D44A14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cea8c1c442bddab4ad2de9d3b3a737f154b8792","datavalue":{"value":"1774101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606128$2D49AF6D-1444-4921-94C1-DD8635AFEE31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606128$03AD5509-311D-4F50-B2D7-DBD7ED0D55BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606128$3292E479-A2B2-4FBC-99B8-350B62ABD756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8aba3d8aba7391caa873559205b59ec0d795742","datavalue":{"value":"causal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606128$EAC9B963-5E53-4FE8-85DF-1B4C3D92E2EA","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":"Q1606128$41C33360-42BF-4E7B-9A70-B070CD8FD36F","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":"Q1606128$889F4EEB-85B4-4462-B231-6626248922E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f029d75d16f28910d4e43fa506b7a97d7a9573b","datavalue":{"value":{"entity-type":"item","numeric-id":3750994,"id":"Q3750994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$3F06C215-EEB1-4DB1-8AEB-1888092D0877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$A99EDB84-D0C5-4AB1-AEDB-4EBE7081CB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bb15b34fad4df617452e7eb5dbe6cf4cfb132c1","datavalue":{"value":{"entity-type":"item","numeric-id":4222997,"id":"Q4222997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$DDBEE1C5-34BB-406D-830E-E97C5121F31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abde753b540dd31f15b93eecd73fecbca39d5066","datavalue":{"value":{"entity-type":"item","numeric-id":5096397,"id":"Q5096397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$0C46E1AF-9B8D-467E-B962-4F8FEA543EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399e5a44fdcf17ee9cdf56f3911287ced5098358","datavalue":{"value":{"entity-type":"item","numeric-id":3839071,"id":"Q3839071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$5ED4E12F-9B90-4C38-BED4-D600C0FD724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0dbae57ca24b434630701005800350f63097102","datavalue":{"value":{"entity-type":"item","numeric-id":5055833,"id":"Q5055833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$026641CD-0319-46CA-9B6E-59CAE7E8B152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952ffa83772f58e853b610fb1b8d330b822f913d","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$70980B02-301F-4C62-A588-E74A68225E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0c0220e3b73b4ed915a38093b1cfd7809c6406","datavalue":{"value":{"entity-type":"item","numeric-id":5902418,"id":"Q5902418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$8812826E-B19E-4F26-9F26-1F4F20F87C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969116039ee646c78dfc249b27fe5c7d8e798045","datavalue":{"value":{"entity-type":"item","numeric-id":1901718,"id":"Q1901718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$EB042497-9A3F-4647-AEF8-BB7CADE323F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e083e732af78b724da42f4cc617f1b06ac2c42c","datavalue":{"value":{"entity-type":"item","numeric-id":5204353,"id":"Q5204353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$41A73651-F143-4C86-842C-FC35162213F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad255e962ec6e38d0c6c881b121a9dea41c9daa","datavalue":{"value":{"entity-type":"item","numeric-id":1285660,"id":"Q1285660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$50CE5114-0283-44D7-9B07-8F1E5E61397F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c20dc756b1e1e440e48d28c5ef70d2106e826ba","datavalue":{"value":{"entity-type":"item","numeric-id":4222848,"id":"Q4222848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$95856268-45CA-4F68-BEE2-2A129E2F8B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$939BA4DC-A7AD-47FF-AB07-B06902D4066A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$9EF73ACE-45BE-44FA-93E8-047AB3D6D1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1c9182edfb2df25135ab0276d49e9a668c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1342503,"id":"Q1342503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$3F623DA0-B712-481B-8B6E-88F9B5FF6721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73c4001000eb02721d5ba68097f163c82dcd83f","datavalue":{"value":{"entity-type":"item","numeric-id":4222859,"id":"Q4222859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$B3E1325E-0B16-48EE-8764-956AEC97AD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$D899C56F-9E64-42A4-B1E6-0A51EB8250D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866aac8037c7e228ce6684f63634896ecc5b8e8e","datavalue":{"value":{"entity-type":"item","numeric-id":6104381,"id":"Q6104381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606128$C041ABC5-4F60-4ED1-AB0B-BE5EC2A3F764","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":"Q1606128$E47BA6A2-A8D9-4885-AB6C-CD505CD690E2","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":"Q1606128$2B0F198A-5F40-4C59-AD8C-FE6944A2228D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470c68899be7ae5643fa2b1c7377a46c13c91a93","datavalue":{"value":{"entity-type":"item","numeric-id":4222997,"id":"Q4222997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ddcc8dc02eff0f7f1e4185089edd15786ea5d2","datavalue":{"value":{"amount":"+0.958107888698578","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":"Q1606128$57201C0F-CD95-4306-934A-08CDB2757D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c900ebfa65a462e649907107d02d262595dc68","datavalue":{"value":{"entity-type":"item","numeric-id":4896948,"id":"Q4896948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87247902d38e2363dad29d554a64f04d9aa8afa0","datavalue":{"value":{"amount":"+0.823454737663269","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":"Q1606128$67926277-3EDE-4347-8B5C-303D888F68B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20597bc25a4e7ac134b63bb5b95e64d22f6e4ca6","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b510df2b6dfbe7934781ac8c5686eef1cd8fd78","datavalue":{"value":{"amount":"+0.7985660433769226","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":"Q1606128$43E12F60-B8D5-4C43-9DB2-FAE92321B362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e725bbffd954426b32b975d90baea3b3adc13d","datavalue":{"value":{"entity-type":"item","numeric-id":1342503,"id":"Q1342503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6895c4003a016f7da870a8e7456e12d07f33f48d","datavalue":{"value":{"amount":"+0.7729396820068359","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":"Q1606128$B546BC05-C149-4AB6-A38C-CF4AB9C6296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e025c7348c2723dc61202254a773385702e328","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6895c4003a016f7da870a8e7456e12d07f33f48d","datavalue":{"value":{"amount":"+0.7729396820068359","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":"Q1606128$C0C4209A-9B3B-44DE-A344-51CE2815A861","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A causal semantics for CCS via rewriting logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_causal_semantics_for_CCS_via_rewriting_logic"}}}}}