{"entities":{"Q555787":{"pageid":557554,"ns":120,"title":"Item:Q555787","lastrevid":62716671,"modified":"2026-04-11T07:58:44Z","type":"item","id":"Q555787","labels":{"en":{"language":"en","value":"A logic for secure memory access of abstract state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174900"}},"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":"Q555787$CBE35D49-08BC-4085-BD03-3BA32D73A724","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"193d1b0721987f44e57d75f63ab98951623148c2","datavalue":{"value":{"text":"A logic for secure memory access of abstract state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555787$54E85189-851F-4DE2-93C5-0B886319E529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c60d673d132257c923baea291ee259693003ebc9","datavalue":{"value":"1080.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555787$891A52D4-483D-4B5F-9BBB-F5CF96ADB1FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5411044d36bcde2420bde4ec317c0d34d7d5007","datavalue":{"value":{"entity-type":"item","numeric-id":555786,"id":"Q555786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$FDFE5419-4B6D-45FB-84F7-3276A70F70C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$2BB16961-191F-480C-B65F-DBA5E3B818F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$DA41F27F-8AAB-4E87-B7C1-CA8C38FDFCC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82118ca2793d21263f8941982493899f6fa842","datavalue":{"value":{"time":"+2005-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q555787$B8DADF61-3B71-479C-B18C-41F211E24620","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555787$0870C2D2-8BEB-41C9-9449-95469276A6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555787$A534AAAF-AEE5-4020-A4A7-A1163F6FEECF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed23ca72dbda2c00894e54424b8b7463412a902a","datavalue":{"value":"2174900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555787$590F64D0-66C9-4088-8A74-E70A0A24675B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33154430b108da244c63c8208caad1bc873bfeed","datavalue":{"value":"Abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q555787$D89B4AF6-535B-4F05-A09A-D4F173F31FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q555787$EB00B217-016F-4858-840A-87B394605A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea499f1cf9630136951c114fb81f97c6d3062fe","datavalue":{"value":"Access predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q555787$424830CF-C399-4A8F-B41C-7B5AC438DAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22609e008a8e66a246826b68b7a685222d6efb96","datavalue":{"value":"Secure information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q555787$74807E2C-0EBD-425A-B39F-44F1E3B0BC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d44baa08e0ea2a7aba1ae9ad2153afe7a3b2bf07","datavalue":{"value":"Sequentialization of parallel ASMs","type":"string"},"datatype":"string"},"type":"statement","id":"Q555787$5828A52D-3AED-4ACF-BA01-9087AE2A3FE3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$376AA381-5617-4946-903D-D0AD191B6414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63cdbe1815dab8cdad5d951d126bd73b8bf1b386","datavalue":{"value":{"entity-type":"item","numeric-id":37166,"id":"Q37166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$863BCA99-8EC7-4124-A402-56C1EBE200A4","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":"Q555787$5171D099-37D5-4106-9BE4-0C37065A676E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c39a349331613aa6c39ff4d0f41b0cd825fccdb","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.11.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q555787$99C2ABC0-DAC6-40F7-88AD-CCC8667CFCE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5255ba0c68443118feae9e55ca6d0a5e7f7471a8","datavalue":{"value":"W1965433750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555787$B61315D1-1115-4A1D-A342-ECC993E36F72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81f2b0c0dc31fd95cf9ceb893f93c3177800ffc","datavalue":{"value":{"entity-type":"item","numeric-id":4520496,"id":"Q4520496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$DA2DE220-8567-4E36-AD3C-5EB9D36483EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$B22382D2-4091-486E-9656-C1A88DCC3B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b663f44f13eb9bc59e68a507c792dc9583a6a86","datavalue":{"value":{"entity-type":"item","numeric-id":2753715,"id":"Q2753715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$1A8FAD25-9F2C-4323-90B2-6860E867B4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092c87bd385bdffab3efa74e7021155389be7050","datavalue":{"value":{"entity-type":"item","numeric-id":5738899,"id":"Q5738899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$82625E23-FD92-4E95-B244-F38730740C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b718b3c28597e5e6f4f596a60845813367802e1","datavalue":{"value":{"entity-type":"item","numeric-id":1566911,"id":"Q1566911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$D40A3686-2248-4350-9820-904676377747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26d0672aac97a2f5583f4c3e24a732682cf7f15","datavalue":{"value":{"entity-type":"item","numeric-id":4794726,"id":"Q4794726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555787$9743E6B4-D06C-48CC-9BA6-768BBF29B95B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b617fc879a9cbcaa997174fbc5b160686abf2f4e","datavalue":{"value":"10.1016/J.TCS.2004.11.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555787$DC8709D3-3B58-4988-A4C8-64B901939EDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a24f4ad30861fe1e1b672d4d8f533a6be4146f0","datavalue":{"value":{"entity-type":"item","numeric-id":5901601,"id":"Q5901601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63cad0cd4677cd9ef54a43e8c29410b18c4a3407","datavalue":{"value":{"amount":"+0.961664855480194","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":"Q555787$3B87D124-FA3D-47FC-85E2-6B1EF30517FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8091b0fe8409b4aae1046fa486f72e2cf12abd1","datavalue":{"value":{"entity-type":"item","numeric-id":4783310,"id":"Q4783310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5963ec915813847e5818b2adade982839721d326","datavalue":{"value":{"amount":"+0.839586615562439","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":"Q555787$3BA8ACD0-6177-447E-9E86-11345C130E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc0608667f6a17dc78f8131d46fac1e000ff920","datavalue":{"value":{"entity-type":"item","numeric-id":303691,"id":"Q303691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc07ea570b0eb4aab51eed1ca15a0d20516150ab","datavalue":{"value":{"amount":"+0.7435969710350037","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":"Q555787$B954C52F-0FF3-4A44-958F-CD10B9591AC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic for secure memory access of abstract state machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logic_for_secure_memory_access_of_abstract_state_machines"}}}}}