{"entities":{"Q264538":{"pageid":266305,"ns":120,"title":"Item:Q264538","lastrevid":60482793,"modified":"2026-04-10T17:16:31Z","type":"item","id":"Q264538","labels":{"en":{"language":"en","value":"Modelling and verification of weighted spiking neural systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6561603"}},"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":"Q264538$38FF0AC3-F7D3-416C-B724-BF3AEF4EF1BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ab2c21484ceb9372f72cb2365637442e6e944df","datavalue":{"value":{"text":"Modelling and verification of weighted spiking neural systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q264538$6F75219D-3646-428D-A71D-00AC1BA77711","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4d67183beaf4fbb66f334cfe9926f9cc3625d48","datavalue":{"value":"1336.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264538$BE53C70F-2646-4D69-8189-597E9AE91C45","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":"Q264538$B2761BFD-35D4-4ECA-9F52-9390C148EB07","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":"Q264538$4551ABF4-5BC9-4F2C-8EAC-3583CCDD90DC","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":"Q264538$F7B27C07-0571-4F32-9740-4AECEC128FE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04a1e830ea0fd093529fe82379b6a163df4dd6f","datavalue":{"value":{"time":"+2016-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q264538$1AD63FF8-3065-4D81-90F3-54A3E05CF214","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264538$4F505B98-5577-4BBA-9334-773D273A4EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264538$88A465CC-E6C3-40DB-98D0-0CBF30BB50DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264538$EB6F722E-1B60-417A-983B-67F57F74427A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264538$0992E0AD-EA4F-49A2-8B43-EE5642816468","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0495a8ebe6bf01a101336d68a778aaa9fb82a4dd","datavalue":{"value":"6561603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264538$9422D9C3-DC00-4E8C-9326-2DD60B6C8EFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6638c246a99347464e632bb64da475ceaa3b33ae","datavalue":{"value":"spiking neural P systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q264538$C28E49A4-42D2-47B9-AE50-2EA5857F01C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f021cbad383fd48638049e57a008ef2e7c30c1","datavalue":{"value":"weighted synapses","type":"string"},"datatype":"string"},"type":"statement","id":"Q264538$D30FAA53-1EE9-47A9-8B8B-9DC312D26811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4ca408330f2c07721b102a727311b48595501c","datavalue":{"value":"networks of timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q264538$FCE95C76-F7C8-413F-AD2E-32AEF9A2703E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1514f8ff8687c619908653d9165aa1455e5062c5","datavalue":{"value":"model checking software tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q264538$F59E9933-35B7-4B8D-80AF-E31B7543600F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"21e96d1aabf82e1bbbb8819a7594774a1e6378ee","datavalue":{"value":"Q57936278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264538$D7F22941-F405-4C48-8D65-B43B7747AD36","rank":"normal"}],"P1463":[{"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":"Q264538$0D11048B-7177-4BE5-83A5-E29D26600F7B","rank":"normal"},{"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":"Q264538$5E38FAD3-BBD2-46D7-B42C-0FD68458FB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"941c50d8b768103f858ef033e224666d34ebf724","datavalue":{"value":{"entity-type":"item","numeric-id":37116,"id":"Q37116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$0E1FAB19-D96F-42FB-BDF6-74F27F1207A8","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":"Q264538$C06A9962-4510-47AC-AC2C-1A4B2E4568E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6a0eb98857a7ceb9581eb3077857aa8ce650830","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.11.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q264538$C82431FB-0961-4F6A-B47C-C4A1199B0403","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7c801e538d162a548e23eb611f8e4fb94383124","datavalue":{"value":"W2122133822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264538$D31C9AAB-1DEE-43FF-BB59-322A03C78BCA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6055984f068a74add0c88442d273d5f0156091c7","datavalue":{"value":{"entity-type":"item","numeric-id":2864193,"id":"Q2864193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$F74FFECE-D276-4158-B54B-37319B88DEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b7f93fd9ad8d85cc213a2b4b7e89305a9bc49","datavalue":{"value":{"entity-type":"item","numeric-id":2870294,"id":"Q2870294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$185142CF-B8A7-4E6A-B77F-ABF38D3EA7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb9dc384ea0c8fb8eca54d8dd8c9331396ccd7e","datavalue":{"value":{"entity-type":"item","numeric-id":3642951,"id":"Q3642951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$971B1D80-D6F9-4044-A3CD-08C563253129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcc643397c229c330d4076ab425bb1e4692fd0a","datavalue":{"value":{"entity-type":"item","numeric-id":437686,"id":"Q437686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$61E66144-350F-4D0A-AA15-9A98F85F7AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb5f70a1510245784b3b311c5c543b2fff94cc4","datavalue":{"value":{"entity-type":"item","numeric-id":496035,"id":"Q496035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$125D50A1-3130-43C7-AD82-E06292AF9457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$06EF90BD-FFBA-4940-B454-EE373542D8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$EC97F8B2-5E81-4CAC-B326-DCA79FB5587C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cbd3c6961861d0f4d3a70c4e1f6d26048bc2508","datavalue":{"value":{"entity-type":"item","numeric-id":5479201,"id":"Q5479201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$0FC14A7D-8DD4-4172-92CB-00AD1FE3163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e14f4be5ea10dd4ca1608a944ee645401769bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1884869,"id":"Q1884869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$1859561A-28C5-4DEC-907B-8C48AE4158DC","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":"Q264538$21507495-7C3F-4AF4-8743-AC170F7A617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a685a1e88053142c3886b6968be8bca9366e85ef","datavalue":{"value":{"entity-type":"item","numeric-id":537912,"id":"Q537912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$E7812722-3733-4EEB-9A8A-C7682AB580F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f16b32e101a3a9c6578fb5de14da83970954c85","datavalue":{"value":{"entity-type":"item","numeric-id":2493275,"id":"Q2493275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$71CE140D-AB60-4FEE-9A63-CB847D559ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49a241346a72d41a7eed6a4ace2f8994bb45cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1884864,"id":"Q1884864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$416AD357-8433-465B-8C2E-B2D0322933AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d200102da6f0e13455bd5126f66d8c07ae4eec2a","datavalue":{"value":{"entity-type":"item","numeric-id":5480659,"id":"Q5480659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$17090045-3C4B-47A2-BE05-50177FDD55F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7a2bd80ce4e50f9568f9cf6e57d10d6f0268a","datavalue":{"value":{"entity-type":"item","numeric-id":2969106,"id":"Q2969106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$C914E35D-C976-458E-A784-20CE0E36248F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c93aa020cf5800686368016dc4e9788d9ccc306","datavalue":{"value":{"entity-type":"item","numeric-id":4348471,"id":"Q4348471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$3C3A7139-8EFB-469C-874C-5E8C746D9C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494dc0d0f50964dc1b9383a825ff91a544926241","datavalue":{"value":{"entity-type":"item","numeric-id":1401274,"id":"Q1401274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$32B34B47-D049-4C6B-9A70-823A4A546D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$B326409A-205C-4657-BE27-CC1378DD98A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc715e27156280a138563a00f62c383872123ed","datavalue":{"value":{"entity-type":"item","numeric-id":1582013,"id":"Q1582013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$EFBD93F9-74D6-4EBD-93AA-3F2BEF5FF218","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":"Q264538$0B07FC90-7C18-4B86-AD37-52B47B22EA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$E98706C5-C867-4EB6-B9F6-845230F1B146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a3e5eb4aa69fbb6bf5b1246b1135b54ffb265b","datavalue":{"value":{"entity-type":"item","numeric-id":736844,"id":"Q736844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264538$83CE5CDF-D8EB-45D6-AB28-BF30E8D745A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cecc8abca1c48eff33dd2122ea080ed3787cd391","datavalue":{"value":"10.1016/J.TCS.2015.11.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264538$16E6CDBA-24B5-42E3-AED8-7D8DCE9CB68A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d050b83aa6ca6589ede4fa61bb7c420e4f2c29","datavalue":{"value":{"entity-type":"item","numeric-id":2789120,"id":"Q2789120"},"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":"Q264538$4ED6B0E6-E596-4CF9-9E3C-CA6BD4754388","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":"769526e3495ff96892b3772559f5b98d8c2d0708","datavalue":{"value":{"amount":"+0.8072896599769592","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":"Q264538$6335A98E-F5A3-4763-94E3-15F484580403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b46313e96ded14a961f1050baed759b7fe145be","datavalue":{"value":{"entity-type":"item","numeric-id":6177123,"id":"Q6177123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0c1555d17b1596f4f165bc9a5a38c4b8da5b32","datavalue":{"value":{"amount":"+0.7992168068885803","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":"Q264538$277D15CA-2A36-4510-A563-929F33DD7A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ece765e4ab3753f4eebb808cbf5a424c1e5bb3","datavalue":{"value":{"entity-type":"item","numeric-id":1709919,"id":"Q1709919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd26c6f62cf69b7bc7593d5636324609e37365b","datavalue":{"value":{"amount":"+0.7952038049697876","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":"Q264538$4BF40666-3603-49CD-B22B-C8743FB10D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc192a8980a778f7fa42f6e13d58591fc4a78c53","datavalue":{"value":{"entity-type":"item","numeric-id":3057214,"id":"Q3057214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5142aa708115d42a9613998dccd605169623c9ea","datavalue":{"value":{"amount":"+0.78909832239151","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":"Q264538$77846F7F-BB96-4557-B134-04DDD6ADA999","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modelling and verification of weighted spiking neural systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modelling_and_verification_of_weighted_spiking_neural_systems"}}}}}