{"entities":{"Q3956374":{"pageid":5986279,"ns":120,"title":"Item:Q3956374","lastrevid":55099279,"modified":"2026-02-03T16:26:20Z","type":"item","id":"Q3956374","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3776834"}},"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":"Q3956374$BF120533-4723-47F8-9818-D6FF90982F46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09d772ccd5d691fcce8cb423531d6b15b7333857","datavalue":{"value":"0493.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956374$7BB14538-4981-4986-966D-9EFC1D2BFF21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956374$0027D0DF-EFBE-4BEF-A061-1E05712D15EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3956374$7092ECD8-A72B-4442-A538-31BAC3E6A504","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956374$C1EE4A93-D225-439D-B85B-19A94D5E2025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c98b0f2c8e5a0e86f75b56cf57ee942d51c0f1b","datavalue":{"value":"3776834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956374$5E1B9BDC-6E70-4B91-8EAE-889AC5765B23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$4DA5F191-9235-4790-94F8-1CE4DE737A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$C4B0E730-C01C-4614-B3A7-6B012AFFEFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$018A469D-9458-45FD-AECB-8F818E24FA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"169a69dcfe55a4f1b6d949694f85d59550ac672e","datavalue":{"value":"synchronous discrete interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$83A3FAD9-3E0C-4FF2-AF4A-152023C2FE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a132228a05bd4a846d765a3c9ee6c87379eb62b","datavalue":{"value":"dense time domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$CBFF30BC-DB57-497F-B026-5A15F994EF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f04fd78bdca8398c96daa98462258f5f8688dc5","datavalue":{"value":"unbounded- nondeterminism operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$476310DE-5445-47BE-ABC6-91831ED2ADC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34fd1c5e54999f21bda61a6a380b441c58ac48cd","datavalue":{"value":"continuous interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$FAA7BF82-B89E-4AF2-A61D-873DB9991A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f93e6903294c5a763f32fc08b1a17fcbb4af671","datavalue":{"value":"time information","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$870A0337-9947-4E5F-9438-6167566FC1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a3fc625c2f8f78a011a040310758c698e22df9","datavalue":{"value":"behaviour of agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$0E4356A9-C355-482C-8022-22380C86735B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"227e375d9563814786397d29f703d9fd3c09b696","datavalue":{"value":"formal operational semantics for agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$BC928ED2-03D6-4720-AF2F-FF6F247D75AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ebffd9da095bd3f9ccf670ca8a67c00122f2c41","datavalue":{"value":"observing a real time system during intervals of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$644D3456-E777-41EB-8797-ABA198E4C904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7163ebdbee93b313c912daa1ed6a0aeb9e3023","datavalue":{"value":"continuous binary signal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956374$6B0F4328-F798-4236-9BC2-DDB0E3CC740E","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":"Q3956374$176E1097-9425-43CD-AD07-96BB310B85EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3956374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3956374"}}}}}