{"entities":{"Q2985265":{"pageid":2995990,"ns":120,"title":"Item:Q2985265","lastrevid":58093146,"modified":"2026-04-03T18:51:56Z","type":"item","id":"Q2985265","labels":{"en":{"language":"en","value":"The Size of BDDs and Other Data Structures in Temporal Logics Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6715992"}},"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":"Q2985265$B58FED3E-FB59-46D6-811D-C976FB248121","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2268ebcea79a922b8538c7a87f9d24fe7d1d8939","datavalue":{"value":{"text":"The Size of BDDs and Other Data Structures in Temporal Logics Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985265$9AAA807F-2540-4440-918D-EC18C407E6A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4b40de402c14ad782ff50cf12f5335c3655c686","datavalue":{"value":"1360.68586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985265$43D50D28-7A8F-47CD-B0D6-0CADCA703B1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78e524b02a639b43c9eeaf41fbcd75564fef3aac","datavalue":{"value":"10.1109/TC.2015.2512872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985265$D0996E59-6756-41FE-AE27-53C4C3672A11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"937d3cb74d506f9dd054e2041ebfc9963f760fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1632546,"id":"Q1632546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985265$FCCD298D-ECA8-4B7C-874F-0E0035032D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0e56c25c2b7d0d8276bcdd33dabb0c16cbbccd","datavalue":{"value":{"entity-type":"item","numeric-id":202172,"id":"Q202172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985265$A17AF8B1-A9E3-4EEE-B52A-6981BFAEF7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa319edb343a88799f4301c6459138449825083","datavalue":{"value":{"entity-type":"item","numeric-id":202173,"id":"Q202173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985265$BD3E6FB1-0D6A-4C5D-A587-EEF2F3E058E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985265$5E50D8A3-E32B-41F5-A32A-DB6CD7918599","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985265$2300C265-9526-405B-B396-F3D132AE02F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f427fa2b65dee8d5bc7671b4d99f0a83cc7597e","datavalue":{"value":"https://arxiv.org/abs/1012.3018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985265$5E7CB338-82CB-494C-BE14-924E2E8A9595","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985265$35573F3F-F7F0-446D-A3B7-F515272798EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985265$F75AE893-15BB-4397-AC63-43D91C6C487C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea45e138798bb480d44fd2550e7571222bdc171c","datavalue":{"value":"6715992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985265$FFA63A60-3B69-4907-B2F4-337817816240","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":"Q2985265$D400A9DA-BFF5-46D4-BA14-1B1AF08172DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7192bd9d3391dae32941e9ee5a209727d8ece59a","datavalue":{"value":"W2344067679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985265$8BEC5AB3-F6B3-48CD-9AC6-AB51FFCBDDA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985265"}}}}}