{"entities":{"Q3512442":{"pageid":5542346,"ns":120,"title":"Item:Q3512442","lastrevid":50405666,"modified":"2026-01-13T23:51:02Z","type":"item","id":"Q3512442","labels":{"en":{"language":"en","value":"SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301052"}},"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":"Q3512442$E86A46D0-3FE2-4BD1-AA17-8CA459DA3D5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae7b60215bb6b5def08e2d8da4121e130aa8fbe4","datavalue":{"value":{"text":"SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512442$7B6EFE46-6751-4CFE-B7BA-BB585A278A5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d40cc2f6cdeea2fbfea1af1865d918ac41a2f8e7","datavalue":{"value":"1142.68440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512442$174E757D-2797-4AE2-9C58-6A1978396379","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5f24708b7024d3bd2c9f645906520395c85888a","datavalue":{"value":"10.1007/978-3-540-69850-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512442$E3D0FFBD-8948-4CE8-AA0B-BF2741FCD5FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f6784f6308f0bcb9daad4210076668589ccab7","datavalue":{"value":{"entity-type":"item","numeric-id":1166925,"id":"Q1166925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$E83F7F5B-758D-4895-B41C-08F813730059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$B757F729-8C51-4B42-8524-546883660A9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"956b4a1d122f6c82a284819a7860d6861ed89000","datavalue":{"value":{"entity-type":"item","numeric-id":3512429,"id":"Q3512429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$26F912A2-EA76-427D-ABD0-0A56F8F95E26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-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":"Q3512442$A3705418-C40D-4A29-A9F2-7499E2941784","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512442$4AC9D5EB-C870-406C-9103-C17889DBF325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512442$779125FC-2B6F-4229-9E98-D971AFA8CC88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff3e926c4c8a318d46a223f2b1467f3607847836","datavalue":{"value":"5301052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512442$DEE466AF-28D2-4A9A-BB7C-D3B43E90125B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512442$6840F2A4-8490-4888-91AD-14C64967E011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512442$3D9E4DD0-A1D0-4578-A5FC-85EF468E2B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d3f8c216fbb832ec84215372eb0f652641ec728","datavalue":{"value":"algorithmic description","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512442$55ADF0AE-4396-4A41-AA71-235FCAAD1690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512442$F9317BDD-5D42-4516-A836-1D9FC50AA2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc2e4a72885fbf5d1eca13ee37c96c4a345317de","datavalue":{"value":"fixed points of monotonic predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512442$1D435034-54C4-4988-8F8F-4E2C9198112C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0289fc02543aa6db47fdef045967a7ba682fbd62","datavalue":{"value":"interpreted Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512442$6FF3E724-60ED-4D4A-9C88-5E6FD5F7F8D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$F22CB9BC-1806-47B2-84D9-AB259959415C","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":"Q3512442$B45D342E-96EE-4EE0-BC67-ED98A68EA8A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8e0fb1913d316deafddcde6c939d37afa95fa3c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69850-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512442$A5998734-BEAE-4180-8BED-D75B81D0FFF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8127723b069687bb31e2a4e556d985c1fedc137e","datavalue":{"value":"W1603832849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512442$DBB9C9C1-AE3C-4A64-8896-6DB337B93017","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$601F4C0A-D231-4F17-A804-2642198A3828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff210c6984e92544ff3aa3044058d7dbda77eb7a","datavalue":{"value":{"entity-type":"item","numeric-id":4174727,"id":"Q4174727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$3F9B5392-E2C8-4948-B173-CF87F36D874C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f5ec35a87489328efbdd012ed15375a69a7975","datavalue":{"value":{"entity-type":"item","numeric-id":3922145,"id":"Q3922145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$C745C010-4E1B-4E8E-B733-3976A14902AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$D537D029-A281-4A60-83F2-1551E470C530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc847e692b294aefe487ef6401402299a12113f","datavalue":{"value":{"entity-type":"item","numeric-id":4184325,"id":"Q4184325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$F00EC715-C079-4AA7-A5B9-EBAAE126BE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$4B3456C2-724A-4400-95A7-65714DCC385F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088800a898300d8e519852be9ef848bf66d8187a","datavalue":{"value":{"entity-type":"item","numeric-id":1219678,"id":"Q1219678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$DC240AD2-7F8D-4575-B355-14367006542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b4c95f53b57f2eb31607a9241c4b370cdcd831","datavalue":{"value":{"entity-type":"item","numeric-id":3939208,"id":"Q3939208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$AD9B76C8-31D3-48D5-A81B-AC659BD6B994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$8760AB24-4410-416F-8C9A-C03DBE83F082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1bd4af1cd6a9185f3f1ca9691777de4271c1e19","datavalue":{"value":{"entity-type":"item","numeric-id":1161289,"id":"Q1161289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512442$0F0AE60C-EE10-4DA8-B80E-FB36A4DFF745","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e0caeb1988d0c30fa85f4946a97b6ed6b471c61","datavalue":{"value":{"entity-type":"item","numeric-id":3997241,"id":"Q3997241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44212c58935a2a3318a0c1cc5aa2ff6cbc1c6cef","datavalue":{"value":{"amount":"+0.7908231616020203","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":"Q3512442$BB33F9C7-294C-4CE8-9D20-401937BC053D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8e46bdeebe60e9079a8ab439add86f3dd82e26","datavalue":{"value":{"entity-type":"item","numeric-id":1067764,"id":"Q1067764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6119a0900c44d466b0196518949d77fb244842f","datavalue":{"value":{"amount":"+0.7891591191291809","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":"Q3512442$F5DEF1DA-31CB-4143-96EB-CC4B84D5D087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201d729013414b767570a5feb15d287ff54df3c3","datavalue":{"value":{"amount":"+0.7694815993309021","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":"Q3512442$A9C759F5-7511-4F57-AA04-8C5B9E0B5AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7f54ea452d6367560ffefd063b8ff24b89110b","datavalue":{"value":{"entity-type":"item","numeric-id":4723291,"id":"Q4723291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19bf48c34fecead2a65b0b0024d33eb213c9eecf","datavalue":{"value":{"amount":"+0.7610666155815125","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":"Q3512442$40A2EF81-462C-4E9A-89F8-8543D7761977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d802a70c96e217885c44d79fd4efd3492ead918","datavalue":{"value":{"entity-type":"item","numeric-id":909439,"id":"Q909439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9d2d34d3e1233e9dcf34f14c0c02e29de8ec8e","datavalue":{"value":{"amount":"+0.7584566473960876","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":"Q3512442$27228F22-EFA1-4611-BF39-E793C5A9AEE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512442"}}}}}