{"entities":{"Q877021":{"pageid":878869,"ns":120,"title":"Item:Q877021","lastrevid":65027655,"modified":"2026-04-11T23:50:17Z","type":"item","id":"Q877021","labels":{"en":{"language":"en","value":"A rewriting logic framework for operational semantics of membrane systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5144949"}},"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":"Q877021$BDC9FAAD-2193-44E2-9210-3991CCF2AE6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23a807f1988be931a76bf457929522ae735d515b","datavalue":{"value":{"text":"A rewriting logic framework for operational semantics of membrane systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877021$0257AD0A-D183-459B-821E-7DA2581A8468","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"505cde9656dc24c1a0594d1f5688e9781abd1553","datavalue":{"value":"1111.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877021$00A3F1A3-D7B9-4D34-A5DC-59822E8DBE0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7406cc5bd586b8c46eeb27ef7bd3127717c722b","datavalue":{"value":{"entity-type":"item","numeric-id":271707,"id":"Q271707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$4D555D98-131A-4F5E-880A-63B5173E65B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dede0e2bf224582d937e25999a53eed000472ee0","datavalue":{"value":{"entity-type":"item","numeric-id":264537,"id":"Q264537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$8128EEAD-C408-44C1-A59D-4EB6CEB235CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$76DC3907-A527-4EC0-A023-A39D3B992324","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":"Q877021$8ACFC513-F126-4770-ABF8-F4179BFC2F96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c162f292d55d8cae8f707bd4c33cce3b2222d9aa","datavalue":{"value":{"time":"+2007-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877021$9B116006-2A6A-4563-ACEB-1672A029759A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877021$98E4D035-F48E-4089-8151-B2920C11C85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877021$9881C61F-40B7-482B-AFEE-F91564CBE73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877021$AD671786-653A-4000-9ED5-1CC1358588EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4c7d17791345d9bb2b0ca5cb47cd08e48846d4a","datavalue":{"value":"5144949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877021$828851D7-1826-4CEC-BFAF-8E2589A992A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bdffda2a2002a4851f2c0c0ef1375709a26b064","datavalue":{"value":"membrane systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q877021$6C2E6C03-1369-4641-8948-690CEA7804DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q877021$2CA12AA0-8959-4413-BC1C-D385313AF38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q877021$725F0124-A80A-438F-98DD-229DD23EE994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q877021$7DAA8113-AB72-48C3-9484-DF4E021E17DE","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":"Q877021$765232AC-74A1-45A2-B001-84060FB4FA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"467f77cf5fc6a143a2d9eb4bd2e2eac4aff1e4dd","datavalue":{"value":{"entity-type":"item","numeric-id":37117,"id":"Q37117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$B6A3158E-4322-4330-AB1E-2EB5C5C9C932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cd4b93c11e46ebd9792cde85629eae38cf00c88","datavalue":{"value":{"entity-type":"item","numeric-id":33917,"id":"Q33917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$F7CAA066-5A7A-478C-AEDA-3860BB119056","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":"Q877021$EF37DB21-E293-4F01-965C-61DEFDB84591","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84948826d9a1dfe88b523b193316a564a8a75621","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q877021$8F8191CE-2452-4C62-B3E8-EDB1D196E6DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28e21b1f248543c6205830b629444fc0206587da","datavalue":{"value":"W2071919672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877021$34B3201E-5250-4EF2-92BC-69322EA25252","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6ee05f0b900674144e8a0fc05903e73988e4eb6b","datavalue":{"value":"Q57937131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877021$8CBD6286-D2F9-449D-859A-50396B469381","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb44021dbde0eaa2f7ee15dfc50c43aa7a403b0f","datavalue":{"value":{"entity-type":"item","numeric-id":2852095,"id":"Q2852095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$DBE390E1-EA6D-4D66-90B9-7F19A4FCF19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61f4d746cc240c7e01e374e1c8b6bcf1fdd307f","datavalue":{"value":{"entity-type":"item","numeric-id":1262749,"id":"Q1262749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$1DE6E957-64D2-408B-B6C4-3992DA187C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$5E557838-1C09-4CD6-9071-AC99CEBA8A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b84e50d5b8107ff3d8511662cf6eee9934348f6","datavalue":{"value":{"entity-type":"item","numeric-id":1608914,"id":"Q1608914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$00912FCA-8501-4AB3-8DFB-EF750214554F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557c8e6f58a6cf3a18d88c4cab8d603ee71fd1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5712404,"id":"Q5712404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$EA741273-A2A4-495C-8392-7C5B45150F4C","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":"Q877021$1025C058-6D87-41B4-9738-50CE524397A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5922f4d89d25c54a645359a3c7dde82378386d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901885,"id":"Q5901885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$62C13019-48D6-4593-8EC4-4E53EBFB262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e68ab5865e0d1f8e0e6e30a2c52ac03d327ccb","datavalue":{"value":{"entity-type":"item","numeric-id":1818363,"id":"Q1818363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$B535A4A6-5D94-4E3A-B639-E934BFFD64AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7399482b3ca7babbeb47a3322399240822a99136","datavalue":{"value":{"entity-type":"item","numeric-id":2841247,"id":"Q2841247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$FAC91CA1-72F7-429A-B65D-BCF3B032D2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52005969f544e86789c699964c666cdf2e0ad4be","datavalue":{"value":{"entity-type":"item","numeric-id":5307047,"id":"Q5307047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$77EA04EC-5417-4E9D-9F63-62961B6CDF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c98cb82d25cdbd3c86ba565c5dc3daa2985bc3a3","datavalue":{"value":{"entity-type":"item","numeric-id":1872776,"id":"Q1872776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$769D1692-9C4D-4C71-9203-EF69353496AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877021$2A77E661-74F7-40A9-9F72-64338D0C98B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fa669227e4fc5d6737f8a0d6b45584338888d88","datavalue":{"value":"10.1016/J.TCS.2006.12.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877021$2D5FAA96-D4C9-4F30-9617-676708B1AFCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d2138fdd31e74dec4b72b7279067abe5b542c7","datavalue":{"value":{"entity-type":"item","numeric-id":2852095,"id":"Q2852095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178227a29ae7c15314d2c0394f849b4d81dbd791","datavalue":{"value":{"amount":"+0.9604897499084472","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":"Q877021$501CF864-F166-4C7C-9EE3-F31BB95B4F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83350a9c60d9ac8da0251dbeb56873f623340473","datavalue":{"value":{"entity-type":"item","numeric-id":5179127,"id":"Q5179127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e5284d29abbff995f879c128b9187fd3d3143f","datavalue":{"value":{"amount":"+0.8205715417861938","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":"Q877021$7F2E33BA-D9E6-49A7-A7BA-A73C8AFBC8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba966ef2f61844640e1bd39b75741c6b479c2d0","datavalue":{"value":{"entity-type":"item","numeric-id":3076604,"id":"Q3076604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0db232c3e641f7e4f22781b8212c5a62f5ce02","datavalue":{"value":{"amount":"+0.8092126846313477","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":"Q877021$4CB9B91F-3BBE-4009-817F-6A089EE5D151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85553446326ea397aa695b5e34f08e9e1a6f8f63","datavalue":{"value":{"entity-type":"item","numeric-id":5897714,"id":"Q5897714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc75b50f0477dc820ef0008153f5415a4aa3210b","datavalue":{"value":{"amount":"+0.7938335537910461","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":"Q877021$1B269CB8-630D-4FC6-8BFF-C647215B82A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2df5ea92c194e5cddd5ba134d8f93cfd062641","datavalue":{"value":{"entity-type":"item","numeric-id":5179128,"id":"Q5179128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82846d6ad0d6ae4059b6c5338500dc1a17e0ef19","datavalue":{"value":{"amount":"+0.7799442410469055","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":"Q877021$5B39784B-3DCF-4848-AB86-58E4414A19E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A rewriting logic framework for operational semantics of membrane systems","badges":[]}}}}}