{"entities":{"Q6132487":{"pageid":13266794,"ns":120,"title":"Item:Q6132487","lastrevid":55475833,"modified":"2026-02-17T17:17:03Z","type":"item","id":"Q6132487","labels":{"en":{"language":"en","value":"SMT-based modeling and verification of spiking neural networks: a case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728613"}},"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":"Q6132487$DE4CD8B7-604E-4FD8-BBA5-EF690AF3E78F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f59a146ba279b52a9eb396375f30179d0b1d961e","datavalue":{"value":{"text":"SMT-based modeling and verification of spiking neural networks: a case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6132487$5BAD68BD-0B4B-4417-900E-BA26088B115C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afc514161dcf8767cce6ff8e67c710fa3564c447","datavalue":{"value":"1529.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132487$C8AF8ECC-170A-4831-8569-358924711699","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9744af54157ae4b77ede55e908a96720ace19ec","datavalue":{"value":"10.1007/978-3-031-24950-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132487$D003321B-CEE7-4505-9A1D-3FB3C29B7FA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bd5fe525709951ee2d493121ad74896d5477d21","datavalue":{"value":{"entity-type":"item","numeric-id":6132485,"id":"Q6132485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132487$FBD6E13B-033F-423F-8D11-61F5B30BFFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0eed56116f61c6f2e59838bfe9ce0c771d70091","datavalue":{"value":{"entity-type":"item","numeric-id":2095420,"id":"Q2095420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132487$E89160D4-90D5-4D3D-BCAB-05BD89DD071A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d539dbb3b8ab08d2de86511ba8a2a70cdecb472d","datavalue":{"value":{"entity-type":"item","numeric-id":3564032,"id":"Q3564032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132487$ADCA87EC-6DED-442B-B876-C8FCA174CBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c78049ca74e53e42a7cb5473feae6402b5128645","datavalue":{"value":{"entity-type":"item","numeric-id":6132486,"id":"Q6132486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132487$65746DE0-0E66-40EA-A457-71C6144A1161","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132487$D28958C9-2FDD-4F11-80FA-CF5410E98D23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6132487$80D874C1-6F92-46CE-BEA6-7A7E54C346C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132487$693B6AA6-9F8E-4C8B-99F3-8D344C6EB674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132487$28612BAC-C454-42B7-ABF7-1AD0B2BFFD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"998e2315eb586146fa99a11c3609a6857593a7bd","datavalue":{"value":"92B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132487$0D7EEFEF-2ED6-49BE-A736-F841133F93E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96948580cc3860a63812c64bdf18619742960d6b","datavalue":{"value":"7728613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132487$DD4CD54F-1681-4630-A622-5F0C896AB931","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f159751afbba31bb29ff5719b91e67211b95fd64","datavalue":{"value":"spiking neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132487$5D8E372A-3409-49A1-B506-E364A7E8364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8daf9b2a0058692665d0c45ec7b53d7ff6b82e","datavalue":{"value":"satisfiability modulo theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132487$61F6838D-EDED-4301-8D7A-1C8B1345D973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132487$9673A786-A0AD-499B-848E-DD2ACC528307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492669fac6824e722fb7d8be4425299c990008b5","datavalue":{"value":"adversarial robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132487$42CE171A-5598-449D-A6C5-26E99BFA4C96","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":"Q6132487$5E4DB787-C9F8-4385-A953-25B8A776E879","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97c3a6e891bd0dd63f32a4c476491314caa64987","datavalue":{"value":"https://doi.org/10.1007/978-3-031-24950-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q6132487$DE237792-24E0-406A-B0CB-DCC5B775132C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"874a8868b24eb8b4b63046193ee15e81f13db016","datavalue":{"value":"W4316662741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132487$38B324F0-7ACA-482F-968D-AC24910DCE6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0677d986de7ae767d3696ee3197efa0dd10513","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132487$33A570AB-2B30-472E-A871-909363870AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a1c3369545e5ddce519a664fd97e0b067e6d39","datavalue":{"value":{"entity-type":"item","numeric-id":264538,"id":"Q264538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132487$523F8238-AA83-42D3-8850-C89B948938D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98fd04aed1b0feeddb5a121c7e7a0cce483a0937","datavalue":{"value":{"entity-type":"item","numeric-id":5204376,"id":"Q5204376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132487$9B129442-07B2-4D36-B964-DB75D4564B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63598ebd52d831a12f353a583aeb504550a49674","datavalue":{"value":{"entity-type":"item","numeric-id":2225075,"id":"Q2225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132487$AB71EEAD-A745-45B1-91F9-56C5F0975390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d76610be2db7a475aae1f8e37aec5be549c297","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132487$F3CD61EC-21F4-4826-B09E-BE4BA6028A14","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":"eead8d89a6f49c5dadcca32d40505d2219596964","datavalue":{"value":{"amount":"+0.7023491263389587","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":"Q6132487$A58BC33E-104D-48E0-8A74-0591E79A36E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71747c8b5a1980e1c095dbdaf8e3c027b0210879","datavalue":{"value":{"entity-type":"item","numeric-id":6086539,"id":"Q6086539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619e0fc7e54d11aa0ca781e987ec1e1def14a6bb","datavalue":{"value":{"amount":"+0.688447117805481","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":"Q6132487$2F19E133-17F1-4838-8EC9-D52531E9F571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d255e7e0e01cb75eb5d88ce4574a4c8cd815ed84","datavalue":{"value":{"entity-type":"item","numeric-id":2179832,"id":"Q2179832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cea8f7e4caab5b2be3ba02b1eeb45a8d6bd2419","datavalue":{"value":{"amount":"+0.6873888373374939","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":"Q6132487$5D851903-122B-40C6-914E-740C37028871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb6b3a002d436dca1aca638e99dfa0a760274bf","datavalue":{"value":{"entity-type":"item","numeric-id":3164970,"id":"Q3164970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17beb105403814bc65342eb9cd7979acb6fc4000","datavalue":{"value":{"amount":"+0.6870208382606506","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":"Q6132487$3629F6B9-130D-4393-BC8F-7E64E30AA997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f1e56ef15a676956e05c569dd1f1a194309f8b","datavalue":{"value":{"entity-type":"item","numeric-id":2233508,"id":"Q2233508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c459bf3fdd56fab856de2b42151a266661ea44e","datavalue":{"value":{"amount":"+0.6854071617126465","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":"Q6132487$56B148DB-B3A2-49AF-B7CE-C63C8A005577","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6132487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6132487"}}}}}