{"entities":{"Q4945204":{"pageid":6974786,"ns":120,"title":"Item:Q4945204","lastrevid":47471362,"modified":"2026-01-01T20:18:19Z","type":"item","id":"Q4945204","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424015"}},"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":"Q4945204$8841D5D2-5A16-448F-82F5-6B69602AB9C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b195c306172c004979d86e1975f3dffa1fe88e6","datavalue":{"value":"0944.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945204$A3613889-3641-4765-A748-2E40BA1C0A46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a175ccc37a14b3ca79afe1248bd0b3c945a52ef8","datavalue":{"value":{"time":"+2000-09-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":"Q4945204$DA598911-6123-4957-8455-193AA03322F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945204$BC4D2E1C-2FB9-4517-B8AE-7A0EB0DD0AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945204$A8B93426-A5E8-40B4-85CE-B714CCE64583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945204$85E0C9E6-F229-4454-8ECD-DF64010C6964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"242e1728a38cb046478899e57edab58059f80a18","datavalue":{"value":"1424015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945204$326AF8B6-C8D9-4F65-BC04-13556FF8A6D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c281070e184bd73b44dc445c87bc13f774f9e8ef","datavalue":{"value":"unique fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945204$C62F4039-4279-4C27-AA72-AADF4757EFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01f28eb591a2e3d2ef7e46aa3f6ce147b30635d","datavalue":{"value":"converging equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945204$3C126B8F-63D4-4761-BC5E-A7DD3A34A316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ef8045e45cf9a2b5e007926cb3efbb62862137","datavalue":{"value":"contracting function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945204$C1DFE701-DEA4-4309-94B5-6E8C9F9C8E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4d00175c26fd4259ca4fbd95fb41b33b7426b4","datavalue":{"value":"well-founded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945204$13177802-9A1F-491D-939D-9C8A8737AA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab2ce6b29cefdf4b2cde9a3d0f1cb1bdf57d64a","datavalue":{"value":"Isabelle theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945204$DCB35165-605A-43A9-B4ED-5D7140F72920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945204$AB1D1081-74AE-46DA-AC16-53B45BD9181A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945204$934C725A-0852-4BD4-8086-DA173C525D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945204$C9204304-CACD-4AF4-AAAA-1BE0869A615C","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":"Q4945204$373CE210-2A06-49BB-B9A1-3F508B9A0FF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523f04cb2e34b987f8f0638ca56920c6298ac76b","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bfe7b0be5de707d7bd1f70faeffb2ac9de15e9","datavalue":{"value":{"amount":"+0.7982864379882812","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":"Q4945204$534A42B3-AF41-46C7-A522-B99ECB0441D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e3d65c9066486d2de05b6ce7f1d9bb5cd8dd8","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635d98f0526c74fbfbbe8d913efbc193d9ac1179","datavalue":{"value":{"amount":"+0.7911578416824341","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":"Q4945204$105F8AAB-4E43-467B-81D4-3647FAED1F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e9b11509e1ea0b05e2532453933b1fb27ac7c0","datavalue":{"value":{"entity-type":"item","numeric-id":4435467,"id":"Q4435467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b688059319de3072c70d1e3e8cef57b2220ea20","datavalue":{"value":{"amount":"+0.7899157404899597","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":"Q4945204$FB8A6535-41D4-4002-8E4A-52D1500B16B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f485f28ff130d0619a6bdb102f4132d10b7fad","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c87151deaa44f9c3735cdd6fa126a0c8d1cf0a","datavalue":{"value":{"amount":"+0.7883774638175964","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":"Q4945204$18CDCE8F-D736-4D08-BBA3-0DCF29B39AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4320649101606e8bb113ff7bc5d05007fbadbb3f","datavalue":{"value":{"entity-type":"item","numeric-id":2879262,"id":"Q2879262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655c671e5e12250979d2f60d8f0b31ed4b20c66e","datavalue":{"value":{"amount":"+0.7542742490768433","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":"Q4945204$23F4C217-10CF-4E0A-AFBA-12728F2AB2A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945204","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945204"}}}}}