{"entities":{"Q4736387":{"pageid":6765967,"ns":120,"title":"Item:Q4736387","lastrevid":48312403,"modified":"2026-01-04T08:17:42Z","type":"item","id":"Q4736387","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085164"}},"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":"Q4736387$7D63B72C-7374-4F8E-9ACE-A9059243C88D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42a4151cd1843bd026a357c4827c0f0cec2a61db","datavalue":{"value":"1054.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736387$DCCEDD84-9DA7-462F-8CDD-7B6497C29E12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"886664d698445e1702c39c62a8e99a722a88bdd6","datavalue":{"value":{"entity-type":"item","numeric-id":817699,"id":"Q817699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736387$F68EDB9F-BB0F-4419-9CC3-23C897247A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736387$FB21DD88-E633-4E64-A280-4FA5053F2BFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d96456414d6af50ce04ff076f3343376c47fba2e","datavalue":{"value":{"time":"+2004-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4736387$0E681058-7035-4908-9DA7-B21E770C2F6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd9f6c03c4d47e2c7a21760228307658b8878fd7","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2277/22770024.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736387$A8EC4D8A-9142-490D-BFC1-42C1D45F6A14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736387$6784B37D-8D5E-4730-9D0C-BB34B45E5439","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4fbe18754f0bc612cfff8f111cd08c3cae96f50","datavalue":{"value":"2085164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736387$523AD294-5382-4F8D-9045-B71547373669","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d28ecf124d39138df963c8a337b4bee29e8ae48e","datavalue":{"value":"theorem prover Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736387$712346F2-3D06-42C3-8ADC-27FAE593BEED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736387$6E834BBE-7EE5-46DD-A817-005ADCD49917","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":"Q4736387$AEAAA10B-2C51-4A95-A950-7E4D31569EE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfef8c1f350ddf00e455be68c8a2531cffe9d152","datavalue":{"value":{"entity-type":"item","numeric-id":4945200,"id":"Q4945200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b789c4d9d38dbdbaaac6a09723431f4604ead151","datavalue":{"value":{"amount":"+0.7628900408744812","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":"Q4736387$D0A38C52-A370-44D7-B3A7-36BC093B399F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18f1bcee5a559e76e86ee84dd5601244af54f6","datavalue":{"value":{"entity-type":"item","numeric-id":909488,"id":"Q909488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b789c4d9d38dbdbaaac6a09723431f4604ead151","datavalue":{"value":{"amount":"+0.7628900408744812","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":"Q4736387$B99480C0-725E-4B58-A96A-01098577B0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb33dbf764138f812d35e37589bcb282274e2082","datavalue":{"value":{"entity-type":"item","numeric-id":3613436,"id":"Q3613436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8447a83d756796b452040050da5741318caa9968","datavalue":{"value":{"amount":"+0.7542930841445923","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":"Q4736387$1CDF62CB-8BCE-4F78-AAFB-454CFDAD57D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c676f8538b024eb2a80be0edde23296e2c1db","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead2e398e98e25af70c23c23a7aebcb9da3775e3","datavalue":{"value":{"amount":"+0.75146484375","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":"Q4736387$18913852-F0DA-45C7-8949-634F035F8CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63392152ceac32be176b948e503f3e589a506710","datavalue":{"value":{"entity-type":"item","numeric-id":972425,"id":"Q972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384f9c28cdb027e138ce4afa1baeb28bea125f63","datavalue":{"value":{"amount":"+0.7467986345291138","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":"Q4736387$52237E36-1C71-480A-B28C-B07BE2068FB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4736387"}}}}}