{"entities":{"Q5699483":{"pageid":7729043,"ns":120,"title":"Item:Q5699483","lastrevid":48575938,"modified":"2026-01-05T06:41:02Z","type":"item","id":"Q5699483","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2217748"}},"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":"Q5699483$9216E53F-792A-411E-AF1C-257E108FE07E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f4c501491abd6fd54fda753476927df2086af79","datavalue":{"value":"1073.68816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699483$5186C483-3B2D-44D6-9AC8-1E51A4578846","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b6abd34bf2c1ff2e47854f70a86c2a484a01cba","datavalue":{"value":{"entity-type":"item","numeric-id":485838,"id":"Q485838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5699483$AFDD433B-0A62-4FCE-B303-AA9473C57D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa740d7cb09ca4fbf14f2e113394450c436e8720","datavalue":{"value":{"entity-type":"item","numeric-id":229598,"id":"Q229598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5699483$27970EDF-1F2C-4117-97B7-333FAA1C85B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e85745a6397331bcdd0b166a1b54cbb2edc48a75","datavalue":{"value":{"time":"+2005-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5699483$0A9A3897-D69A-4E16-AE28-78D29882EA80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699483$7FA8C07F-A5BA-49F1-BF41-7F0963E944D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e25f881d577624969031a5a5a8d1529b07e6e61a","datavalue":{"value":"2217748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5699483$9849D65D-07F2-4CD6-8C6F-BA3574D38BFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4dbcf8e02541dae4a97999a60333ac19ff16c10","datavalue":{"value":"Origami","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699483$1A6A5DD4-71E2-415A-BD42-C1F50A82821A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699483$37B15BE0-48F2-4856-B64C-3AFF6DB12243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699483$BD42F4B3-792B-4A55-8BE7-1DE75005D3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37db48fc50878deb5298f058e27a669b8c15ab38","datavalue":{"value":"Theorema","type":"string"},"datatype":"string"},"type":"statement","id":"Q5699483$A00CE54A-E3D4-497D-8362-FE402D65AEFA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5699483$004FF107-DF06-4425-A04D-32A675254A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5699483$B31CD6B1-784B-40EA-8EA3-E45349AEC3A2","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":"Q5699483$FCA549B0-919E-4827-8565-C1352DACF920","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188a94f181003660b8a0acecbb2e43326bf66a26","datavalue":{"value":{"entity-type":"item","numeric-id":5464697,"id":"Q5464697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9729512a601764142e5e641dd53be0a6e5cc1c1","datavalue":{"value":{"amount":"+0.991769552230835","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":"Q5699483$9BF3A7B4-6258-4E66-87F3-88292E31DA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c9c207fa4078079b2f0c24260623cd7e10cae0","datavalue":{"value":{"entity-type":"item","numeric-id":5700800,"id":"Q5700800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce77f4f407e4930ea7e0e2b845021a60505f70a","datavalue":{"value":{"amount":"+0.9015802145004272","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":"Q5699483$1FC34941-459C-4B0E-BB1F-034DD4F34530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f979d199d0b01e4aae5b7ad9262fe13a00ca35","datavalue":{"value":{"entity-type":"item","numeric-id":5403476,"id":"Q5403476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b45fbfe0a9740faef415ce7c3ebbaaee42268ae","datavalue":{"value":{"amount":"+0.8409251570701599","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":"Q5699483$6A566EDD-5854-4F90-A37D-C38E14687B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0817499df5856e56d4d0f25295ea89e0a52cffa9","datavalue":{"value":{"entity-type":"item","numeric-id":5493317,"id":"Q5493317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be28eadec3dc1f05ead661b1a4774ddf153f5195","datavalue":{"value":{"amount":"+0.8166699409484863","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":"Q5699483$1A473E17-9E2F-4A75-AD7E-D67858393F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c19a70c0d1332761c8f2293145f956f28e1258","datavalue":{"value":{"entity-type":"item","numeric-id":5898525,"id":"Q5898525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51477322748e804e7180fe94d397f852c4e9a3be","datavalue":{"value":{"amount":"+0.8034577369689941","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":"Q5699483$2A5F3A8D-8CF9-480F-BC0F-9BCF2EBAA4DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5699483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5699483"}}}}}