{"entities":{"Q4499155":{"pageid":6528748,"ns":120,"title":"Item:Q4499155","lastrevid":47032092,"modified":"2025-12-26T02:22:56Z","type":"item","id":"Q4499155","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1497745"}},"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":"Q4499155$F6C81A92-ED25-4EF6-A6F3-97320DD5044C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d426d5b9db2890ec78841663befab08aa64de972","datavalue":{"value":"0958.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499155$C6811F96-AE0C-4755-91E5-DC70CC66C67B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23c16558fb5ec76a4747f3b1ffd9e3605d5b08f1","datavalue":{"value":{"time":"+2001-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4499155$B25DE6E0-D907-461A-88ED-D04A6A1BBE38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499155$E9928939-B5BE-4A8D-BC4D-F051F5296E6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ae7655c6c27ea32c37ca75c04e68aeca204f292","datavalue":{"value":"1497745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499155$47B066DE-8EE8-4ACC-BD97-628E97CA0AD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5bbe0ed140a5585f02ac6f2422c84ddbbc3fd0f","datavalue":{"value":"automatic generation of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499155$CF11CC08-3ED6-4F73-B7C5-BC8C098CF9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3fd3e9ac85afddfac937c2bfadba05c5617f051","datavalue":{"value":"metavariables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499155$2A22297A-FA66-4E86-AC58-18C67AD6A6E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499155$D4485B53-6267-4509-95F9-0A34BFC5BC91","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":"Q4499155$00B8DA0B-712C-46A8-8544-75017E07EB33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0aed5c4ab910f6f242fc004730f86fe2de59e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5950931,"id":"Q5950931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae2bc126411b026d15a83275da50a95179b4cd4","datavalue":{"value":{"amount":"+0.9988726377487184","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":"Q4499155$979891CF-EB20-406A-86A5-9FBF24079B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f23e5b64d2f370c70d97197278b7d4f16d9ac2","datavalue":{"value":{"entity-type":"item","numeric-id":4991708,"id":"Q4991708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841d07d7372efcfccfd5ca44f86705a35c7c44f9","datavalue":{"value":{"amount":"+0.7673109173774719","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":"Q4499155$A8B1C526-1E15-444A-887C-FA5DC8B5D5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a93d04dec7cc9f3488ac6e24125326104ad0c89","datavalue":{"value":{"entity-type":"item","numeric-id":3560869,"id":"Q3560869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094a037059277fdfe7908086b4aa11d1f5f78efa","datavalue":{"value":{"amount":"+0.753227174282074","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":"Q4499155$AE67E70A-208B-4AEA-B564-B791EEE6D6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce6f531cfd04e122a6de28b717e710c15251da0","datavalue":{"value":{"entity-type":"item","numeric-id":5856420,"id":"Q5856420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e77e2067f2fc177e351013ba925867833285e4","datavalue":{"value":{"amount":"+0.7495782971382141","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":"Q4499155$9EAE72BA-EFF4-47D8-87A2-BB6BCA4218FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55f3e303264b38c64c3b12c1a965031faf3a81f","datavalue":{"value":{"entity-type":"item","numeric-id":2879250,"id":"Q2879250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab95b04797bc393c3be2545fc7a950b45ace08d","datavalue":{"value":{"amount":"+0.7422045469284058","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":"Q4499155$E00AF1D0-3EDA-47D6-977D-727A5F6AEC76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4499155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4499155"}}}}}