{"entities":{"Q4461759":{"pageid":6491358,"ns":120,"title":"Item:Q4461759","lastrevid":48267688,"modified":"2026-01-04T04:24:52Z","type":"item","id":"Q4461759","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2064232"}},"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":"Q4461759$148871B9-3413-420C-B3A4-7020F22F8473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17f77f9aad974627cabe8ddb8d8fa90b3e18ebcc","datavalue":{"value":"1111.68548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461759$D782F0A5-21FC-4256-A53B-87E73A531C31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9edd92e42a7c65f96b325af59203586c0e1cff0","datavalue":{"value":{"entity-type":"item","numeric-id":1028969,"id":"Q1028969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461759$27DCD397-7926-44EC-AE21-650609957237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461759$23632663-B91E-413E-B7CA-95A2DCB073B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461759$D7D0303A-82B7-4615-B4FC-99226D0B936A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f2c658547352f67a9de92adfcc83c5224bfe428","datavalue":{"value":{"time":"+2004-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4461759$3E0C0D09-88BC-4539-86C0-38B33C42F399","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461759$5D2F6D4E-1B00-4EE8-A703-0A38C7B15C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461759$6F9C641A-389E-4DF9-903D-D80CF368C28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461759$76904731-E4EB-4C50-AF02-4D354E386200","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a130000d64ff3e0a8ba221730c85278c2c45a2d","datavalue":{"value":"2064232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461759$5D450CA4-3E96-404D-BBC3-C3E3D2D6C338","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab8bd431839a8a3a61c940d2b04e6b5bd6efc5bc","datavalue":{"value":"forward reachability algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461759$B3975FD2-B63E-4481-8E88-2EEEAD0ED141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461759$E01C61E3-A18A-435D-BF12-FC01B051B077","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461759$CDDDA26E-D753-48AB-AEA1-747545AF0491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461759$47887B16-148A-46DB-B554-C76F40E7798C","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":"Q4461759$A1B2B971-9AE8-4EF6-BA6B-FF64B4D5FF86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cb91bc238bbdcc6684bf1464f7199647115521","datavalue":{"value":{"entity-type":"item","numeric-id":4818755,"id":"Q4818755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957a4b95dbdf523ba84f09422887b5cd0d90ee62","datavalue":{"value":{"amount":"+0.9138864278793336","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":"Q4461759$9E8FB63E-3E14-46D2-8F0F-DBA6893858FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2112e421e7ddbec62d4191922a7cf6343287e1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5422299,"id":"Q5422299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e818dbcb81b7e2bfda7620c3fb13a73b107def6","datavalue":{"value":{"amount":"+0.87398362159729","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":"Q4461759$6DEE68C7-37DA-49A7-9EDD-5C4B6436C954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e244f5b716ed80b5a4c3245d1648cf1a253547","datavalue":{"value":{"entity-type":"item","numeric-id":4461758,"id":"Q4461758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eab07f843f38a5c3d22d56b4cd94b85c4d31d69","datavalue":{"value":{"amount":"+0.8587663769721985","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":"Q4461759$D8A10FEA-4CAA-40AC-8C79-2BFA041868B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07783b54ad19fd3d0569cee41ef766e612cd21d","datavalue":{"value":{"entity-type":"item","numeric-id":5472953,"id":"Q5472953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b0e299b006a049a948fd8171117c5935cfa869","datavalue":{"value":{"amount":"+0.8544012904167175","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":"Q4461759$7A20F7BA-80D8-4C0A-B6D1-BB6EE96E37E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a501172b5a831b201d5b0fe641a04ff16bc450d9","datavalue":{"value":{"amount":"+0.8453830480575562","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":"Q4461759$08D7B82C-3046-44B6-8279-07DC19FEBDE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4461759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4461759"}}}}}