{"entities":{"Q4493882":{"pageid":6523475,"ns":120,"title":"Item:Q4493882","lastrevid":47017122,"modified":"2025-12-26T01:34:13Z","type":"item","id":"Q4493882","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1487478"}},"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":"Q4493882$06C69438-8BF4-48EE-B419-B47EFF17BBB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69e96490c71cf9073c393404389ac1a9ce47042c","datavalue":{"value":"0954.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493882$2701EFBD-8C43-48B0-B739-52589508B0B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bafd0a242f5618ddbbc7ea213aa39f63850788f","datavalue":{"value":{"entity-type":"item","numeric-id":436374,"id":"Q436374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4493882$0F7E7B78-9A54-49F5-83D3-7250A1A2AADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41ff793006ed21724f5b5b06ca942859b3f3dca2","datavalue":{"value":{"entity-type":"item","numeric-id":436378,"id":"Q436378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4493882$9EE1A72C-4464-420F-BB76-538754B78332","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73fe45a81271f1e06047daf6368e7c43c5b4b14d","datavalue":{"value":{"time":"+2001-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4493882$89EAB5DA-224F-40E6-8A81-944D1880DB44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493882$D7D7E801-8F4B-47C5-826C-4A0D12BD2B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493882$B35BD76D-E73F-4DBF-BF63-425430655A53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05dc53bd48ed9a68e3f8022fec2c4710b286110c","datavalue":{"value":"1487478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493882$80CE2917-0FB7-4C42-BF39-E69EBC2E84BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493882$1B4F2B65-48A1-457A-9DFA-41F2D6FD9C20","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":"Q4493882$ED0878CC-5D32-4CEB-93E4-97D33ABC5AC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08096874d84d76b94a92889a89186e2e223c171a","datavalue":{"value":{"amount":"+0.8549752235412598","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":"Q4493882$F2F592E7-20C6-4D93-ABF6-F75AD2ED1B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c056afd842b97e6aa0d3161a9d29a31b083144","datavalue":{"value":{"amount":"+0.8440216779708862","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":"Q4493882$2B965675-A804-489C-A50B-31BA7F67F03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49889eaa14e1e79792df2f7fee33e78df0c895da","datavalue":{"value":{"entity-type":"item","numeric-id":4808748,"id":"Q4808748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f761a341a4ea5c0c65d0b03c3077d4c1fd9b4c","datavalue":{"value":{"amount":"+0.802261471748352","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":"Q4493882$1C2DB25D-535E-44F3-81E8-0327C29CEEC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4493882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4493882"}}}}}