{"entities":{"Q4411846":{"pageid":6441445,"ns":120,"title":"Item:Q4411846","lastrevid":48133885,"modified":"2026-01-03T18:08:16Z","type":"item","id":"Q4411846","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1948185"}},"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":"Q4411846$F87DEE51-1CDB-4E03-A24F-49DA9516E53A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34221a67794523bd985c232033b56af5b725c2e8","datavalue":{"value":"1020.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411846$BA9657B0-7B38-4D39-B636-C3255656AC88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4411846$04BAD95D-55E6-4296-B56F-6F584C2E0B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51b0ad20d9da7e1596642ccd383fec94d00b3a87","datavalue":{"value":{"entity-type":"item","numeric-id":2847395,"id":"Q2847395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4411846$3843AC23-EFD1-4FFA-A17A-64EE8B383726","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1ace7b5fa5cb53a6c5a725daaeb2e05de89fdd6","datavalue":{"value":{"time":"+2003-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4411846$55870521-EDE8-421F-8235-039C6DE62560","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd1fe69ef298b65d6b3025c6ad89b2b43853ff5c","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2471/24710537.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4411846$C216D5E0-65F8-4754-9BF9-8ECAD481DC7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411846$FC3914A8-365C-4E27-B0C3-3952D42DD906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"100bbf89d632e7758ad96cf957db41675c66cf3a","datavalue":{"value":"1948185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411846$72D1A345-AD5F-4BA7-8544-B7AF5A93E485","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411846$3F2F52E8-D624-422C-98AC-31AC7CC272E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411846$6DB143A5-F870-4ED0-9442-1C4893C98E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6799d91260694453c8ab31c2eac4d7a48c3c6057","datavalue":{"value":"open terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411846$A6F2385C-F3DA-48C9-A7E2-43F823C026DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02cf0356d3c67a424ace80a078775b45e662bbcf","datavalue":{"value":"meta-variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411846$66A522F4-87A7-44B5-B1D5-48E6F502055C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e1f370ec0293fcad4a3185b26884f43ad74552","datavalue":{"value":"formulas-as-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411846$671CC42A-4C8A-4717-9D0D-EE9DACAD5C0A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4411846$4CCF7F19-F50D-45C5-A4E1-80BAF33CB652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4411846$65F987F1-9FBD-4938-9FF4-3BF2C3676F61","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":"Q4411846$E26D38DB-2333-493D-8002-F91AD268EB13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8641f105f82c3194485dc533a709fef2777c004","datavalue":{"value":{"entity-type":"item","numeric-id":4435469,"id":"Q4435469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759e4fe300f1d841b15ce2bf3eaef1b7f59f36b6","datavalue":{"value":{"amount":"+0.7478394508361816","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":"Q4411846$5719BF63-C87C-47E0-9E1C-2722AECAF7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b9186db654894550d7e57d85e3b92b8a3c2cd0","datavalue":{"value":{"entity-type":"item","numeric-id":5096264,"id":"Q5096264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694dbddeb36cd6a6e67e58a9f359b8bfd8d35d22","datavalue":{"value":{"amount":"+0.7478392124176025","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":"Q4411846$5572470E-1908-41B5-BA77-87A26395D59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b374d103ae25750298391ed37f0bec8a184b0c0c","datavalue":{"value":{"entity-type":"item","numeric-id":2847396,"id":"Q2847396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbecf699143776f2b07953c126873a4806db3e95","datavalue":{"value":{"amount":"+0.7345606088638306","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":"Q4411846$5D04F4FD-D7A7-4BBA-A2FF-27C4FE4DF131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d8229f7daafb1debae26fdffd7e93734038545a","datavalue":{"value":{"entity-type":"item","numeric-id":5210800,"id":"Q5210800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3278ac7fa57286c74d09dab766d5c9acf4000e9a","datavalue":{"value":{"amount":"+0.7175953388214111","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":"Q4411846$F7411274-402F-4499-BAC8-1A2EC62D1A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027e66e493294de396e3f06701b232a3660c5eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d53b845a596bc7b7ac5c26d2ff10b3b4cc1827","datavalue":{"value":{"amount":"+0.7108168005943298","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":"Q4411846$6975B01E-5E19-4D7E-82AA-9EB5E2AB027B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4411846","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4411846"}}}}}