{"entities":{"Q6202079":{"pageid":13336966,"ns":120,"title":"Item:Q6202079","lastrevid":93995618,"modified":"2026-06-05T05:37:43Z","type":"item","id":"Q6202079","labels":{"en":{"language":"en","value":"Quantitative Verification for Neural Networks using ProbStars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7807945"}},"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":"Q6202079$1AB8DA1E-B354-4C38-8E33-798CED43DA09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfb0562e116b1ac3336f0490926074d60cd26331","datavalue":{"value":{"text":"Quantitative Verification for Neural Networks using ProbStars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6202079$BB6F1049-60EF-4EC0-9D25-3899334EBDA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12abec3f6e8b17883a3884bdfa4938dbbf07cdc7","datavalue":{"value":"10.1145/3575870.3587112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202079$2F18B841-1A1F-4A61-8EBC-80D5A237502C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e6981264371a222c260c51150751e6b6f45dc","datavalue":{"value":{"entity-type":"item","numeric-id":832174,"id":"Q832174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$54426B36-912E-42BA-B765-C0A2A6EAB199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec6cecd5088e354d76f5ab5b43752b4f306965","datavalue":{"value":{"entity-type":"item","numeric-id":361192,"id":"Q361192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$07F6AEE6-B58C-4A0C-901C-FEB7F07F3E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea4837ae94e63407c41b7a1ffd3d28f0f0efcd81","datavalue":{"value":{"entity-type":"item","numeric-id":6202078,"id":"Q6202078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$905035E7-135D-4C38-8E7F-77A8D6CA9B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd65a8879ed8c832955e8638aa0382303230a492","datavalue":{"value":{"entity-type":"item","numeric-id":2112122,"id":"Q2112122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$ABF6E280-F2CD-45EF-A441-12E5B8A339E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e4f6b14f5ecf0170410995e1646547ad080542a","datavalue":{"value":{"entity-type":"item","numeric-id":732014,"id":"Q732014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$B56AFDED-940D-4213-BAA4-554335ED0163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2762324144432692398efcad459f75a922af752f","datavalue":{"value":{"entity-type":"item","numeric-id":2112123,"id":"Q2112123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$FCE4859C-3E4C-4988-94FB-A823BD83D843","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb2f198d23bf9650c0fcd84bd7988a6354cb1f28","datavalue":{"value":{"entity-type":"item","numeric-id":6202072,"id":"Q6202072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$3DA7F412-E743-44CF-8AAB-55381173B1EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53360f7ab3681474b85d2627dbbaf9766814842d","datavalue":{"value":{"time":"+2024-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6202079$2649311A-FD60-4C6B-85A3-1FDF2AF760DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202079$9C681315-82B0-46FC-91CC-D76716A30E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202079$EC836548-CDC4-4968-9E67-42D84F78355D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202079$1D9ED11D-11DD-451B-9611-D6E108059D2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d38c4bf1f04f7d809986eb00eeb2f568a09e450","datavalue":{"value":"7807945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202079$74720FC1-5BC7-4CCB-A936-DBFA329F47DD","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":"Q6202079$D2723AD2-5297-4193-9B23-87D911109B87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79de26695e82e0d7b0e07a9b61ea7c5fdb1058f8","datavalue":{"value":"https://doi.org/10.1145/3575870.3587112","type":"string"},"datatype":"url"},"type":"statement","id":"Q6202079$467CA900-C93C-4C0F-9FFA-4AB0AA227685","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4727d1d265ba61338af928860c0482ae5464474c","datavalue":{"value":"W4375852012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202079$7AC9F4A3-824D-4086-A4F3-716E03262CB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75611f0714f7b5295f4061c945878f6fe817c818","datavalue":{"value":{"entity-type":"item","numeric-id":3303914,"id":"Q3303914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$70DB9A75-934D-4B4C-99E8-762AC02CA660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4210c8aea09880546d29e9e230c6a0170c66e8c","datavalue":{"value":{"entity-type":"item","numeric-id":2151263,"id":"Q2151263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$39E9A2B9-1EEA-4E33-BD5C-A59ADC440C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3971371b90a9c3399b1543fbb0799c60a386f29b","datavalue":{"value":{"entity-type":"item","numeric-id":2225077,"id":"Q2225077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$B68C7803-81E6-48CD-92DE-7F35C6409F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f66cc009c3f39845e416a947dfada1e7f78672","datavalue":{"value":{"entity-type":"item","numeric-id":5239215,"id":"Q5239215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$57379F63-C7A9-4C02-A6CA-150EBA194695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436b9596e0b1c02f2f5d43923938d68d83144f03","datavalue":{"value":{"entity-type":"item","numeric-id":5378158,"id":"Q5378158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$C46C49D6-2240-41B3-A62B-E4E3F77A24F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ccbd6e154af64b688640cfa7069952b1451025","datavalue":{"value":{"entity-type":"item","numeric-id":4633548,"id":"Q4633548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$1BB45496-916E-47D4-8A90-5D9FFDAF5D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23ef8e6a9e622e6b393d8e76b8cb5af8306781e","datavalue":{"value":{"entity-type":"item","numeric-id":5239249,"id":"Q5239249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$32AD6691-2AD4-4978-81A7-EDBC2150F362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe0410e1201db1f1ac1c349cee58665c3f2b1b7","datavalue":{"value":{"entity-type":"item","numeric-id":5033991,"id":"Q5033991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$78B14255-25D5-4E20-8146-1FB6F6B0F7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4570e8b571c59dea29543241760ab8273a73422","datavalue":{"value":{"entity-type":"item","numeric-id":1022028,"id":"Q1022028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$88823A88-B925-4929-99CF-26BB68E852BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59c28d8710d18bca6b895a72a8846df13678ed2","datavalue":{"value":{"entity-type":"item","numeric-id":2957037,"id":"Q2957037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$0F8D49C7-5A19-4FFE-ACBF-1FA4EBB139AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486aa65e03e0326d20b4ed3ea97a80fca13e0ad8","datavalue":{"value":{"entity-type":"item","numeric-id":2145327,"id":"Q2145327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$55AA0143-76EE-4946-BCFD-810E732F5300","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":"Q6202079$77AF4494-44C3-44C9-B657-5EB5CB4BE979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763c291ff2ba9310c8ef7eb25800bf72343cf19d","datavalue":{"value":{"entity-type":"item","numeric-id":2181945,"id":"Q2181945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$C713CF7B-AA82-4A83-B2CC-07B89C7B0009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e380f0634e7bb742b5e5f5caa3a75eb92cf878","datavalue":{"value":{"entity-type":"item","numeric-id":2225072,"id":"Q2225072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$9D7E130F-1CD7-4213-AB91-93E408F831E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ee42901b22d969f8874cb9eeb86510bc74225c","datavalue":{"value":{"entity-type":"item","numeric-id":1982635,"id":"Q1982635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$79639AE4-E40A-4808-9CBF-491AF48ADBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627334195505159406ab26372b23e8a91a7042ef","datavalue":{"value":{"entity-type":"item","numeric-id":832180,"id":"Q832180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$4F59F86B-3C6F-4BED-8FC4-18470482690D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897aea0737ba2cbf934fefe5264eec0ea198894b","datavalue":{"value":{"entity-type":"item","numeric-id":2112124,"id":"Q2112124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$FC41DEA9-26F2-4EDF-8095-3B19E84B9394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157696da9e45501273597c000bbfb9dc158b6a94","datavalue":{"value":{"entity-type":"item","numeric-id":5146374,"id":"Q5146374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$547F2BA7-D429-4404-BFC8-FB778DB81201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d08af5bebe8165c58cfdfdfdae462c48cfb5f90","datavalue":{"value":{"entity-type":"item","numeric-id":832164,"id":"Q832164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202079$8368E526-BEC2-49C7-B6C5-BF72152EBFB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantitative Verification for Neural Networks using ProbStars","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantitative_Verification_for_Neural_Networks_using_ProbStars"}}}}}