{"entities":{"Q2703709":{"pageid":2714454,"ns":120,"title":"Item:Q2703709","lastrevid":47585272,"modified":"2026-01-02T03:49:07Z","type":"item","id":"Q2703709","labels":{"en":{"language":"en","value":"Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1576648"}},"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":"Q2703709$38F07491-1E3A-4CC1-924E-A579916A567A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cab8d5ea6ded984fd9bc81d5088760fbb9a1c36c","datavalue":{"value":"0962.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703709$1A55B76D-7D22-49B9-8EF0-B58E84F1D3D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703709$A0307E4C-66FD-4A9D-A8F4-38C31E96BACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703709$5AF6705B-578B-4807-A5B1-E2E5D3568AB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"977947cd79f3920d9b8080aee0947b44a750ae0c","datavalue":{"value":{"time":"+2001-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2703709$2D3A729E-B88D-4530-9416-E3C43DB5CCB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703709$AEAE609F-0F97-4179-A0E8-3BDA45023F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703709$74FC19B0-A6A2-4C26-AED1-ABC869AC6DEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57f362b7c2e244c39073aaba31bae0a1c0ff8a4a","datavalue":{"value":"1576648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703709$6B644331-5828-4C16-AF2A-7C4354DE93A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703709$9432A794-A136-4AD9-AF58-1A22F2D5A15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb7db96aafe570e250a49ecb52a7162addfadde","datavalue":{"value":"real-time Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703709$B813DB66-D267-4D90-B5C8-8B9DDA4D58D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703709$5235B41D-79EB-4191-8C2B-CE769DD999C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703709$AE527FC5-0918-4C4F-B1CC-52D5087C1435","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":"Q2703709$0F830B7F-B826-4F4F-9916-405B32DFFBFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41a870c509d95a40f1b129acd395ff26b1d3c1f0","datavalue":{"value":{"text":"Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2703709$BE1A55E4-8C88-492D-B19F-E2F2B7CD8539","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2f71985f7018dd603e8dea28361c13fc7c7488","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a697ccaea460fbed869003ca78bb12aa724056","datavalue":{"value":{"amount":"+0.8598665595054626","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":"Q2703709$279C192B-1E61-4C42-B6A4-66DAFF415D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27aaaad23cc2de4f1cc69d725e0d8950c922285","datavalue":{"value":{"entity-type":"item","numeric-id":4222863,"id":"Q4222863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de075f6a6831309b68451b80adf810e553f1a9dc","datavalue":{"value":{"amount":"+0.8597809076309204","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":"Q2703709$5FC5F586-C92E-4CFC-B19E-3A09E8FE6568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb52a35b7f4219efea25bb9357a8b562a51086d","datavalue":{"value":{"entity-type":"item","numeric-id":2864519,"id":"Q2864519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b7cb371cc995323ab1c7086de8e7e72d708c6e","datavalue":{"value":{"amount":"+0.8254480957984924","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":"Q2703709$F90E2C63-68D8-426D-8D73-A6BD880B6A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cf1b9a825f4e02414c5205a5883c96098c8212","datavalue":{"value":{"entity-type":"item","numeric-id":1356938,"id":"Q1356938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d6f7bc1391eb2bd71ee5efffa2383b051ba823","datavalue":{"value":{"amount":"+0.7939924001693726","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":"Q2703709$2BDEC7C7-86FF-4D54-A190-C6CF6690C469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6afeb225de387cd850ee506eb1f2f37d6519e92","datavalue":{"value":{"entity-type":"item","numeric-id":2764137,"id":"Q2764137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d6f7bc1391eb2bd71ee5efffa2383b051ba823","datavalue":{"value":{"amount":"+0.7939924001693726","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":"Q2703709$628AAFA8-28EB-4C2E-8609-9E0A58FAD2B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2703709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2703709"}}}}}