{"entities":{"Q2890294":{"pageid":2901019,"ns":120,"title":"Item:Q2890294","lastrevid":51486707,"modified":"2026-01-18T11:34:52Z","type":"item","id":"Q2890294","labels":{"en":{"language":"en","value":"Formal verification of P systems with active membranes through model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6044428"}},"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":"Q2890294$FA3B286F-315B-4437-8468-8C9D4B97892E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca7fc713b556b5b04545248602af352cd0d8fa09","datavalue":{"value":{"text":"Formal Verification of P Systems with Active Membranes through Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2890294$295452E5-3CEA-42E5-9F33-BB13185BCA84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aebe139b43f5ff37bd2609099d5486abf852de1","datavalue":{"value":"1350.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890294$76C0E4E8-F59F-4A4B-9368-803E354EB284","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ee9154519a6454f30f15d1efc7cda2d9ed26d2c","datavalue":{"value":"10.1007/978-3-642-28024-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890294$4C357099-8755-442C-905D-ED5B5E82045F","rank":"normal"}],"P16":[{"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":"Q2890294$316CB770-8CEA-4FF9-8DDC-25E7D9A50576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da05053fca1feec683a093fed96af154fa0c3ffa","datavalue":{"value":{"entity-type":"item","numeric-id":537816,"id":"Q537816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$EC08AC66-F21B-4ED8-9A17-E9363C9C9BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f27e8b75af58365328bd15a39e748e2557208796","datavalue":{"value":{"entity-type":"item","numeric-id":537823,"id":"Q537823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$6AA1113C-8ECC-430B-8155-ECA2C9C29D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625f2394ea426465cf0fa2a72da08c2a94a03f39","datavalue":{"value":{"entity-type":"item","numeric-id":243843,"id":"Q243843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$A700F8B7-BF82-4580-B423-E319B47B9D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1467e48a8ae58e53ec841e3b0170bd75cd7f34c5","datavalue":{"value":{"entity-type":"item","numeric-id":2890293,"id":"Q2890293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$213242CB-AC68-41B4-9A1B-35369936B34C","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":"Q2890294$23861528-957E-4872-B2CA-42281D75D35D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a7d7484062a7dd97ef9c7d59e7e7bb3f36dfdc8","datavalue":{"value":{"time":"+2012-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2890294$9778D7E1-DE78-462F-BF53-9DB830FD27EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890294$FAA48F39-6E6B-4BBC-8B91-018AFD29FC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890294$ADE488B3-9515-4767-8B50-17CC4288F6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890294$0864401F-2784-440F-8E37-C4F620C13C89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"055b9ae4de82a191ed1c05208173436fa0300a54","datavalue":{"value":"6044428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890294$47CC2AD7-7A12-4BB8-A76A-E6C7EFA804F3","rank":"normal"}],"P1463":[{"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":"Q2890294$66FBCCF7-C0ED-4294-827B-E83F0D003996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36c9d6fcaf477a579c7792b357595ef21fc9cc19","datavalue":{"value":{"entity-type":"item","numeric-id":19660,"id":"Q19660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$9BCAFB1E-5318-4D7B-8649-8E70083BBA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3e60a8763bc4000cc911b9070b55cdb649a25b75","datavalue":{"value":{"entity-type":"item","numeric-id":39432,"id":"Q39432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$C279D0CF-BD80-486F-A49D-E8BDF1A2C5FE","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":"Q2890294$E6AABF85-B9D7-41A8-8E6C-47A993953E6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6d7c4b1edb3a3dd601e8362079a202bfbbbc220","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28024-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2890294$2D856530-EAE2-42D8-A935-FFCFC805069B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"497196ed9851a6bbcd6f8c0d57f9fa5cb4c0bf28","datavalue":{"value":"W44559320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890294$69C92B56-82C9-4585-9160-62F7AB91AAC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d52ac13fddfe2dc0c6676e5b4f8c299aff04944","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$118C02A3-3094-48EC-AA5F-1DC0FA078472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e50bfd5f36ebf5ab698023bbc4c8ddf0cd179f","datavalue":{"value":{"entity-type":"item","numeric-id":5452054,"id":"Q5452054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$B0FD9B7C-0C5B-4FFF-BB06-B9CBD2F0125A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa296eefe507651ade9dfcb395c6fe744788a13","datavalue":{"value":{"entity-type":"item","numeric-id":5479203,"id":"Q5479203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$17B31BCD-1D9B-46A4-AB22-12026BE1F494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b1cdf93acabfddf06ffc889a04c616dee5feff","datavalue":{"value":{"entity-type":"item","numeric-id":3505122,"id":"Q3505122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$77C606D7-3EF9-4D73-9BBF-B463F360785F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8474c92457b85679d970b8b7d448d702554b789d","datavalue":{"value":{"entity-type":"item","numeric-id":5452061,"id":"Q5452061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$589AE412-7D92-4734-97EF-DCF646305A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db8f1fb8b199534247a336e4ad0ab90475ddcb7","datavalue":{"value":{"entity-type":"item","numeric-id":2576610,"id":"Q2576610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$03EB2E0E-2892-4D46-A96F-1E4334992D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6653c5406f14270e4acdacd87da86eee948f4b6","datavalue":{"value":{"entity-type":"item","numeric-id":987969,"id":"Q987969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$97BE9259-D815-40EF-A873-51F93DCE25F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84236a67de7c1c4f1d731c40a92628ff5975ab6","datavalue":{"value":{"entity-type":"item","numeric-id":3076605,"id":"Q3076605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$7DFB93FF-7B2A-423A-AA69-DBCB41DC5A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6756f38c1a6c7aea827aa064c75d43ff1eaee43","datavalue":{"value":{"entity-type":"item","numeric-id":1410766,"id":"Q1410766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$FFCDF4DE-D91A-422A-B133-546C36106087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff127c5c98af066724c13e9497fabd06ecb09e74","datavalue":{"value":{"entity-type":"item","numeric-id":5901894,"id":"Q5901894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$9EBB5655-4BCC-4379-83AB-7311326250E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b7f1a2aa1547a6a7b16fe24b57dae9d90cad23","datavalue":{"value":{"entity-type":"item","numeric-id":2493281,"id":"Q2493281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$59CD23F9-8B36-4FD2-B258-CCF8765A391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3d6ecb8e0a02e240e4aca6cdea1658940c68f4","datavalue":{"value":{"entity-type":"item","numeric-id":2708469,"id":"Q2708469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$F2844F3D-3476-435A-8D5E-348E9545C20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91355fc9e387b4e7079aeee8f868fa4524dd8619","datavalue":{"value":{"entity-type":"item","numeric-id":3406469,"id":"Q3406469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890294$433BDF80-DF5A-4801-AE2B-8FC14BCE1401","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e965f9091659e8dfd242a4bfc4c8b39b045532","datavalue":{"value":{"entity-type":"item","numeric-id":3076605,"id":"Q3076605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1cd8c1cbe29f4e65ded18031408d31a8bb9c8e","datavalue":{"value":{"amount":"+0.8631471991539001","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":"Q2890294$F6D20C44-DDB4-4A4D-9FCA-47704AD6185B","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":"44605aeaa7b624bfb0687b3004e2283c8af951a2","datavalue":{"value":{"amount":"+0.8474866151809692","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":"Q2890294$6283DD58-7D90-4EE8-8104-AE511FB3B444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36258116623966e4f90ed7ba6a441e7310ba87bc","datavalue":{"value":{"entity-type":"item","numeric-id":2152300,"id":"Q2152300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77eb80ce2fd9d1ae0473aedb18a16b81501d76b0","datavalue":{"value":{"amount":"+0.7870633006095886","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":"Q2890294$43830039-2426-4E3D-B42E-C8D862074BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b3af1f0b522c95f21dace1d1115198e879ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":3505122,"id":"Q3505122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cab65b78e5e1680bdd63118c499b1d874281bab","datavalue":{"value":{"amount":"+0.758531391620636","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":"Q2890294$AEA4A018-F939-4F90-9ECF-735D7EE165D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f01d742923cf7fa04a778e068dd9b7565a7fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1982961,"id":"Q1982961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f641a61ddd4636e574538e049980c18fe9096a66","datavalue":{"value":{"amount":"+0.7512738108634949","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":"Q2890294$94239A9B-D95E-455B-B54C-E57AF115AAE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2890294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2890294"}}}}}