{"entities":{"Q1857952":{"pageid":1868694,"ns":120,"title":"Item:Q1857952","lastrevid":72813930,"modified":"2026-04-14T08:01:42Z","type":"item","id":"Q1857952","labels":{"en":{"language":"en","value":"The real-time process algebra (RTPA)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1871250"}},"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":"Q1857952$FF6D2EBE-D7B5-4A29-BA20-5E18ACB10DC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de82392e78e047478b9f1fa3d3b09598b11a2e8d","datavalue":{"value":{"text":"The real-time process algebra (RTPA)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857952$BBA529C2-6D56-4554-8CCF-0A33A4A5809C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d97680660d847ab57192b4396082f4d210d354a0","datavalue":{"value":"1012.68600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857952$0CCFC4CE-6CEE-418A-92D2-FF399F1C98C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d51a0e4e7595dd3b57e653c399def87d5138fc8d","datavalue":{"value":"10.1023/A:1020561826073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857952$AB56DB6A-9270-4F46-AE54-DA81D7F44B8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a5180f7b0c5b36df9515a70b9beca6bb2871f3","datavalue":{"value":{"entity-type":"item","numeric-id":1857930,"id":"Q1857930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857952$95487018-1A45-420F-B2AD-DB7706191125","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e3eacda0dc3500812c2ceb2251f75ff6a28f0c77","datavalue":{"value":{"entity-type":"item","numeric-id":241035,"id":"Q241035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857952$920A6996-C95B-44FB-8194-4F01F6EE71D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01951c93e885717866d268dd1e73bbf555019176","datavalue":{"value":{"time":"+2003-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1857952$8D5FF3F2-651C-433E-9496-7FBFFB1486ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857952$B5DD1BA7-3AFB-45BE-9BE2-8CEE1796B262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857952$F7776131-A93D-4228-B7BF-1A2E26FD4042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857952$39889C26-40A5-4894-AF21-77830E23DC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857952$27C74DA3-2043-482D-9947-9360C621288B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c40e4c71d4328bef76e89d23c932a09ea2d7bdd5","datavalue":{"value":"1871250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857952$5E4427EF-4ADA-4B1F-A3C1-752A6EC9A4E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857952$EF178A33-0B75-4B58-8F23-12002D6A4C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee19ebba37f4f0d145d282849ecd689ee7dffb7","datavalue":{"value":"descriptive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857952$AAC4FC71-E237-49D7-9AD9-B6D4B0D95812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857952$616DB609-D876-4C3A-A661-AE4F1C93F44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857952$4AB13077-346E-43A3-A231-3145257E02D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857952$65B91AA3-E77A-4B9A-A0F1-E6DEC2A5AE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7091f95768a9d87d6c76e9f50e9b372ea197a95","datavalue":{"value":"3-D problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857952$24A4F57A-155F-4BFB-A552-B0EEA0EF27E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"451cb9fdfd025dbbe603726504bfe1ddd9f45ec2","datavalue":{"value":"architecture specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857952$306BA86A-B0CF-46C5-B19D-00C6C6BCADDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304a5ae81055c8761c196f07db5bcf894998541b","datavalue":{"value":"static behaviors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857952$626C5D75-A003-4DF6-B8B5-9EF46670F6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8497c08f57c62bc07a27de5f0bb6bff7102d2171","datavalue":{"value":"dynamic behaviors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857952$D3416504-697B-464F-89E6-206D2F967EC1","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":"Q1857952$CDEE2403-B763-47EE-B698-9EA4FF51E0E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a694acf1a1a137437e576e8f4933cc3a0b9c123","datavalue":{"value":"https://doi.org/10.1023/a:1020561826073","type":"string"},"datatype":"url"},"type":"statement","id":"Q1857952$616BB020-CE33-4827-B05D-5C348F9D58BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87c1e1786ce4ed093565dc3b3a61d2508b194696","datavalue":{"value":"W1483241283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857952$BED1BF96-AF1C-4A4D-8B14-81F82D9E212D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5a3810e306a4b64519920f201b985f0656daf2","datavalue":{"value":{"entity-type":"item","numeric-id":3625790,"id":"Q3625790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385f03246ff0bccfac60a0201d934c7d7ce3ecc7","datavalue":{"value":{"amount":"+0.8091260194778442","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":"Q1857952$2025F409-AF18-4C1B-A9B7-36E8D95AA6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cae7f2399f4177bba0bce398e2a695a3100d01b","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36481efcd667a1e1a226d6d91fa0239560d166fc","datavalue":{"value":{"amount":"+0.7833308577537537","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":"Q1857952$5E539252-483F-4DB3-BA27-BAAE293FFB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f20942eedfe78b4992333a175b6ee458636832f9","datavalue":{"value":{"entity-type":"item","numeric-id":2842574,"id":"Q2842574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434292acf89384ce7f685098d501dac6e7fcb694","datavalue":{"value":{"amount":"+0.7444878220558167","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":"Q1857952$F8B8F88D-EF19-4458-95FD-A7DBC5952E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f1881bd007f1c653ff69d5145e47be3348fbc6","datavalue":{"value":{"entity-type":"item","numeric-id":4723294,"id":"Q4723294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895b8cf65bac87ffc748cf8a125bc7ede1796e3e","datavalue":{"value":{"amount":"+0.7242535948753357","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":"Q1857952$90457974-1108-4D75-8A70-D794E002196B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda84b7673366b5a0740901a6bd594d5d418df5","datavalue":{"value":{"entity-type":"item","numeric-id":4518413,"id":"Q4518413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb33817e9ecaff37734823b2db4cefa997369ef2","datavalue":{"value":{"amount":"+0.7212331295013428","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":"Q1857952$0772FC40-745C-429E-8FB0-951993BC4AD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The real-time process algebra (RTPA)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_real-time_process_algebra_(RTPA)"}}}}}