{"entities":{"Q968306":{"pageid":970154,"ns":120,"title":"Item:Q968306","lastrevid":50973068,"modified":"2026-01-16T00:58:43Z","type":"item","id":"Q968306","labels":{"en":{"language":"en","value":"A process algebraic framework for specification and validation of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703856"}},"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":"Q968306$250CA326-B6AF-40E2-BDC3-07E9D15BCE99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a70f17cd25bc841c8f39b4474a877b79e90fed9","datavalue":{"value":{"text":"A process algebraic framework for specification and validation of real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968306$95B2AAA2-AC4A-4242-85B0-E7D09360FF27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59f15508009ed3ae4c983caeb01e17e3f5fb771f","datavalue":{"value":"1214.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968306$531BF53A-2827-42AF-BC6C-7AAA9CA44ED0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bd24191805c7a49ce521980f5b81f6e07a1096b","datavalue":{"value":{"entity-type":"item","numeric-id":968305,"id":"Q968305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$7544AECF-7123-4D14-BFBE-BC75AAC4D0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$99DBE7FE-0263-46B9-8D8A-5581E1C96291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9cdcc9d8e785a3c138557af363711b767e822d","datavalue":{"value":{"entity-type":"item","numeric-id":911321,"id":"Q911321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$6EE8E788-F313-4FA7-A323-0530A2EC2C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$6B73CF41-E0E9-4363-9A32-B6980B796E45","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":"Q968306$0FA65597-87F1-4287-B54E-FDF747D8097F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q968306$8DCF7F22-C08B-4F91-BADE-FF72B5B14BDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968306$829A9D74-89EA-4795-994C-6072ABEA7C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968306$8548869F-6D24-40B1-9772-A9356F4E926A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa22b767993bf9708843c6336a364e61cd9fe4c2","datavalue":{"value":"5703856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968306$B700A459-6F0A-438A-937B-4E559F1D34A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4a83e9bf1465d5662c8bbc43f6d98e579abdca","datavalue":{"value":"relational models","type":"string"},"datatype":"string"},"type":"statement","id":"Q968306$665D4132-E72C-4ECA-90B9-097F9ACA9F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d866d2f01ac2c31359811196209e4cb400acaa05","datavalue":{"value":"unifying theories of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q968306$046B2545-9564-4157-9702-6482B69DE6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q968306$F6FB6803-78F0-472B-B313-71004916C62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q968306$A1BBE9C7-EB5F-416F-A126-FC131DF3C437","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$275097E2-8831-49C4-BBC6-E0D6526E75F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$919BACF6-9564-43AB-9FB7-C19B2ECA1C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65c5f2bc4e1747adbbdeaa77db7bff22e1616538","datavalue":{"value":{"entity-type":"item","numeric-id":14057,"id":"Q14057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$46B2C2D6-4240-42F6-922A-7D2BA31C9E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$9C3C3502-6D3A-4589-A94A-CB36AB61228D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$E9A2FC8F-B3DF-442B-BB73-8AA7B2240CBB","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":"Q968306$DA9EC2B6-AE09-4139-BD29-E8123EBBF2D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"372a3d32679e4371dfe503eabe29f5b18201d8e9","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0119-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q968306$26D27584-35DD-4D0D-B065-1EC2616594C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f6a28a96c196977ecde9749b8d69203834f1f28","datavalue":{"value":"W1998976523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968306$551C6078-CE53-482F-81E4-4D50CFD29592","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$97821269-7F66-4B6B-818F-13EABD740CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c46a80ce044fc1f0b44470b9445d955de57df4d","datavalue":{"value":{"entity-type":"item","numeric-id":2763979,"id":"Q2763979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$1ECAD088-415D-47A2-8AD3-EA60F7017E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$51254E0F-B614-479E-B1B9-FE06FD2E5B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$53B4DEEF-6F53-4963-BCE7-249384DFB4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$318BC2D5-9B43-4A81-8A15-74B9BCC4C49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1ee4edd7511750bce8287bc936441214772ede","datavalue":{"value":{"entity-type":"item","numeric-id":674191,"id":"Q674191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$7BF4A2B0-8424-426D-91C7-3025867DF183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5ba33357211d62df23f7e3b047abb70bfc05d5","datavalue":{"value":{"entity-type":"item","numeric-id":4509996,"id":"Q4509996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$1A96A2E5-C23F-42FC-96F6-3D115A41D3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$146B8766-C1A0-4E3B-97CD-66D0B45DF641","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":"Q968306$60904D10-D945-414B-8943-6616A9A4F6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$D6EDF289-6624-4774-B692-E47E1ACBDE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$E17B6A50-5FEA-47D4-A6DB-979D79B89013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$8732B363-D889-49C6-B035-582FCCBE1727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7055297a7b50a57f393bf91cddbacab39495edd","datavalue":{"value":{"entity-type":"item","numeric-id":4412559,"id":"Q4412559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$9BA2FE4F-18A0-4763-ACBB-7D245CB25772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1d1a13abb1ab2aeef6c6a15e46cbbf6c406e64","datavalue":{"value":{"entity-type":"item","numeric-id":5709997,"id":"Q5709997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$8E553DBB-C879-4E5B-9567-526B14003ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0089b721c6fdb50f47b0a31331813b8bbfa7f9","datavalue":{"value":{"entity-type":"item","numeric-id":2764145,"id":"Q2764145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$0B90EA1A-46CF-4AB4-BCD2-53B12CD6A185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab25ffac4bde52dfb66f30a112eabdbc62a2c0ff","datavalue":{"value":{"entity-type":"item","numeric-id":4494259,"id":"Q4494259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$3AAB7529-9749-405E-A775-4C8A24F04583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9500c52b82211c30e7e53c9ebce092e43e61718","datavalue":{"value":{"entity-type":"item","numeric-id":5716879,"id":"Q5716879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$CCA811F3-26F8-4D83-B2DD-B092CF4FE415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968306$9118DDDF-6519-434A-BCC9-29F9AEA9B96E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6e499e51766c24f887bac8d6c70bf29da80ce92","datavalue":{"value":"10.1007/S00165-009-0119-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968306$20D7E304-2FD3-4871-8E1E-869AE27CD882","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959e26cc86967a2bd299cee2ee6868902b820d89","datavalue":{"value":{"entity-type":"item","numeric-id":5709997,"id":"Q5709997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644eb0603e38c763f5953e578541445b03d21a95","datavalue":{"value":{"amount":"+0.8840407729148865","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":"Q968306$D21FAE50-5C11-4968-9C8B-3FA8174F2CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103cba6e5f40e5da621232bdd9fc61950a6a27ee","datavalue":{"value":{"entity-type":"item","numeric-id":2576580,"id":"Q2576580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71eafa476896719d71d8bffd4a39bc036a0b0f90","datavalue":{"value":{"amount":"+0.8044518232345581","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":"Q968306$FFCF0CB4-663E-4CAF-99C2-380556C52D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227888c18d63e513192ff37351b083a5e80a35ac","datavalue":{"value":{"amount":"+0.7886102199554443","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":"Q968306$43F29351-F468-4DE2-A8F1-C17476D7F504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f134602a6bc7a6185393f2e9727637d5a5263d02","datavalue":{"value":{"entity-type":"item","numeric-id":2814616,"id":"Q2814616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a56d24b9f10c7c08b03430849ca25037c2dae3","datavalue":{"value":{"amount":"+0.7877491116523743","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":"Q968306$BC489B82-BF3A-4E2E-830C-AC650C45BE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ac331d4c42fed1202fac7a8c1d5b77b0444a17","datavalue":{"value":{"entity-type":"item","numeric-id":2764145,"id":"Q2764145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773996bf38382507d71b5b38f26601cf56c3a839","datavalue":{"value":{"amount":"+0.7770705223083496","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":"Q968306$6C1A25BC-ED95-4EB4-893E-8149E25D8E0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:968306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:968306"}}}}}