{"entities":{"Q5204376":{"pageid":7233947,"ns":120,"title":"Item:Q5204376","lastrevid":53609966,"modified":"2026-01-25T10:26:50Z","type":"item","id":"Q5204376","labels":{"en":{"language":"en","value":"Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7139706"}},"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":"Q5204376$64FF0D5D-039A-4AEC-B513-9C1DA771E4E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6659b2a1aabeed243cfe4f5a098278352469050f","datavalue":{"value":{"text":"Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5204376$36899738-FC2C-49D6-B24E-0A22B2F3AE2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b950cfc763aea8c5cfee87aa511a97aab3fca451","datavalue":{"value":"1428.92008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204376$93DD5764-639D-49F1-A87A-5EB035023145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3b09601b8c5b40bb49a6cacdf5c5624901fb260","datavalue":{"value":"10.1007/978-3-319-47151-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204376$CEDE3FAE-20FC-44AC-9627-D27B825349D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88937287c393b15a73dd1505a15ee6167f0be590","datavalue":{"value":{"entity-type":"item","numeric-id":533352,"id":"Q533352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204376$E11D2151-7A8B-4373-BE56-09678A8BB239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8211458f5bb0445ed4c8af293a35ac78aafaca78","datavalue":{"value":{"entity-type":"item","numeric-id":2034753,"id":"Q2034753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204376$4F945A3A-29AE-4FD0-AE07-E3376A6178BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bbe0314e27f783cc5cd4d48416505339395dc3b","datavalue":{"value":{"entity-type":"item","numeric-id":5204375,"id":"Q5204375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204376$DB4A0B15-9DB6-4BB1-BFEA-B95D94B762D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11de791d71086510ff65035acc4b238f6a4534c1","datavalue":{"value":{"entity-type":"item","numeric-id":2758307,"id":"Q2758307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204376$E60BA6C2-8097-4A8E-ACCD-D9FADF47E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99a353c2f46d99c8608cd7349ab22c5cacd11087","datavalue":{"value":{"entity-type":"item","numeric-id":1889210,"id":"Q1889210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204376$8BB87C06-EBC4-4C7A-B7B6-07F7093DE8F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02554036c55560af7a0999934afccbdc4c391508","datavalue":{"value":{"entity-type":"item","numeric-id":5204367,"id":"Q5204367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204376$2461BCF2-188D-41B7-9A7A-784C81F29CA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"332b7ab2f562de760e4211faf2f6e6ad840f3db2","datavalue":{"value":{"time":"+2019-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5204376$9A2AD88F-4DFA-4562-91AF-3ED681CF20D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6988a722b1ffcdb27383c70af8d005d386ec9a32","datavalue":{"value":"https://hal.inria.fr/hal-01377288/file/DMGRG16HSBfinal.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5204376$8D63856D-8FB2-40E6-86B8-5049032BFEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1036f063319a8221441e907e3d05776a3a2df2fe","datavalue":{"value":"https://rd.springer.com/content/pdf/10.1007%2F978-3-319-47151-8_7.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5204376$00CE6FC6-8C91-488C-AA20-D5FAD75573E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"998e2315eb586146fa99a11c3609a6857593a7bd","datavalue":{"value":"92B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204376$FF19B258-3C3D-4E6B-A557-983CCAD58035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c061e4e7ae883786725eafc8628fcf7f3e822514","datavalue":{"value":"92-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204376$10985094-5AF4-4ED8-B415-FDF20C532F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d1f357130b885564de2a7f813fae2f00846119cd","datavalue":{"value":"92-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204376$D01F2CBE-FDFE-4710-8325-BC58690BA4C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69e9f284889b87bb71a022c358409a1f4b5736c7","datavalue":{"value":"7139706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204376$75F1EFEB-D9EF-4ACD-B72C-ECC6DA2244C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa905a854cb732b7bd1ebf847ddafd2c71a16c17","datavalue":{"value":"neuronal network archetypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204376$28F3B4D4-3706-44A4-B962-68DA4607921F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc0e5a8d6410b651dd3b743906e7e68aa4ef591","datavalue":{"value":"temporal properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204376$76CAAB4A-F7FF-4F5D-B4B5-DA12881E2AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be7df4ddad075a50e99d70c21d0d005fb8706e46","datavalue":{"value":"synchronous programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204376$B0B89860-4D74-4463-8E7C-3D523989ABBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204376$7072FC95-7C55-46CA-A2D3-60AF488FF0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204376$E1C32885-93A8-454B-BF76-6E8C77D6FA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204376$64FCD85F-E938-431C-B37D-FA0111060651","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":"Q5204376$3E6F3A1C-86B2-435C-8D8C-743D83AC5661","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc8c6cb3f36fb8b604e579b241b2abb65c8ab712","datavalue":{"value":"W2527059948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204376$0497018E-67C6-4CE1-B691-BEDCFD795723","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0046a02ae06077b5e7d7c2229922eb94f1d38050","datavalue":{"value":{"entity-type":"item","numeric-id":736844,"id":"Q736844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0181ede2cbefee1ad4d2cb6b9d88847343f78d0","datavalue":{"value":{"amount":"+0.7107760906219482","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":"Q5204376$5267A7FF-34A0-4CA8-B26B-204428FADF19","rank":"normal"},{"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":"d47d71b6e14b210b2537d6a514964e5e0ddc30cf","datavalue":{"value":{"amount":"+0.7071481347084045","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":"Q5204376$86583706-A319-453F-BFEF-C24AA2228ABA","rank":"normal"},{"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":"e4b1acc8d36e2b9d439491d00452fb48e8d285f2","datavalue":{"value":{"amount":"+0.6757704615592957","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":"Q5204376$8246145A-F418-4CC8-AD10-5CA97728C74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d5f73131ec9c962c859d39e5c332be3f5975be","datavalue":{"value":{"entity-type":"item","numeric-id":4601137,"id":"Q4601137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d381424b7253ff895228c05d833c1eee5b7d50","datavalue":{"value":{"amount":"+0.668946385383606","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":"Q5204376$299D3E60-9891-41B2-ADA4-5B806917002C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44fa43e6c23b1fb2cf5a5b2880ef6ab1edfd980","datavalue":{"value":{"entity-type":"item","numeric-id":5440976,"id":"Q5440976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f22468b8caadf896e6fdd1b4093c36e5311839","datavalue":{"value":{"amount":"+0.6635526418685913","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":"Q5204376$1E2B12B9-A2B9-4F36-B4A4-94C97AC33A5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5204376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5204376"}}}}}