{"entities":{"Q4633562":{"pageid":6663143,"ns":120,"title":"Item:Q4633562","lastrevid":53411735,"modified":"2026-01-24T22:22:12Z","type":"item","id":"Q4633562","labels":{"en":{"language":"en","value":"BFS-based model checking of linear-time properties with an application on GPUs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050750"}},"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":"Q4633562$1906B656-1E7C-4E46-99C4-E811CDDB5ADF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b33bd64f9c1845fb0c11644a06ff702f4bbfad1","datavalue":{"value":{"text":"BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633562$8FBE66A4-7CAB-477B-AA0B-31BAA636984F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ff7cb8470e08868001233ced318e0151ea675b0","datavalue":{"value":"1411.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633562$ACF4FF27-791C-421F-BAD3-AA6D1FE175F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30461496ae97a64e7e003db78ace1d4261413ef2","datavalue":{"value":"10.1007/978-3-319-41540-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633562$D4213B68-B4EF-4194-B1A7-E3727ACA3072","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d5d00eac1f438bf35313cb9f725536972f2da5","datavalue":{"value":{"entity-type":"item","numeric-id":436407,"id":"Q436407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633562$EE63BA39-9B93-4DB3-9487-A0BD0238D080","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633562$74FADE84-426E-43CF-9174-E9A7745BF7B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633562$9ADF1090-E047-4C85-90D8-DBE162B2A124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633562$68C078EF-FB34-4148-937C-CEFD223097FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633562$1F2BDC4C-F464-478E-800D-97CD78C1BBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633562$52DB591A-C7A1-4FC5-B986-ED1E589652E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c681dcdc4234af815a03f829195982521f318c5","datavalue":{"value":"7050750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633562$93CB773F-0690-4327-8053-B9990C249BBC","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":"Q4633562$EF611C35-18D6-4931-8823-DAFC144D96A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1525b0cb2a3c2a2bfb4b2af9a4166250f0bb26be","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41540-6_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633562$CB1641A1-8CEE-4327-9B12-BD92A3435997","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ad2495fde922d33b5ec4e33c7ceea44aa87499f","datavalue":{"value":"W2489673379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633562$C0FCBD4A-2A02-42DC-911D-B95739508B98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821cad7f86625e66cba4b336c7949075487db8b4","datavalue":{"value":{"entity-type":"item","numeric-id":3172928,"id":"Q3172928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ed0e236b1e520205cfff5b78a8553d70a35d50","datavalue":{"value":{"amount":"+0.7155131697654724","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":"Q4633562$64118759-00F6-49A5-B37F-84B8E9F9BF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccedc3e28b0a17e72be8bd46d7c43af5d28225b1","datavalue":{"value":{"entity-type":"item","numeric-id":2431772,"id":"Q2431772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e477c873e08cd27c95246172c276adbc92ee0510","datavalue":{"value":{"amount":"+0.7071825861930847","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":"Q4633562$A723AB00-5F83-4E70-B6DF-12F8C8B6F27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de59a9144cb440fe17c35ade4d13579293683f8","datavalue":{"value":{"entity-type":"item","numeric-id":5039512,"id":"Q5039512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb3b3d86de994f6845b82a6894d02c9b1d36e3d","datavalue":{"value":{"amount":"+0.6918393969535828","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":"Q4633562$F08BC529-D465-4334-8EAE-36596BA09BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee5475d445538209c0f57fc44639337d59571f8e","datavalue":{"value":{"entity-type":"item","numeric-id":832281,"id":"Q832281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29bb7439d0b1313e1168d75e304694742421420b","datavalue":{"value":{"amount":"+0.6901591420173645","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":"Q4633562$2066C5E2-E041-4222-9FFF-8D405C2412DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e3caf2810f027439610cc878edf39f6b7d3f6d","datavalue":{"value":{"entity-type":"item","numeric-id":3172923,"id":"Q3172923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1bca93734f936a15fd36af7696cf7b2465b1bcc","datavalue":{"value":{"amount":"+0.6829216480255127","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":"Q4633562$6B5C017C-A835-49A2-8BB9-6E2D66CE0C64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633562"}}}}}