{"entities":{"Q4401924":{"pageid":6431523,"ns":120,"title":"Item:Q4401924","lastrevid":34560002,"modified":"2024-06-12T12:10:36Z","type":"item","id":"Q4401924","labels":{"en":{"language":"en","value":"Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3435461"}},"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":"Q4401924$D74479CC-6A76-42C9-804E-C0FAE37ABE81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae6471eb806d9a57b102bf01c424ac47cb76178f","datavalue":{"value":{"text":"Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4401924$AC7A60F7-A723-4B54-800E-DDC663D265BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"638f4955d5d1d06b7781ff5c79a38498f32aa404","datavalue":{"value":"0277.02006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401924$004660E7-1657-49E3-9F23-005508F444F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c30d782347de91465f9310772684043ca71d641","datavalue":{"value":"10.1007/BF02025118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401924$FC84C779-D0B8-4C2F-9ED8-057F056369A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596ce5d9f12334d5b503e9ca575fe131d2a47d15","datavalue":{"value":{"entity-type":"item","numeric-id":234587,"id":"Q234587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$6BC7E229-5689-4B83-B002-C9E4647FFAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17676b1f6f202258ccc06bb44ade36bb69a03b35","datavalue":{"value":{"entity-type":"item","numeric-id":165320,"id":"Q165320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$CD46F91E-215B-4D8E-A1EF-F63992A1233A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$05535446-3F40-453D-8713-FDA8D6E04429","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4401924$90A4C174-A91A-40B0-A55A-63C96E4D69E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caa83a1286035449cb5986ba4c9fc4a04004f355","datavalue":{"value":"https://eudml.org/doc/137884","type":"string"},"datatype":"url"},"type":"statement","id":"Q4401924$553A6BEF-E4AB-4F32-B8C0-9D8F2624A5C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401924$6F90B8AF-95E3-4BC6-9A65-6DA4945315FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401924$9CB576E0-C1B9-4D85-A009-ED2E8F744BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401924$5211F6F1-F554-40E4-966A-801BC6BD41AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a29a42726f8eaf9e43da89c83d24a3d47229d024","datavalue":{"value":"3435461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401924$B96F59EC-E273-4E10-AE8F-03AC020B5335","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":"Q4401924$FF132440-C6E2-42DD-811C-C58DB9277238","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff4d4305dea977e13ae8d3159a0f341528b69f4","datavalue":{"value":{"entity-type":"item","numeric-id":5618354,"id":"Q5618354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$EDB96DE4-6691-413A-ADEF-957982B94E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$AA3B92C4-EFFB-4187-B2D6-0E63F0F2EE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed487916d3cdc9c48e6c95427874ba546cc872ae","datavalue":{"value":{"entity-type":"item","numeric-id":5545953,"id":"Q5545953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$64D5B45A-8255-43A3-B90A-1FE13A3B8299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$50555CBD-0D11-4307-BC5C-8AEB4564AAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203318c557c82294d1a13a7b0ee8923a35f083bc","datavalue":{"value":{"entity-type":"item","numeric-id":2648344,"id":"Q2648344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$3688DF18-B139-48D1-8DB0-A33283738351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$4B620F97-EE10-4A19-ABC0-B25325F7F830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35b4d42cd9800c18a607f9bb8c03bfe75c1fbe8","datavalue":{"value":{"entity-type":"item","numeric-id":5633977,"id":"Q5633977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$1B113C12-0480-4112-98A4-78E905185064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf58f8077a97f83d7e121fff1a03012c742f31e0","datavalue":{"value":{"entity-type":"item","numeric-id":2625990,"id":"Q2625990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401924$36070A54-FB8F-42F0-A4F5-D7C6D21EB3BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4401924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4401924"}}}}}