{"entities":{"Q4493072":{"pageid":6522666,"ns":120,"title":"Item:Q4493072","lastrevid":47498338,"modified":"2026-01-01T21:58:11Z","type":"item","id":"Q4493072","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1483964"}},"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":"Q4493072$99C24B78-A9AA-4914-806F-B0B1174604A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a03a56f342af6524a16e02a9f371d8a1645ae52","datavalue":{"value":"0946.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493072$16701881-5BAD-4BBA-9A49-25B33842BAC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31dc98a3522cea06def52b76cde8003aebdf2e71","datavalue":{"value":{"time":"+2000-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4493072$AB5D3178-848F-4E5A-8129-F074E4610303","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ec4cec196c0a110afd90a14137a1ad012878e45","datavalue":{"value":"https://eudml.org/doc/120530","type":"string"},"datatype":"url"},"type":"statement","id":"Q4493072$EE01AC0E-8531-4D5B-9CE2-6B3DD950A3E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493072$75F4C6AB-1EFF-47A9-9059-8949E2D1FE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493072$BD1C03F3-5647-4B9B-978F-6C9738424132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493072$B50ADBB5-2526-4E11-B5E1-63F65E074831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493072$E6EBD6AA-027C-43F9-BF76-BC71DA483301","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8edeeeb2b3d904bc9e8bfbebab975e2026c0155b","datavalue":{"value":"1483964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493072$3FEC7A29-7C4C-4015-B0F1-A46A88CA1DB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493072$3EBBFBE5-99AE-4ACF-804A-F215D1E028BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493072$C54B722E-E977-4F9F-8890-AE6F71F5F8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108bfe7107024490ea118280b889e120b1fe5cfa","datavalue":{"value":"\\(\\Pi_2\\)-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493072$39DE7905-584D-403A-82D9-99AA9DE9E60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabc0553a89e0becdf00d7cd5f82c6a6fdfc6d86","datavalue":{"value":"\\(\\Pi_1\\)-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4493072$D08B4235-3C61-45BE-AE70-3FD17C781000","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6874d9554109ddfa631a3bcceed3f011aa3addc3","datavalue":{"value":{"entity-type":"item","numeric-id":704040,"id":"Q704040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4493072$945D8ADC-FF43-4135-ACC2-79A864F7C19D","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":"Q4493072$B7733483-4F90-441D-87FC-1106ECF70DF6","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"64ea12d6e7d544424c7073d376cdb80f37019cd9","datavalue":{"value":"bafkreihyhqwpkjfvldnocn4i2ccohto2yynfr5fb25lz6zez5b2h66ca3u","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4493072$78EAB87E-E146-4576-81A9-A87EB8B61F6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2849e22fd653b63474b77aaa32c37095734f26c","datavalue":{"value":{"entity-type":"item","numeric-id":5691117,"id":"Q5691117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f1bc1169645913679583896468a0d8b79664ee","datavalue":{"value":{"amount":"+0.8118289113044739","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":"Q4493072$929361AB-11F3-475E-A9D9-7D43B92340DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cceecc08ba6574fd34d6e9805e1e70f4e0b48f25","datavalue":{"value":{"entity-type":"item","numeric-id":4487300,"id":"Q4487300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbdc9b22250a1551743793c2d9c5b057932882a2","datavalue":{"value":{"amount":"+0.8111855983734131","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":"Q4493072$FE2B6186-71E2-4E09-A4AC-770118C46C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e805c27a295e522d202d66c9383e7230cc66f0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4304788,"id":"Q4304788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73565c9461f53d8e4e6b4fadfe13bc4950a322c0","datavalue":{"value":{"amount":"+0.8023483157157898","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":"Q4493072$9A07D001-B08A-421E-92E7-17C0CD9FE86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e5888ff601c1df31ca63c908e16eabf415d251","datavalue":{"value":{"entity-type":"item","numeric-id":4664256,"id":"Q4664256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a42d9ce87cab9fe6e768342b38248a97752b73","datavalue":{"value":{"amount":"+0.8007420301437378","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":"Q4493072$254A9F26-ED94-4EA8-9153-53CB08A2FD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7661eec4135d4db476187d80408f2e3ee2b19821","datavalue":{"value":{"entity-type":"item","numeric-id":4527922,"id":"Q4527922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98aabeeeee674ec7dc91737e5848e62c0bd608bb","datavalue":{"value":{"amount":"+0.7998907566070557","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":"Q4493072$38A17ED8-05C1-4A11-99C9-9C46E109AF40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4493072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4493072"}}}}}