{"entities":{"Q2234091":{"pageid":2244834,"ns":120,"title":"Item:Q2234091","lastrevid":54114713,"modified":"2026-01-26T06:52:17Z","type":"item","id":"Q2234091","labels":{"en":{"language":"en","value":"A design of GPU-based quantitative model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410650"}},"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":"Q2234091$C4E2317E-29E0-48AD-8EEA-27A4AB3AF778","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fbf03332893367443593d69150180df8e24a404","datavalue":{"value":{"text":"A design of GPU-based quantitative model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234091$C2BB447A-2BC4-4432-9B12-3EA057AEF5B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84a6f762690bbeea2c5d18b3a45a7e30e5633b2a","datavalue":{"value":"1472.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234091$C369DE71-216A-40CF-A153-EB31F22AF58E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40c2ea1274f20b12fd77a5324f36d87dfacb4d41","datavalue":{"value":"10.1007/978-3-030-67067-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234091$EB9C59BE-A07D-46B5-AF28-1B5F4D731150","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e57507c35f4ca94183703ddae4f33cafd6b23935","datavalue":{"value":{"entity-type":"item","numeric-id":2234090,"id":"Q2234090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$145F992F-48A4-4483-8D3A-A6A71C63C99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ac5d72dc82d80a692370f9be2d83e2596bf756f","datavalue":{"value":{"entity-type":"item","numeric-id":545131,"id":"Q545131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$7DE899FE-4C1D-4444-BC9C-DFF904DAB255","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234091$F21F20E3-5715-4E0F-8D53-4CF6820BF6DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234091$96A55188-5FE2-4397-B08E-D01C416E5BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234091$77BF0CE9-5C13-44D5-83F6-2426B602947C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234091$B306EE4B-6ECC-42D0-B89C-28505D0F7563","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2583ee7c86f07aea8eec0e4ff634867d54b99f60","datavalue":{"value":"7410650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234091$377111B3-DF39-4EAE-94B1-2603BD315DE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56783a1151b22984296a4a7b7dd58c2361823979","datavalue":{"value":"quantitative model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234091$4C940031-5B24-401A-B666-A83AA3A1A75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd78ecb343ea68c0a547ac8281f425e95d14c440","datavalue":{"value":"GPU programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234091$8DCB5067-A90E-4841-9F9F-4AE0F770E937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c729f66bffbc731c3d0a8126339d429ba7d9563","datavalue":{"value":"LTLC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234091$2670DD86-CDE5-41C2-9EE3-C789444F3F3E","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":"Q2234091$9A8A9045-6F32-42E9-8207-FDB6E441480E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"616960bbed073893800f19d5c98ea30791d56762","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234091$E9A3A99C-DDD7-4F2E-A9F6-246F91EC17D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5969472a7dccc1a2c1e9ae113ef99b634725663","datavalue":{"value":"W3119058056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234091$A6F13060-6D2C-4E4C-8A00-1D3BAE1FE3E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$A84CBA52-95B5-463F-951C-8C2DF0EEA9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$E0BF673A-B193-4E98-8C80-0F5A73B5B7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b008c6c6383fed186b24890209ff034f652c96","datavalue":{"value":{"entity-type":"item","numeric-id":1090655,"id":"Q1090655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$2AFDDDED-BBB1-4DC5-A5AB-ED5D383C7D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"317c769a09c4c632fc71dc52e420cf22c2093eb2","datavalue":{"value":{"entity-type":"item","numeric-id":3985366,"id":"Q3985366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$12A98F53-31AA-4381-AB30-E537EBFAC0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$729B17A8-D319-49A3-9D10-D2563F848C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abdd406e7aec40790f3fe183b128ec872cef1a6","datavalue":{"value":{"entity-type":"item","numeric-id":4724466,"id":"Q4724466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$6C600305-11F6-4FF0-8D24-B9999CE16CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$E3A92DB5-64EB-4585-AE73-768D37FF3CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$6EBDD5BE-3FCE-4F81-9AB0-EA70DC2BF0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$5E47F7D3-D88B-463B-A466-838856B5569F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$55FFC50F-58B0-45B0-8506-CF4751DBF934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$ADE15159-E646-4947-BB4D-A37709BB4B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea12181fbd7544dfb9b8e4733dbce4223cc0353","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$1E2FD5AF-235C-47D3-B068-BCA3F8970260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f719ece3bd7d435197cdea3754e2944a3a9b0c","datavalue":{"value":{"entity-type":"item","numeric-id":2982511,"id":"Q2982511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$A7BE55BF-9F2B-4923-9FD0-B53DEF1476E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$D0B18260-F42E-4BAA-B92D-114745785ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41189633afecf9eedd15c9b48c7f2659788d2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3951448,"id":"Q3951448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$2D89E88D-9B63-4050-8793-CD8CCC9F9D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8ad98750fcd08c9a8f3be99c0b013a08ae3ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5353268,"id":"Q5353268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$6AF6B787-F91C-41E6-ADC1-30CC50A53241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e771a2a22a6ff6f34da0aa40695132ac8b73926f","datavalue":{"value":{"entity-type":"item","numeric-id":4435806,"id":"Q4435806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$7C0ECBD8-44CB-480F-B7D2-0128458913B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86320745c8b3e3d93dabcbe6aac52dfebea53244","datavalue":{"value":{"entity-type":"item","numeric-id":4633562,"id":"Q4633562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234091$AC5E9C13-108D-4F08-A264-2FBD02551FDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5eeff6660afd4ae5fce0c7d59916550e7cf496","datavalue":{"value":{"entity-type":"item","numeric-id":2917270,"id":"Q2917270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed34c87761440a4b38f0fe041ee975b44f07486d","datavalue":{"value":{"amount":"+0.7435297966003418","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":"Q2234091$560B4D86-BA2C-4A10-8B1F-3AFE616318CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f3fe057d0f3bb8d567b67c11198a1bdbaeab49","datavalue":{"value":{"amount":"+0.7049513459205627","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":"Q2234091$A07F2680-F078-419B-BC83-34396254769C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469f0c044cb6f81a071ba53ae51d5457e901b67b","datavalue":{"value":{"entity-type":"item","numeric-id":5883583,"id":"Q5883583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5ad53a8fd6b2ee74951a5c787ee014e01ea2ed","datavalue":{"value":{"amount":"+0.7044344544410706","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":"Q2234091$E1EC01E1-79F3-47E5-A2EB-4AEDA8440EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a934526edff3395a0f9d37af0f9e74bc3a261f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3600466,"id":"Q3600466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315f3f8d9617d886e3ab9b4297165a59cc68bd66","datavalue":{"value":{"amount":"+0.6962276101112366","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":"Q2234091$22306986-51C3-4833-BC36-C5EEA8A8E6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23847a2e2316078da2302ff84b4d8ef0c7ff88ef","datavalue":{"value":{"entity-type":"item","numeric-id":2993083,"id":"Q2993083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3fda4bbe8dd1ceeb9dadb82d163cf72660abfa","datavalue":{"value":{"amount":"+0.6955890655517578","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":"Q2234091$77998F53-76E8-4FD5-8290-396FD5468D45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2234091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2234091"}}}}}