{"entities":{"Q1192604":{"pageid":1203353,"ns":120,"title":"Item:Q1192604","lastrevid":70245000,"modified":"2026-04-13T13:28:05Z","type":"item","id":"Q1192604","labels":{"en":{"language":"en","value":"Temporal theories as modularisation units for concurrent system specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 61207"}},"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":"Q1192604$EE40AD95-8A8C-4BD7-9921-1096CD574CA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bc34f4889b54bc7df6e492d645c2117e0401ffc","datavalue":{"value":{"text":"Temporal theories as modularisation units for concurrent system specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192604$84EB43B0-4E62-4F2E-87F0-1E0CD30F740D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e1411519b61817ae1fec946d7c98c4ae3ad8301","datavalue":{"value":"0746.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192604$1153E37B-925F-42B0-B8FA-96F7043711BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bd724eeee121c03d772bece4e6e7f89f53d50fa","datavalue":{"value":"10.1007/BF01212304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192604$27C9E1DE-E131-42BF-9996-1301CEDE362A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$357773F7-ABD1-4082-ABC2-F819C3DFE295","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192604$90268FD5-B08F-410F-AFC5-207BFB8F8E30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192604$A8E9FCD8-E975-4C2D-ACE1-E56BB1CDEFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192604$F5703D75-5EC0-43A3-A013-AAC9F00D9C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192604$6BC6DDE3-699E-44B5-871C-ADE0C44C8B5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"177531ac04533bc5d93747ce15ff053bf83d4e84","datavalue":{"value":"61207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192604$4E0E2CCD-9D2C-48EB-848E-A6B42DCF2C67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192604$587C8B9A-5FFF-4A6A-9B4B-2072C5AED715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3edc78ec8291d1a9319b5dd3ed7d575cb2dddfc4","datavalue":{"value":"object-oriented systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192604$55F09C57-E30E-4E1A-8A39-679C4F5900CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192604$FD3284A7-299F-42BA-9DDB-E4EF654940DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192604$8276CD6B-6279-486F-85BB-2FFF2DC2AA9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"754d0fa1bb49600f4f02ba3ce85d71701d3732c0","datavalue":{"value":{"entity-type":"item","numeric-id":407505,"id":"Q407505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$736638F3-BAF5-4C07-B169-9C2F5045306C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$F49D462B-E2A1-4082-8F0A-72B502BFC9CC","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":"Q1192604$39D35880-A940-43B2-B0ED-09CA96825E6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$ED27E029-9CFC-4CFD-BCD0-7C27C3A20472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381e47446d96a439048b122527ca19d971798559","datavalue":{"value":{"entity-type":"item","numeric-id":4733381,"id":"Q4733381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$B0D56D4F-A80B-420A-9058-E98F2AA496A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52b6235d0b1ae67d017ad3c8035a0dc3dd6de9","datavalue":{"value":{"entity-type":"item","numeric-id":3680252,"id":"Q3680252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$277DA7B9-BBC4-46CA-9C26-7F98E6DB8E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f795ccb75e9ae3557d68691983a06ed2a81072","datavalue":{"value":{"entity-type":"item","numeric-id":3468602,"id":"Q3468602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$E82DEB25-2006-47CC-A13F-E9D6C42F6D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$4D111770-2E11-4038-A56F-4E87F774A69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$D187BD19-6B79-4C10-9071-398DCD461E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b93bf970a58e357a33d4d77abb57634bac0a313","datavalue":{"value":{"entity-type":"item","numeric-id":3210907,"id":"Q3210907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$C21C9DCB-3E3A-48AA-B7FB-A55B64D3C1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d60793996fdb0f2c87d40fbcb6e7fcda6bf3df","datavalue":{"value":{"entity-type":"item","numeric-id":3356299,"id":"Q3356299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$CBACD935-AA99-480A-B8BF-F351CD51D964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29efafae21fc70a6a0b7f5195dee085e015ede8","datavalue":{"value":{"entity-type":"item","numeric-id":3886835,"id":"Q3886835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$CE8B14BA-581D-4C52-9BFC-D1CC39112A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e5c8e0c707887a680de0218c1748f61cd538b8","datavalue":{"value":{"entity-type":"item","numeric-id":4713397,"id":"Q4713397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$46421337-9462-43B7-908A-C0BFC10D1D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae75c39fe3927a83651ed170584a081d46e0f0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4198543,"id":"Q4198543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$CA67E0C2-6BBF-4EA7-A76D-8404F55EF8CF","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":"Q1192604$85373675-A6EF-491B-BFA4-91EB860E1BFC","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":"Q1192604$E5518037-6834-4B32-98F7-53DCAC583F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$625DA062-3B6A-4C2C-B2CD-882CED91CAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d496736dbfc239d833d5ef76056355be3ab28578","datavalue":{"value":{"entity-type":"item","numeric-id":3042444,"id":"Q3042444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$46013286-3A60-42D7-BC66-92360266A847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192604$1BAB25C1-170F-4FF2-8576-962E0227DFD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52edc9be01027184cc9f4f4d4067880bbf18078b","datavalue":{"value":"https://doi.org/10.1007/bf01212304","type":"string"},"datatype":"url"},"type":"statement","id":"Q1192604$7DC1A567-594F-4739-B753-B71DF98C37D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed6a47ff09537d76337cd5f2cb7d6c5544dbd3a8","datavalue":{"value":"W2005819264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192604$04B4A185-BFCD-4F9C-8223-F73D0A9D613C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b511fc22b99dcc97e649704bfd2e19428a5a44","datavalue":{"value":{"amount":"+0.9076901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192604$69411680-BF5A-4E49-AD17-955B814CD5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0545a9d5c79786c3a36c93b84a54c0d60d95bbed","datavalue":{"value":{"entity-type":"item","numeric-id":3812210,"id":"Q3812210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc23db74e89f113556dea552b96f62b1aee63476","datavalue":{"value":{"amount":"+0.90482396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192604$42007CB8-1906-436C-A3F5-C9054F5C4E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d0e01841c5aaee7439fb985d58027be7ac70fb","datavalue":{"value":{"entity-type":"item","numeric-id":4733381,"id":"Q4733381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc23db74e89f113556dea552b96f62b1aee63476","datavalue":{"value":{"amount":"+0.90482396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192604$B17C84CD-838D-473C-8B53-11761C9B3211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7be2bde040378e076aac99d561c037ba8335e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4923526,"id":"Q4923526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e222891ed680c7ab6efae335d503af6905e95b5","datavalue":{"value":{"amount":"+0.893453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192604$5C140C47-B8E0-4A4E-B329-DFADC7C3E57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26899e66b8325195c4c87df0f38a835d08ce9e4","datavalue":{"value":{"entity-type":"item","numeric-id":3680252,"id":"Q3680252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2980bfcb71c041ab61233f6b3b64737a4f9c9f","datavalue":{"value":{"amount":"+0.8901789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192604$8A533AE6-9E4E-4740-BCE4-BCD03799414B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3655ddc9825124373c1409c2e1d9bf84caf378f7","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300b2a5997d899bf69f00dac3036cf21d4b3d608","datavalue":{"value":{"amount":"+0.8855367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192604$8623205C-06F1-405F-9DE5-077D1DF44683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28de31130f7782bc80cc38199fc404fe3d2d0584","datavalue":{"value":{"entity-type":"item","numeric-id":6044109,"id":"Q6044109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206a6dddb1a5426012f720667188d224b01c8d55","datavalue":{"value":{"amount":"+0.88467175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1192604$EF4277BB-6ED0-4052-AE1B-D882A13971FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal theories as modularisation units for concurrent system specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_theories_as_modularisation_units_for_concurrent_system_specification"}}}}}