{"entities":{"Q2873773":{"pageid":2884493,"ns":120,"title":"Item:Q2873773","lastrevid":51912788,"modified":"2026-01-20T12:54:46Z","type":"item","id":"Q2873773","labels":{"en":{"language":"en","value":"Abstraction and completeness for real-time Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250525"}},"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":"Q2873773$399C3F0B-B14A-447D-904D-DCACA9AB0246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a978cfe73d03b60992ec68a4b5f4af310ff2c4b3","datavalue":{"value":"1279.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873773$0A47D8AC-AF53-4413-B977-67493FBD51BD","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":"Q2873773$85D94F8A-7024-4BD5-94B5-410C4BF18599","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":"Q2873773$7C1FDA2E-6B25-445C-B708-76968EBF6959","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$CB1EA214-236B-4CC7-8943-5ABE52C3A163","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873773$EA8BDC60-E9ED-402F-9C0B-C21CC4C5FC7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873773$0FDB1D54-CBC9-4CCB-8AEA-C30DD63506C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873773$A65233E0-1B45-4D32-8AEE-4FEEEB32FA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873773$FC5EF58D-E50E-4DAC-9828-16028865D458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873773$7F42E99C-4FB1-4D0D-9BA8-FBA524D6DE90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c179d9371b28e664563e80cbc627884ce7ca5a54","datavalue":{"value":"6250525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873773$40156E65-6836-44BB-86FB-6A264933627E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873773$F785BECE-698D-4756-9AD0-BB95E2F57DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873773$DC9823D9-4BF3-44EA-91E1-782E0784A474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a68ee0ba633085237c4d38970bd1d1eb8835a4","datavalue":{"value":"object-oriented specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873773$43F00260-9298-4ABE-92B1-803092A16A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26852e62a89689e7d4ead334a2523749d2837df2","datavalue":{"value":"formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873773$45275D10-6200-4885-AFA0-D160725C9CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873773$15A9A598-A7CF-4580-AD5A-0E38B6219EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873773$5217D8D0-573F-4222-ACA5-FD2A16C14367","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$3AF28EE6-F779-4A23-9079-EE26D2DCDF89","rank":"normal"},{"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":"Q2873773$208641D3-FDD1-40F7-BB74-986E9CF57594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$EDAF5C19-E2BB-4C87-B11A-2DF56883AAB9","rank":"normal"},{"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":"Q2873773$32CFBACA-8809-447B-B5F5-40D37018CD2F","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":"Q2873773$E06E6B6E-89C4-4DC9-91A1-C3FEB9DEAD2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e3369b69ea60a44a0b04983d7a04602617a7875","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.06.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873773$15F093E1-5BAF-4FC7-9133-8A7EE71D0877","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08b652469a929bf0994f704f72378b8f2f2c0cf7","datavalue":{"value":"W2019810307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873773$2C052400-04AB-4375-9AB9-B0F6C70A92B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$1230C6AD-AF9D-488B-9062-C0657271EA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029c9b211e75ff587c0578ca54c4b6922fa8629f","datavalue":{"value":{"entity-type":"item","numeric-id":4449180,"id":"Q4449180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$62FEF1B5-3CAF-4969-BBD0-A092F3A7A2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$B7B2088D-448E-48D3-8996-ED9344AF2A02","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":"Q2873773$7ECDBEC5-04DA-4005-ACF1-371C80F19164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2501d03a9b82b43140d52a50ded25e008408b066","datavalue":{"value":{"entity-type":"item","numeric-id":5704000,"id":"Q5704000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$953801D9-A7BB-4E6D-835C-9E5273F0CBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$617B144B-5599-43A8-987A-E93D9846C55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7517dccaab2d2ba3d9b0b13c3621c4c356005925","datavalue":{"value":{"entity-type":"item","numeric-id":2764137,"id":"Q2764137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$392A98C9-7A16-4DDB-AE38-D91C5949BD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730c66190d161c62379a21e901aa6aeaf6d3f898","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$4C552F17-AD0B-48B8-A69A-BD3C1C42D2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f17343293c82352a41b45771a8f5da36d8ea202","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$6282B5A0-EF7A-4A97-B37A-D864209D9D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de6cce8ed5ac47c4cb430b7dde65ee7f46389979","datavalue":{"value":{"entity-type":"item","numeric-id":862853,"id":"Q862853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$68E7208B-2717-4B72-BE19-72F3885A5B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873773$5F7EAF7F-F187-47FC-BD28-37397B52CDE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"035c24b5e95df32cba88cf6874f96ef0be952c53","datavalue":{"value":"10.1016/J.ENTCS.2007.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873773$C7248B34-DC65-4D52-ADBB-C084DD8623CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40fcb805df10f4ad9e40057446f96e4514c9a259","datavalue":{"value":{"text":"Abstraction and completeness for real-time Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873773$FDCF6F94-1337-41E4-B49A-EEF286F72450","rank":"normal"}],"P1643":[{"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":"a510731279f7f17e23a63dd0a83e0160fc03fcac","datavalue":{"value":{"amount":"+0.8575267791748047","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":"Q2873773$B9AF9B67-6A74-4BFF-B10E-62BE74357E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65674946a0e1a03082e5b14588f878aa5f61e520","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c06dc60de17114e983b086532e1942809ec891d","datavalue":{"value":{"amount":"+0.8272834420204163","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":"Q2873773$C4BDB3AE-0A78-4B4F-9CAB-021D34FA1C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edf120a3531e23ee31563694eada91679c5b270","datavalue":{"value":{"entity-type":"item","numeric-id":3164837,"id":"Q3164837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71f53f36f4d0ff301d8a021cce7b28ffb4da6a2","datavalue":{"value":{"amount":"+0.8004109263420105","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":"Q2873773$6C5EDDE8-8417-4FD8-9CE2-AE3158FB1A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb359d91d65ea5bad64f2cd3e3dd82395e78679","datavalue":{"value":{"amount":"+0.7735341787338257","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":"Q2873773$F81AE895-B0A0-40F7-872E-5E988314624E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fce9c3d7fbdfd9b9c3a9380b812b14997fb179","datavalue":{"value":{"amount":"+0.7719869017601013","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":"Q2873773$2AECC0DA-2BAD-491D-BB05-43CA7AC218CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873773"}}}}}