{"entities":{"Q880982":{"pageid":882830,"ns":120,"title":"Item:Q880982","lastrevid":65055633,"modified":"2026-04-12T00:00:50Z","type":"item","id":"Q880982","labels":{"en":{"language":"en","value":"Semantics and pragmatics of real-time maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5155275"}},"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":"Q880982$83C32836-99A5-4F1B-B2F6-325F5DA2EE53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"beaf18031be8d3c20d130a5319e1b9599d423e2f","datavalue":{"value":{"text":"Semantics and pragmatics of real-time maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q880982$99E7D760-3754-4219-B370-23A12321E1CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f0a89e3502671f7b5d7813a1606604dccf78b05","datavalue":{"value":"1115.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880982$19942BC6-AD36-4487-B044-471977E8CB42","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":"Q880982$D8DE660E-716D-4E46-82EF-2956AD854195","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":"Q880982$B17BAD0E-9066-48E8-9C40-11F49D6C7621","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$D40F62E5-29C8-4060-9707-A56C1BF2B193","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c59fbad6c8ea71cce099c10b2a0da0dcbcbe2eda","datavalue":{"value":{"time":"+2007-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q880982$14B7CD8A-BC52-4CAA-AAD5-5797CD302927","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880982$0FDA7B65-5DEA-4F6B-AF00-E7ADA7245AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880982$9CDE17D4-0887-4834-8086-7F2E5FCDD7C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c6305df31b0c4acab0c562ae3d07525e96646cb","datavalue":{"value":"5155275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880982$2665540A-77CA-4B75-A622-2C44818A85DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c15bda0610ba1a460baddf4003de12ce3845ee80","datavalue":{"value":"Rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q880982$6B8CB042-8F77-4642-9B7D-8F6C3F8B4684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3be9722da82c907052377e41b8fac3bc3634a5","datavalue":{"value":"Real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q880982$7878F2C3-3C17-43DB-940C-7BE94B5465FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfac5230769c68b8f8f37da7778d1aea9eb471fb","datavalue":{"value":"Object-oriented specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q880982$34F1E29A-AB85-405D-865B-A3AC3B5D62E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc6a6cc836ede360ae97886faa0a3682ac13db8","datavalue":{"value":"Formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q880982$949A4D39-4814-49DF-AC02-689EA4763267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f35d63176770a291ce2bc7d1e66a849a755c3df","datavalue":{"value":"Simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q880982$78DEC2EA-A977-4D43-AF30-EB54EA315C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q880982$9627A488-25EB-48CD-AEE9-9959FF4C8A3F","rank":"normal"}],"P1463":[{"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":"Q880982$38EE1ACF-5A8A-43B0-97D1-F285E3744C50","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":"Q880982$CB122F9F-AF21-41BD-ABAE-0B34BD6F4037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"125944fdcc09f25dcfd82a5bab31c630b45b900d","datavalue":{"value":{"entity-type":"item","numeric-id":15835,"id":"Q15835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$557DAD64-4D0F-47D2-8432-44DA5ADEB52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$B6DA2A2A-6DC2-4C5B-9111-5C1AA725E160","rank":"normal"},{"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":"Q880982$28B1306D-081D-4F78-9D79-206B685E11B3","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":"Q880982$60AEC98B-01A1-41C6-A16B-E2BA400725DF","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":"Q880982$DFCAD5B4-4027-4A6B-A123-6BF200D8F453","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"459b28d217ad7f7f7f544fa2289511323140a4bd","datavalue":{"value":"https://doi.org/10.1007/s10990-007-9001-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q880982$DF29832F-A4D0-42E5-80BB-86FBE277E6BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06914cb7373d76f82213666a3d40536665a4a0c9","datavalue":{"value":"W2006340882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880982$361418A4-D60B-41B5-B6D6-7518F59C2D21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$2F3AC796-47B6-4601-9758-659DF2C85066","rank":"normal"},{"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":"Q880982$CBFD76E6-DE16-4D63-B5F7-10EA7DAF201D","rank":"normal"},{"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":"Q880982$60C8A323-C49D-4CB0-ACBE-5245ED35DDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a45fb1359d2e66eafa82e7f6b15749ffb75ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5494311,"id":"Q5494311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$DAFB28F2-B1CD-4E5E-8780-38DFC7EDE5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$9D47EF79-8F50-4C5D-BF65-BB9D44935565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a63be2c40434c2537dfdafff346ed2717f4dcb","datavalue":{"value":{"entity-type":"item","numeric-id":1608918,"id":"Q1608918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$BB26DDBB-B8FC-459C-A152-18E168A58744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7d72fb0b583e355b8cac85cb179d5e07a3d64a","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$A86F2388-01E6-41EE-95A5-6EA465C79830","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":"Q880982$864C04B6-84F6-42D8-9985-8D5734CE7027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$6BF2B13D-4D2A-4D69-8325-71BED76B5439","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":"Q880982$C6AABBF8-AE8E-4700-ADAB-88097140BE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5781430c3bcca2b0df40d4fc7fd2bfdf2c1936f2","datavalue":{"value":{"entity-type":"item","numeric-id":1323323,"id":"Q1323323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$728710D1-5338-4F12-B68D-1C68FB8A9C19","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":"Q880982$9FB9D95A-4E05-4A45-8F98-EEF6A983EBE8","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":"Q880982$20568F2D-3D4C-444A-8E80-CDE4697ED5BD","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":"Q880982$8EAC25A1-C40F-47F8-A226-17CC991D1D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df26538f0e541d562924f902bb2d710a65125aa2","datavalue":{"value":{"entity-type":"item","numeric-id":2703709,"id":"Q2703709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$4C806CF2-3AC4-44B5-A997-363CDA29170A","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":"Q880982$991808B1-A61A-4773-BF87-9A73D75469B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8914758ac6f2ac25786ddc0b91cc49457a108d49","datavalue":{"value":{"entity-type":"item","numeric-id":1004068,"id":"Q1004068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$17E3B9C8-237F-4D3B-A7B1-3D0286B48200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880982$C69B16E9-B13B-4919-87FD-DB7D5CF41B04","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":"Q880982$5AE1758D-966B-4B2E-AF72-4E38EDD1DEBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdffa1c9e6e1b96cfe20f203eba21244fbf35f61","datavalue":{"value":"10.1007/S10990-007-9001-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880982$2C7FC924-C0F4-4104-853A-8F3D76DC24D1","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":"9f959c46fecd8969eb4ce19185316aeb9017fbd3","datavalue":{"value":{"amount":"+0.8887796998023987","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":"Q880982$C530A45A-B3EB-4BD0-A360-7E06242C2967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9090f7c7699f1d9d0b41d1b88277ea56a2aca71","datavalue":{"value":{"entity-type":"item","numeric-id":2873773,"id":"Q2873773"},"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":"Q880982$29A8D14C-38B5-455F-8887-09E13F86E4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0aef46c0fd839ab2ded7d4ac639e97f48cb7f1f","datavalue":{"value":{"entity-type":"item","numeric-id":862853,"id":"Q862853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c90c95d154fe53800bfd69a2f403932729a7a00","datavalue":{"value":{"amount":"+0.8174523115158081","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":"Q880982$F1C24416-F93F-45D2-B05A-E17AF8634FB2","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":"d77e488c540ee815b9167d1a650abfbf7fbdb8f5","datavalue":{"value":{"amount":"+0.8162292838096619","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":"Q880982$914EBC81-A6DE-4E92-92A6-E468EB95E8F5","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":"48af0757e8dffdf1e9968d4ed8b5238a0bd1d43b","datavalue":{"value":{"amount":"+0.8151602149009705","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":"Q880982$DC20E4F3-E676-42DE-BCF5-6039FBA2C89D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics and pragmatics of real-time maude","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_and_pragmatics_of_real-time_maude"}}}}}