{"entities":{"Q2789127":{"pageid":2799865,"ns":120,"title":"Item:Q2789127","lastrevid":52465889,"modified":"2026-01-22T17:34:57Z","type":"item","id":"Q2789127","labels":{"en":{"language":"en","value":"An integrated model checking toolset for kernel P systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6546466"}},"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":"Q2789127$5B0EA882-3566-47FA-8ED1-BAE6C3244EED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48304b87bb44befff2353a2f240be770aa88a3e1","datavalue":{"value":{"text":"An Integrated Model Checking Toolset for Kernel P Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2789127$239EC4E6-EFDB-4B46-B819-96F49FC67F99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f5fbd4e36d73638bdfbab382cda7dfd91468519","datavalue":{"value":"1473.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789127$851E69D0-D5FA-486F-9315-AEFBDA17B377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"421f318b81fc201624e68f202092a8ed3a425af4","datavalue":{"value":"10.1007/978-3-319-28475-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789127$5D8D9A48-FD17-42E3-A590-877BFDF71C6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"796a4ed2b345ccc4a5578468dd3a43ece3c7f227","datavalue":{"value":{"entity-type":"item","numeric-id":204591,"id":"Q204591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789127$FD9C738C-92A5-4531-8E0D-6479FF2A7095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"feac85871ea116b7f29545dcb6ed5421fbcb3864","datavalue":{"value":{"entity-type":"item","numeric-id":1749167,"id":"Q1749167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789127$E8371104-7869-4F41-86A0-8670BD124F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780ef79608749556230cbbde02f78eda1ce0cdb","datavalue":{"value":{"entity-type":"item","numeric-id":204589,"id":"Q204589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789127$273C036F-46C7-4E96-BA16-4AE5701B53A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea3bcba174ca8173fefb04bd8d7614e7f4b06e6f","datavalue":{"value":{"entity-type":"item","numeric-id":2789126,"id":"Q2789126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789127$76C36429-0E3F-4863-B576-BBA8FEF572D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c586956fab2f6e0fc3017ec47f54aab03e8679b0","datavalue":{"value":{"entity-type":"item","numeric-id":1749166,"id":"Q1749166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789127$15D6B988-1A45-46C1-90D7-C059379D1811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"389bd8189f7428178537e89812ab61524a39750d","datavalue":{"value":{"entity-type":"item","numeric-id":514564,"id":"Q514564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789127$B701317C-E395-4268-B5E8-0FD9596D5DAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd6a1c153f75713f57bdbbdd1af0bcd8c762242","datavalue":{"value":{"entity-type":"item","numeric-id":2789111,"id":"Q2789111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789127$300D67D3-6F1F-4F58-86A9-F7CF6A6962AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53e678e29f7b2f89df1b8e0b1fc2ce3cab575d1","datavalue":{"value":{"time":"+2016-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2789127$D81F43D1-17DE-495E-B3A7-BBB228C5C4FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8026a6d29868f885b5efed60412e3e34d841dd49","datavalue":{"value":"http://eprints.whiterose.ac.uk/94858/1/CMC16.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789127$116AA6A8-18B2-4D92-A0F5-ECD6B70F9F63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789127$D6101240-7CF4-4AB7-99F5-D63DB08015A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789127$EE0D432C-8055-4763-90AE-220EE84AAB3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b95f39d537645b615effdd0078ac7c2cb1f00371","datavalue":{"value":"6546466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789127$D590AFBB-B163-4466-9A15-FBE555C9EADF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8c55de87266c32cb66de36f50339356a08034f0b","datavalue":{"value":"Q57691177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789127$3D2909BC-5C65-41E3-B304-936F17809DB5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9267fdb48827af90410b7daffbbb3ad6db79a50","datavalue":{"value":{"entity-type":"item","numeric-id":31479,"id":"Q31479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789127$3110E705-D018-419C-ADA3-6EEED9908352","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":"Q2789127$797FB853-5F48-40E8-BD09-9D2805F518C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4a7837f2dcf47827a989877873fa106810e8cf7","datavalue":{"value":"W2293614348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789127$EA3C5E6F-D176-464B-A178-2E03DCEFBC93","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"116d72542a6c6fbe3c701c377ffa9d649ee044a4","datavalue":{"value":"conf/membrane/GheorgheKIMBS15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789127$F62E551C-E788-440B-9E1D-9B1FE0001423","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee33d2bff6f630dafc5bf722ceb4d098a66e13a","datavalue":{"value":{"entity-type":"item","numeric-id":5404850,"id":"Q5404850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299e0b08f69a32b888bf12c48cfc6e5dd868e75c","datavalue":{"value":{"amount":"+0.9197251200675964","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":"Q2789127$F4D092C6-73B8-4E9C-A324-EAC3BEEC587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dce470b466ede75f1d9ed7c5dde27754a3559fc","datavalue":{"value":{"entity-type":"item","numeric-id":2413314,"id":"Q2413314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560ed3271ded87a96004f28cff32cf61f25c2c55","datavalue":{"value":{"amount":"+0.8378601670265198","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":"Q2789127$98F8D8BF-6C78-4317-9FD4-99471157268E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04eac747643ba8c16f7de343fd66bcf9fc106d6","datavalue":{"value":{"entity-type":"item","numeric-id":2975916,"id":"Q2975916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09baaf853b0b9a2f68e5b4d20d074a681dc9963","datavalue":{"value":{"amount":"+0.8064931035041809","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":"Q2789127$AE538270-B192-4B9C-B401-9E8644BC3634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb822faae3ab7ef53c5c1e4daf8bc32ed3e8643","datavalue":{"value":{"entity-type":"item","numeric-id":3067494,"id":"Q3067494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261dafc2f3edbeb2c7784b2cc96ee005abacd6fe","datavalue":{"value":{"amount":"+0.780526876449585","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":"Q2789127$58FA9F2A-48CF-4F50-A1B1-FB4E4F770329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512cc706ab522967df1289f8cd4ef083a224baeb","datavalue":{"value":{"entity-type":"item","numeric-id":5479203,"id":"Q5479203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b1ecec74860eedac2237ef63b21f1486ae7203","datavalue":{"value":{"amount":"+0.7757775783538818","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":"Q2789127$9039C315-F5E5-41B4-9563-D6C53D96D698","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2789127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2789127"}}}}}