{"entities":{"Q4647854":{"pageid":6677435,"ns":120,"title":"Item:Q4647854","lastrevid":51590891,"modified":"2026-01-18T23:10:02Z","type":"item","id":"Q4647854","labels":{"en":{"language":"en","value":"Improved BDD-based discrete analysis of timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103237"}},"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":"Q4647854$2C9BD408-8AD6-4B2F-BB6E-A5D43F44E393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7628743ef8fec26d3f61eed14f5c6e1f3e8ef8b","datavalue":{"value":{"text":"Improved BDD-Based Discrete Analysis of Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647854$1F922F2B-753C-4A32-A64C-718CED9589F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db1f05fed21db36cd252f8a7825b563a512b6c9c","datavalue":{"value":"1372.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647854$A8D0C32C-FD10-41EA-A45C-F36ECD017CFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcc22bcc6a01c3ebbfea58f4d9291e2686eba622","datavalue":{"value":"10.1007/978-3-642-32759-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647854$DF78B049-DC3F-4D6E-B3F6-C6514B3434DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ea9287bf1fd5431fedd8686d6a1f71785c0cff1","datavalue":{"value":{"entity-type":"item","numeric-id":2796069,"id":"Q2796069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647854$2BA5B896-EA72-42E4-A8E9-A8427ABD9ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647854$8C9BF505-972E-4BDD-9621-6D1700564888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3208ee20c85d475090d794dc3c7087da944dc6f","datavalue":{"value":{"entity-type":"item","numeric-id":488228,"id":"Q488228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647854$54AC522C-19F0-41C1-A36F-F3B523C37E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c058afea036303a407f9ed86b611b84df43ce2d6","datavalue":{"value":{"entity-type":"item","numeric-id":488230,"id":"Q488230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647854$5609667B-6B85-4F98-B980-FB3FB3D29039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2beb16ea0e441efbd6510c272ce82c6d3ea4823","datavalue":{"value":{"entity-type":"item","numeric-id":287406,"id":"Q287406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647854$933942C4-D4EF-41A8-8B55-3148248145CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47b8cd0ec3e8f1eb6cea8b605a2e9da8ee4c97b7","datavalue":{"value":{"entity-type":"item","numeric-id":4647826,"id":"Q4647826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647854$10421B9E-1AB8-4CF7-B4CC-60A53A912A9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647854$C48E274D-471A-4C9E-A92F-40A11F841D89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"793fbe5861072550f180daad2540db47cdd7d0ff","datavalue":{"value":"http://hdl.handle.net/10072/172909","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647854$72D1336D-B913-4E7F-99DD-73BAB1CB1DE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647854$16011944-B411-4566-BA04-D7A815A45177","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"316c2a0d7e1df8a3644e03e8af42343c481a7916","datavalue":{"value":"6103237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647854$B574B91A-F4CE-4629-80B3-8215AD4695C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647854$0C2EA4A9-4624-483E-AB4D-551EACFA0F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65c5f2bc4e1747adbbdeaa77db7bff22e1616538","datavalue":{"value":{"entity-type":"item","numeric-id":14057,"id":"Q14057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647854$0AB5FA28-5837-47BC-9D78-11E95C270A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647854$892EDFAC-1CCC-4DC0-94B7-EA537B152E33","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":"Q4647854$963C8C58-33BD-41DD-BA07-5684A2237D9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8698459f8b1021ab1443756c82fb671ed2da4e0f","datavalue":{"value":"W37658565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647854$9FE352F8-70C7-4D8F-85DA-71928E1D663C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca8be76d3c069a93a865cbc7e0454da5700aae4","datavalue":{"value":{"entity-type":"item","numeric-id":4255572,"id":"Q4255572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba5a82986d97fed577b8fab02c88d2c3dc69640","datavalue":{"value":{"amount":"+0.7976139187812805","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":"Q4647854$F81441D4-FFA0-474C-A74B-9C720236AA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba7b13c3622cc6c7ff0fa6779909c79e5ffa820","datavalue":{"value":{"entity-type":"item","numeric-id":3614852,"id":"Q3614852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3546ff4ccf0e193eed0295a836d2fd8f4e21a4ba","datavalue":{"value":{"amount":"+0.7849699258804321","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":"Q4647854$F085B982-9F6E-4864-A9DB-B5BFE98FD05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd691951a15260430e2afb9101ed58f05c7e423","datavalue":{"value":{"entity-type":"item","numeric-id":4787215,"id":"Q4787215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b396bc053ec556d1e3865e9a683b56f35455633e","datavalue":{"value":{"amount":"+0.7779067158699036","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":"Q4647854$C180126F-B263-453E-A87B-FA685D466329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d10c5b37687ed54473b7763b4e0c3a0140dd69","datavalue":{"value":{"entity-type":"item","numeric-id":1858438,"id":"Q1858438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc837fb9e5067a95a0139c50929bc02f1dff956","datavalue":{"value":{"amount":"+0.7745072841644287","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":"Q4647854$2E9BCA87-0BE7-48C1-8B28-D5315F72FB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d742864bf8258867c6753b085cf5e8ce970a6aaf","datavalue":{"value":{"amount":"+0.7703967094421387","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":"Q4647854$CCA55A5B-0DA8-48D3-B001-6E0679206197","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647854"}}}}}