{"entities":{"Q5743600":{"pageid":7773151,"ns":120,"title":"Item:Q5743600","lastrevid":92957234,"modified":"2026-06-05T03:14:04Z","type":"item","id":"Q5743600","labels":{"en":{"language":"en","value":"Memory policy analysis for semantics specifications in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6539460"}},"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":"Q5743600$3947722B-39F1-48D5-A196-B6A8A7471DF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dac44f7cd515c1be89888b18e67e368bf3856004","datavalue":{"value":{"text":"Memory Policy Analysis for Semantics Specifications in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5743600$A7ECCF44-8F9E-4AE3-B625-0C428DA1067E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93b164721f162f50ead35605c3319f9747192d71","datavalue":{"value":"1473.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743600$EDB2C0DA-4D18-4655-ADF2-2BE8E93F0E9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7db293d8145673e3fd1a75170dcecfe4d84020a4","datavalue":{"value":"10.1007/978-3-319-27436-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743600$C87DD708-750A-486B-97D2-68F16B24F555","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b1ecda69e1cbbf3f527244edb48a622cad39ee2","datavalue":{"value":{"entity-type":"item","numeric-id":520241,"id":"Q520241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$9D5CEBEE-A4C1-48FE-B89E-8339637041F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4225555324b48ba21484879c38f915eb1eca15c9","datavalue":{"value":{"entity-type":"item","numeric-id":2141284,"id":"Q2141284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$B362011A-CE3F-4338-A219-B598D10C64DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"509a7ce7e7eb41cef598356cacf3be14febc573f","datavalue":{"value":{"entity-type":"item","numeric-id":2848887,"id":"Q2848887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$25D2CE4D-EB99-4618-A7E6-62250FFAE7E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$B6C8542F-A01D-4DAD-9136-1740C2D0A0B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0ea7e5c9a7ba33c3596f194c797c176cf41e4e9","datavalue":{"value":{"time":"+2016-02-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":"Q5743600$B902DA8C-3E45-4E44-BE4B-E8C78A3E5513","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743600$A1BC8AF2-75B1-4BF9-8733-2842770F35F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743600$801BDFFD-4751-4530-BDA5-266F973F421B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743600$91372A23-5E8F-48CF-91B6-9C0B70B900A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743600$3C9626DA-D249-4FD3-B7A2-4018571C73B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743600$4789111A-E287-4C1C-A6F0-EA1B4D9CBF21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"502289860075d772165126195961524086661ee3","datavalue":{"value":"6539460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743600$AA818BFB-BB50-4977-BAE5-E7DED919B836","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743600$3D415842-FF89-4E08-B7FC-77C8C68E3AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743600$541949E8-1C7C-4D43-952A-58F8737C8827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a328af7ff1543bbca7dabe1fd934e14aca40f87e","datavalue":{"value":"slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743600$CA13576F-DC7D-4810-A82A-FEE1C541017C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e375e5953386929fc8b8f3d0f5ed8164cce46a5","datavalue":{"value":"memory policies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743600$4CC1D00F-B1BC-4563-8582-0F3D683455CA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3edcee9066c8af5560373e04318011aa326faffb","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$CAD5539B-E0E1-4F5C-9C1A-71AEB3377CDF","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":"Q5743600$9A124AA8-C486-4245-B4DE-4BFB3B68D0EF","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":"Q5743600$EEC46952-0B70-4866-BF95-94B09E5127E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a7bd784f0556eb7d155a38762810d0041d0a756","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27436-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5743600$8F4BD485-79C7-4E8C-8C53-E9D45804DE2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7887a6708ddaf8bc16be815b0239e3d86993fcc","datavalue":{"value":"W2294570182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743600$4E1B84F6-6B79-4AB7-B8DD-8A066B349245","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"699c19a71ba20ac43e5ae02e95874f107dd6b0be","datavalue":{"value":{"entity-type":"item","numeric-id":1854348,"id":"Q1854348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$32F906B2-0CE8-4150-BB08-FF7F3F31ABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$177B84F5-BC98-4A67-ADD3-B74F89C77DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$59200C6A-9B9C-473F-AD9D-81B017437084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b02b0da49b64177e47031faaa0120c9d5d8da7","datavalue":{"value":{"entity-type":"item","numeric-id":5312939,"id":"Q5312939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$A8E635B3-792C-4F02-BBB2-162ADEF8BBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6007691293185549382bd2150d0c35a27394ef21","datavalue":{"value":{"entity-type":"item","numeric-id":5312976,"id":"Q5312976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$52549E2C-F380-4A71-AC17-6AC121777BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3894880a2b77ffc8da5c36d60f698b98469a1ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5389141,"id":"Q5389141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$2086A4A2-F174-45CE-B0AA-C8DA571950A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a48d494b4914da4f3a7db7ab09d635e5533eb3","datavalue":{"value":{"entity-type":"item","numeric-id":5938707,"id":"Q5938707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$524EDA77-6279-4FCF-9D0D-CE06FF1F2FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577c16d7219eebe17d5c59e5734b8d6c26ea7c26","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$2A4459EA-E2C7-4C1B-874E-C77CCECF2677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$B1A2A483-22E3-4E8C-BCA6-E7DD3CCA6879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720f52ab783e3305f6a4289711e5737a68051525","datavalue":{"value":{"entity-type":"item","numeric-id":1615001,"id":"Q1615001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$4CA2A9C9-6B6C-41D2-A723-B5736980D23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$AFA7A7D1-9E4C-4536-9BA1-38CD21AC2161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9476ac1a83fef954224ee7cb1285ac824e5ebfbd","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$25D230B8-1774-4A33-AF0E-883A00A136AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$AE8A147B-B612-4457-8068-254A83581BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08aae4fca3590d3ee0c5990c9e25bf8b1e39ca94","datavalue":{"value":{"entity-type":"item","numeric-id":2848888,"id":"Q2848888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743600$7BAB2C54-F376-463E-A8BF-44CFFB37022E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d530b4582e3a2d11eb708625e99d82f79077b23a","datavalue":{"value":{"entity-type":"item","numeric-id":5307047,"id":"Q5307047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cc790cea6b01588b5ad252b4dd019f0b4807f1","datavalue":{"value":{"amount":"+0.6804069876670837","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":"Q5743600$8A616698-7F2E-485C-AE3D-7DE2BBCBD180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbce6c89c972d660e7ec6e19a72e4339e6ed763f","datavalue":{"value":{"entity-type":"item","numeric-id":2704327,"id":"Q2704327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd5662f25fed4fc5ba789b7e2ee02007861ac85","datavalue":{"value":{"amount":"+0.6685299277305603","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":"Q5743600$2BA47172-B06A-4EC4-9ED4-024F45E5807A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1dc553e3d492fb19b7b45e0054a862752cd2c7","datavalue":{"value":{"entity-type":"item","numeric-id":2517827,"id":"Q2517827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64695a17fe21736fb0642e0a22103513df11dd86","datavalue":{"value":{"amount":"+0.6621305346488953","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":"Q5743600$FA3E51A6-A748-4EC1-A071-58A83923E9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245b30b711a4f9a445b22e6f134b02e9361f5ec9","datavalue":{"value":{"entity-type":"item","numeric-id":5389141,"id":"Q5389141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82dd2a9e2f44938f0ba7d290c85dc03a10e295fa","datavalue":{"value":{"amount":"+0.6573644280433655","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":"Q5743600$F361FACF-DFF9-4732-BF75-3CF8480E8EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68825e967bfdcf6f1e727faf18fa1051d4addaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4943502,"id":"Q4943502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"641574b3d6baf29edac9072f660a3eceb6ca4ef1","datavalue":{"value":{"amount":"+0.65665602684021","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":"Q5743600$479601DA-64EB-498A-82B2-6AB5FDA0E128","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Memory policy analysis for semantics specifications in Maude","badges":[]}}}}}