{"entities":{"Q3076603":{"pageid":3087319,"ns":120,"title":"Item:Q3076603","lastrevid":86152694,"modified":"2026-06-03T15:39:41Z","type":"item","id":"Q3076603","labels":{"en":{"language":"en","value":"A simulation algorithm for multienvironment probabilistic P systems: a formal verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5856478"}},"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":"Q3076603$03685A34-22A0-4BB9-A5D5-6A3F0F0A59FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5468dbd1cb2cdfa3455ab8b34adc673520383e7e","datavalue":{"value":{"text":"A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC <font>P</font> SYSTEMS: A FORMAL VERIFICATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3076603$33FA830F-0E17-43EF-81E2-BAF95A7E3D6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"006e5572dec518accc967345230b6ef181aa5692","datavalue":{"value":"1213.68383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076603$3767429C-AB28-468B-BB20-1049AC2CD58E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88dd60ae4942308aabadb636f626fbe24ac51270","datavalue":{"value":"10.1142/S0129054111007873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076603$B573FFE7-E7F6-420B-A230-A3F5C0F83D29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2a1e20b510bc3bc16fa3a132887ba22d27d98c","datavalue":{"value":{"entity-type":"item","numeric-id":987961,"id":"Q987961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076603$A9AB640C-52AB-41B1-B616-5FF755FB986C","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":"Q3076603$5B1B7592-C7AC-4A9A-A931-0D4B6ED5C057","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":"Q3076603$29FEE2FA-F139-4B14-9DD7-C33BFC82C9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec7271bbe8d17cea0bdc197bc543dcf6248de1bf","datavalue":{"value":{"entity-type":"item","numeric-id":528778,"id":"Q528778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076603$7B2EA8EF-8A98-4719-B68E-8BD1CA71C160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffb160f6e0bc8acf716f88041defaa88016564ee","datavalue":{"value":{"entity-type":"item","numeric-id":1410765,"id":"Q1410765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076603$33FD60E0-8CDB-46BB-918D-15D1960D5A05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076603$3A66D2ED-965F-46B9-BCB4-26CDFBD13C5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c71e983296ad326dc4fa98508eb39645fa4e4bbb","datavalue":{"value":{"time":"+2011-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3076603$24FD4A76-26B9-465B-B676-758B6B6563B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076603$3F724D07-933D-411F-B959-BF383BE65E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076603$F7135A27-9E4F-4E85-90DB-B169A66F4EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8dce91b45aae56da74aca9c1ed1bc5361b215565","datavalue":{"value":"92D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076603$9790E4A7-F405-4511-8A89-5A53C97BFD9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b506808796466d2a4c78accf125ab59d06fc04a3","datavalue":{"value":"5856478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076603$ADEA6AB2-A87E-4DDD-B5E7-71BFD255CF1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55eb0d5986f8944e47b6c4de2a3c0fe981c1866a","datavalue":{"value":"P systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3076603$AE4BCE2D-5107-427E-8991-4BE5200742D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"512e167ea5310224ba829ab718eaedd821f7581b","datavalue":{"value":"biological modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3076603$8C7FE680-B2E9-4412-A80C-A94D30F83EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3076603$EA8C1AC7-916F-4F77-B4E5-58FC2D984C54","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":"Q3076603$C16B27CB-F012-4173-A599-F9B8E5FD812F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25b9e8221c4d33fe747be5205b0bba11eb4816d2","datavalue":{"value":"https://doi.org/10.1142/s0129054111007873","type":"string"},"datatype":"url"},"type":"statement","id":"Q3076603$B69DF8D6-8BEE-4901-A045-9A03B0B756BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb1bd5e429a1e7a690847ae76abaa548f19aa710","datavalue":{"value":"W2008136437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076603$07FC91A7-8C1C-4BB1-B1A4-03A508B5B249","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742c1150130852bb6a92a313ed7359d88aa169b4","datavalue":{"value":{"entity-type":"item","numeric-id":1761729,"id":"Q1761729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9626711404733830475322e867e15bd21786a1","datavalue":{"value":{"amount":"+0.8508805632591248","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":"Q3076603$4627A215-7BE3-43EA-93F6-C083A95E1375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbfb44617f1ad4156ad254f98f6a705a4cfcb76","datavalue":{"value":{"entity-type":"item","numeric-id":3454890,"id":"Q3454890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ef7d409e0097264b87665f5c371d5f858aad66","datavalue":{"value":{"amount":"+0.8044489026069641","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":"Q3076603$BB636510-BAE7-40A4-8B5F-7CF424351D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02766c7be719ba1b0a48d453ec29d1affaab7c88","datavalue":{"value":{"entity-type":"item","numeric-id":1424778,"id":"Q1424778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3afe03408881b8d4c95fad30ec8edcd8dd589be8","datavalue":{"value":{"amount":"+0.782216489315033","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":"Q3076603$DCC59720-133F-499D-96C8-284DFCCABED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42a5fe21f8d3299cb046c506497e890137f4ac2","datavalue":{"value":{"entity-type":"item","numeric-id":537825,"id":"Q537825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549c4d9d28bc1889fa408f4d3a46bf4eb00e025a","datavalue":{"value":{"amount":"+0.7686824202537537","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":"Q3076603$EB27EA42-E7F7-45CD-B81F-0B667587E4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b5261a086ea65207fbb5249576cc9f0b08d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2311265,"id":"Q2311265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6ada47ca039f28bc3d246d34f63b5ea40dffaa","datavalue":{"value":{"amount":"+0.7586594223976135","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":"Q3076603$C4B67C9B-1310-48C5-BF05-F66117B4CE65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simulation algorithm for multienvironment probabilistic P systems: a formal verification","badges":[]}}}}}