{"entities":{"Q2789120":{"pageid":2799858,"ns":120,"title":"Item:Q2789120","lastrevid":52465880,"modified":"2026-01-22T17:34:57Z","type":"item","id":"Q2789120","labels":{"en":{"language":"en","value":"Automated verification of stochastic spiking neural P systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6546461"}},"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":"Q2789120$C0B10C4B-14A0-4036-8BDE-C6B1332089AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"060c9705d4eb2c845fd0395ee25176ab1bb30071","datavalue":{"value":{"text":"Automated Verification of Stochastic Spiking Neural P Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2789120$A5DC168E-192C-439E-809C-6417F987FB01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d97fe2a999c626e040d7c0d45472ce22fa1da510","datavalue":{"value":"1473.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789120$980A3EB2-B8E9-48CA-A654-A6A5270470D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52054f1668869784b34fdbe870613a562d92591f","datavalue":{"value":"10.1007/978-3-319-28475-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789120$78908CB6-5128-4B94-916A-0A5F48F58350","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cef574d9dbf53e334355518c8453830a145b6ce5","datavalue":{"value":{"entity-type":"item","numeric-id":264536,"id":"Q264536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789120$E15F15AF-F806-4F32-8296-99B38FC5CE9D","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":"Q2789120$C5735644-8C0E-45C9-AB69-A2FF2613A209","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":"Q2789120$899189C4-E992-4C21-97B5-E3C6B343CF38","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":"Q2789120$54F4D8FC-E06E-40C3-ABFF-AAAD8EE3D5AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789120$F200D0A7-247A-4D93-A48C-3416E192FC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789120$FE056FC5-F0BC-4B0C-A402-186CBF36E05A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e19469291690ce33b832065a01ebce2cd5b3f66","datavalue":{"value":"6546461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789120$0D088C09-37B6-4EBD-B8D1-C9ABBDAAD66F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56cbf5a55c84bbeaeab0709b8d63a31e21fc73d6","datavalue":{"value":"Q57936414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789120$9B504835-5353-4362-A78E-178AF0FCF22C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789120$A8C6A455-D654-49A5-8156-15B6219FB515","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":"Q2789120$1A1668B0-DA63-4CDB-A9CC-1BC656127910","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fb075917207a40c529806d834aa6421ac099b34","datavalue":{"value":"https://doi.org/10.1007/978-3-319-28475-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789120$C541FADE-881A-4764-9B91-519B960E4B0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f6a076b56e5f6339f1c8d14c684cc182b7c5910","datavalue":{"value":"W2296390762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789120$0DE6071D-89F4-402F-92E6-05EAD0649303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bdd8306f4bbfdaecb036aedb7676497dc02704","datavalue":{"value":{"entity-type":"item","numeric-id":264538,"id":"Q264538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3749ee4584bf52158bc1716b9c7569a3ad1d32e8","datavalue":{"value":{"amount":"+0.8309743404388428","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":"Q2789120$2CFAD9D0-8650-4EF0-9100-3328E4892302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c5dfc4e17a415d7a1fc7ee74c5d04ef52552cf","datavalue":{"value":{"entity-type":"item","numeric-id":1035723,"id":"Q1035723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d4888720016c08a23dc2b67e85f99d651c47d8","datavalue":{"value":{"amount":"+0.823477566242218","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":"Q2789120$3056A8E1-C073-437B-8FF9-000C1CC20A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"595dea276b4814e5b82d16908e72a5481759de58","datavalue":{"value":{"entity-type":"item","numeric-id":5962071,"id":"Q5962071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff5a9611cd2b1b8f30de6e238a03bd79b029911","datavalue":{"value":{"amount":"+0.8128001689910889","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":"Q2789120$64437371-9DFA-46BC-B515-A9175D716187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7e82caca57906c23e7f3c00f93540969199766","datavalue":{"value":{"entity-type":"item","numeric-id":1983014,"id":"Q1983014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da8826b62462c4b3f9ab722c2fe8b27dc31dabc","datavalue":{"value":{"amount":"+0.8002083897590637","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":"Q2789120$04D5D115-52C5-4D56-AD7E-EC6DECD6B1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1a0384e6747cce5137b6ff2448fc287ca55953","datavalue":{"value":{"entity-type":"item","numeric-id":5480659,"id":"Q5480659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7eb08fca24dfaabf6263252ee22de074209b373","datavalue":{"value":{"amount":"+0.7577866911888123","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":"Q2789120$DC99685C-1369-4F6C-9595-38FDDF72347B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2789120","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2789120"}}}}}