{"entities":{"Q3030243":{"pageid":3040959,"ns":120,"title":"Item:Q3030243","lastrevid":49095904,"modified":"2026-01-06T14:24:28Z","type":"item","id":"Q3030243","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018374"}},"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":"Q3030243$F84B60C8-DC08-4945-9B68-7DC4A21A0106","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1026e2bd345a7cddc7b2f40b49ac7fe26ec65c56","datavalue":{"value":"0626.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030243$3801055A-7A0D-4452-B1BE-6B1562131364","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3030243$122F2F69-D73C-483B-B483-CBACAFBD1CC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030243$56F4C00A-E207-40F6-AE2A-F2F14BFC36AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4492dbeacb8eba8460935661eb29bb045c07e608","datavalue":{"value":"4018374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030243$AB0597D6-B703-4E63-8605-C4B50A93FAD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$2D59C74F-DA05-4783-8846-976AAF910081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496691daf8dd1c24f52f78fb5ff215d44fc935d","datavalue":{"value":"labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$1917A431-0B3A-4416-B8A4-03A8AFAB629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$15932C9C-FA28-43F8-81CC-CCD063B56326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$3073AEA1-E6A7-41EB-B4B4-ACD059744251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$A056DD16-394C-416F-B700-789323D6CE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa8feb40c69288423cd0507d874fe5c0ab83ee5","datavalue":{"value":"operational and denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$9A9BB237-4CB7-40A8-9379-78887D2C6FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e9db1343d6daa73ced0da2c21c26c939c3beb2","datavalue":{"value":"nondeterministic machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$0AC22BDA-8609-4BC2-A57C-B8A2054AD75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7339fb061bab38a92d0be5b10b7860169bf38c22","datavalue":{"value":"failure semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$129E7AFB-F438-4E38-AD9E-491D61308A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1a9fbb14fba25722d2b13a9eb4d5c653995b36f","datavalue":{"value":"process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$A4C5403D-72D0-4D3C-9B85-F575368B0395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$E6B0F5C6-80E4-4B14-849B-2F2BAD0A95CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d223165a18e07e7b02381ef8dba442e6e18a8ffb","datavalue":{"value":"COSY","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$4F355375-2B32-4950-8ADB-9F4D95075BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303bfa0a5f89083c12604507845cceabdfab429b","datavalue":{"value":"Milner's CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030243$56664228-782C-49F9-8662-17D1A0F68590","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030243$84036F52-BCF5-4D0C-B666-78FE30FB8DCA","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":"Q3030243$670A8C7F-D59A-48C3-AA7C-F7469507F8B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecaf608f97117af5b5e69dc2264c563d8c76828a","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1765cd8424cc56dfa617eb12e20fadd1f74cb3","datavalue":{"value":{"amount":"+0.8213929533958435","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":"Q3030243$52290FB4-93AD-4042-9863-FE166BBA5B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8631275ad52acd3616dd087952e119a419a7cc32","datavalue":{"value":{"entity-type":"item","numeric-id":3702497,"id":"Q3702497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bd4f7df8ad6e11821c5e8738a515b52de77ae1","datavalue":{"value":{"amount":"+0.8199141621589661","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":"Q3030243$FB385124-7AD5-44DC-BF2A-C9A1E4FA724B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1faae91e5a45a61434b35b6e9b30ea0f9a98819a","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78dbf6d3a1ee57018d4be9a46c4ba9b7ad5ec064","datavalue":{"value":{"amount":"+0.7869792580604553","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":"Q3030243$12874E92-0EDD-4484-97B4-0BCE22A66DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840da888fbbe566bd49f06baa9bf6e8ea14d2110","datavalue":{"value":{"entity-type":"item","numeric-id":3030244,"id":"Q3030244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3945947cd40309e147d7bfc60ed65b719d9f7ef","datavalue":{"value":{"amount":"+0.7862058281898499","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":"Q3030243$65AD889E-2284-4523-9F84-E995FFF2A49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d06b04b3574bf1e19a583b8d9291f39b51daba","datavalue":{"value":{"entity-type":"item","numeric-id":1088402,"id":"Q1088402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9cdc94ddfadbf9fb98171f81c4be67761b226e3","datavalue":{"value":{"amount":"+0.7858366966247559","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":"Q3030243$838F714A-2BAC-4AE9-A04A-FFBF6A824CD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3030243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3030243"}}}}}