{"entities":{"Q4518905":{"pageid":6548498,"ns":120,"title":"Item:Q4518905","lastrevid":47540857,"modified":"2026-01-02T00:51:39Z","type":"item","id":"Q4518905","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538049"}},"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":"Q4518905$742CF896-63B9-4AB0-B58B-61607E2FA948","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"164ac156df7626789e91a2064fba1fe67e2dd9a1","datavalue":{"value":"0960.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518905$BF3764DB-585E-4106-9A9E-3C360025B3E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1aa702799bba8332feed35d198b58d4c2e376e02","datavalue":{"value":{"time":"+2001-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518905$A8D13308-FDE6-4C91-B9D9-DF5F3D691E8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518905$95A55253-E247-463A-9B16-F4AEEE2A8A8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee0b7b98906f4cccbeec4651ebc1febe7a97c1e5","datavalue":{"value":"1538049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518905$6A763625-8B78-45BE-959D-3DC5DE92209E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef775fa4a8a42a901cda4a920c88bf101dc29b5","datavalue":{"value":"multi-terminal binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518905$06AF6919-8547-483E-AF19-C8036065EEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518905$EF8FD08F-87B8-47B1-A3C7-F2E42F305F1B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518905$A87EF38E-3DEC-4B55-AAE7-D028B25369F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b162e2daa36ead60b6c1867f2f7a0d97d3f221c7","datavalue":{"value":{"entity-type":"item","numeric-id":15719,"id":"Q15719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518905$51F1B554-83A0-4538-8DB2-A2CBA271F19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0750b58cff41e1eb671e27cb1f36ed3aa680fc2","datavalue":{"value":{"entity-type":"item","numeric-id":16284,"id":"Q16284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518905$D633296F-5F47-40E8-A72E-2F4DF6B2C474","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":"Q4518905$B0466553-D32C-4AEC-9DB5-07CA77FB3789","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89da0729a847f4865c3e8aa8ea876ecab447aae1","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acaf1bd9f6e25b23a02c64a17d5330645d6807f9","datavalue":{"value":{"amount":"+0.8702700734138489","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":"Q4518905$B548C83C-6607-4748-9E25-AC9E988B6C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"812d125fa86f272b4a20429bb2987734b841d548","datavalue":{"value":{"entity-type":"item","numeric-id":5491879,"id":"Q5491879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3672777c01e22abf3369db425dc315374fc9af1d","datavalue":{"value":{"amount":"+0.8200201392173767","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":"Q4518905$ABE7671F-DAFD-4AD7-A42D-D0A89E054AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b28be15f4094b77ff04345904a366f4adf8cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab69eb3891438ce795ef34d8e3090d1b6e8ff706","datavalue":{"value":{"amount":"+0.8149611353874207","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":"Q4518905$CD6BA914-3969-4748-AEC5-7DA44F0967D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad2432244288313a894ee17cc37193992c15014","datavalue":{"value":{"entity-type":"item","numeric-id":5325841,"id":"Q5325841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d2f65b4c0bb7469bc3583b8b83e6080c6ca80a","datavalue":{"value":{"amount":"+0.8010250926017761","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":"Q4518905$7B86AE0B-2E52-4C96-B7F5-0938191064BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a431259e6fe161b6b274eee0965cf3a761ad10a","datavalue":{"value":{"entity-type":"item","numeric-id":4798030,"id":"Q4798030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a3ae09f8a252c7afb81251a62aae88ad4ddc9b","datavalue":{"value":{"amount":"+0.7897650003433228","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":"Q4518905$EB5049A4-E3BA-4603-9851-0E932292DECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518905"}}}}}