{"entities":{"Q4252522":{"pageid":6282123,"ns":120,"title":"Item:Q4252522","lastrevid":40778586,"modified":"2025-04-04T16:10:48Z","type":"item","id":"Q4252522","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1305704"}},"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":"Q4252522$0480A7AE-2A0D-4067-A11B-D55DCB887635","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3901c49d9326b166917fc5e0dbc9ba318951637f","datavalue":{"value":"0916.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252522$4B0F26AF-A6C6-4877-922B-09D59F783BD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8772e17b45726a7a4057c2fc4b665ed88724c35c","datavalue":{"value":{"entity-type":"item","numeric-id":359983,"id":"Q359983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4252522$FABCF7E3-9096-4A2E-84DD-50C200F1E41C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"641f83e1b8c9394b4305abfb8491fe0a448b416c","datavalue":{"value":{"time":"+1999-06-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":"Q4252522$2FDBAF68-BF2C-4DC4-9415-DF5CC9E479C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252522$10A88B8A-881B-4F16-8C38-895E62396973","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78726c4e6a854f0fa7e50702ddbb188a00181ead","datavalue":{"value":"1305704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252522$AC5913A4-27B6-472D-8B1C-8370DC883672","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2857ab6964eb53e985f28a7fd8b26fa64fb5bc01","datavalue":{"value":"conditional planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252522$DCBBACEE-DD3B-43AF-87AC-2B00691E8B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a62e2cb39256ad8be350d962a6c33b3f71b69432","datavalue":{"value":"theorem-prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252522$5513E532-AFE6-4D5F-B2CC-724D8307368D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"503825d68ed5a35842f88c1c76dc6088e21c1efa","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4252522$E1021340-BF99-49C9-8404-04D9FF2D7F01","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":"Q4252522$00B4FC7C-C075-46BA-99C6-31952CDB820F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e911c3c066298dbd84b6eb208bd4486b1125f600","datavalue":{"value":{"entity-type":"item","numeric-id":1978018,"id":"Q1978018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a61810eb6f104444476587290aa2f62b4ca4f54","datavalue":{"value":{"amount":"+0.8930474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252522$FC9DF273-D51F-4C66-B867-48F2BFDC6FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1dca709569140b84d7e049adc1c49a8f192f64","datavalue":{"value":{"entity-type":"item","numeric-id":5012541,"id":"Q5012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f75255346c7604be7a1211ba8507b21314f45f","datavalue":{"value":{"amount":"+0.8905682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252522$B3AC6C33-215E-402E-910A-40EFC8B4BCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188ffc0c120ea46f9002228f0f36b2bb5a782624","datavalue":{"value":{"entity-type":"item","numeric-id":1802077,"id":"Q1802077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59dbe55004fa7e646b0d0bd18350f1d927cf94c0","datavalue":{"value":{"amount":"+0.8630315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252522$C655DEAC-10FA-4328-A4D3-F1E289E37380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7e0233cb3fc44da0ecce87d6c2e32991c353c0","datavalue":{"value":{"entity-type":"item","numeric-id":1774557,"id":"Q1774557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a387fc45e9b54dfbc75f4d2db85e4e68e372c4","datavalue":{"value":{"amount":"+0.86081797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252522$985A3969-76F6-4ED8-B416-10B31CF7D153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50e574ff07d61bf4502c52e51fee7fcef1c2d05","datavalue":{"value":{"entity-type":"item","numeric-id":3976054,"id":"Q3976054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa41091420a937589e808300c082c5a0b4ff227a","datavalue":{"value":{"amount":"+0.8607672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252522$881DC4B9-862B-41E8-81A4-C9E360B8FFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b152d458075cd9a677addeeba71f21529f254b7","datavalue":{"value":{"entity-type":"item","numeric-id":4488091,"id":"Q4488091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c433056200ceabad248766b4c09f724538d46f","datavalue":{"value":{"amount":"+0.86068016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252522$96D7C34D-12A7-44EC-A7F9-EB5F6E56E8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77363608aba1bdf19f0ba434a1dd2532164d45cf","datavalue":{"value":{"entity-type":"item","numeric-id":5187875,"id":"Q5187875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ac0c6f03f13b169274da27f368af3ff67d7160","datavalue":{"value":{"amount":"+0.8586189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252522$0EB8CA61-5E52-4D0F-AC22-E9D1F7600FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a287999870f7e485a660ddd91244e509a79df931","datavalue":{"value":{"entity-type":"item","numeric-id":1189730,"id":"Q1189730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effe07ae46136ce335c4c3d3590db88594d25ea0","datavalue":{"value":{"amount":"+0.8570867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252522$6CD66BB0-D794-42F2-8354-9A745ADEC9FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4252522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4252522"}}}}}