{"entities":{"Q266212":{"pageid":267979,"ns":120,"title":"Item:Q266212","lastrevid":60545955,"modified":"2026-04-10T17:39:43Z","type":"item","id":"Q266212","labels":{"en":{"language":"en","value":"Interpretation of constructive multi-typed theory in the theory of arithmetical truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567965"}},"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":"Q266212$1E48DB47-15D8-42AE-A73C-3BC0CFEF4A6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d35f592f6d9b69dedea96d51e6caf54f66bc2e40","datavalue":{"value":{"text":"Interpretation of constructive multi-typed theory in the theory of arithmetical truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q266212$7A1CB3A7-CEC4-4E96-8E1B-B725E4669285","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02b90761691b751840e63656f14a23882936e73a","datavalue":{"value":"1347.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266212$0F9164CD-911D-4F0D-94D1-B25E74396C02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94dad9ef56116fd08d0f1bad4bf18b3537a46606","datavalue":{"value":"10.1134/S1995080215040034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266212$B19BFE85-0A11-4B8B-92D2-C083FFB379E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fdd8bc36a3bd1e23ed77b21c053f051997e685b8","datavalue":{"value":{"entity-type":"item","numeric-id":69786,"id":"Q69786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266212$16B4BDE6-E5BA-491F-BEAD-D7D53507DC11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3a7b3978f3c180b0eca4ce0874ed3437c0432c","datavalue":{"value":{"time":"+2016-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q266212$7B326233-1065-47CA-9ABF-71B0B902449E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266212$6798D3DD-3AE6-48DE-9159-A782F20F5257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266212$E8EFFF11-82E7-49F1-AF61-E8BDE26E4FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266212$6B30F10D-F5CC-410F-9214-3386834B59A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ffecb9f8ebf07f93418e073d3bddf1821ec8ad1","datavalue":{"value":"6567965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266212$5EB705FE-C8F0-4FA7-8B4B-50FBAD489B1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687b98256ffa9cee9c9994d331dfa42054db23bf","datavalue":{"value":"typed set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q266212$64EEFD83-925F-4FB3-B81A-65F34B84569D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q266212$674567E5-0F90-4454-9544-20D7BE35ACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q266212$7DA29032-4F31-4A4F-B303-E664388E8495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8089146631499aa656ce34a91facbd40d25588e6","datavalue":{"value":"formal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q266212$CF456013-567C-480A-836A-E9583A1D8BD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9f80f388021945d2942bf766e11c8aa394afbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2363504,"id":"Q2363504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266212$F58E4D37-AEDA-48F7-A899-C3DFF1F09BF2","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":"Q266212$02F1728E-A332-4E38-A3A2-8211FD559AD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266212$45BEC161-E954-4F07-968F-1A057EFCE48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266212$97D0AE1F-374B-4F85-8F3F-CEDA78F31CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266212$B426CD43-47B4-416A-8620-BFE4460ABA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266212$A793066E-BEAA-49E6-8075-CFA6407E4D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266212$F1CD2C09-DAAE-4E87-A81E-9FB129EDE6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266212$A8EF79B5-7F3C-4BAB-8C07-D45AB9A41EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc440e6b746fbcc870102f7e0b8b66275986778","datavalue":{"value":{"entity-type":"item","numeric-id":5320764,"id":"Q5320764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266212$D3F74AFD-D69D-499B-963D-59A24CCC932E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8c7dc15f66ae2ef46a1cfe79a5c577aacb0408","datavalue":{"value":{"entity-type":"item","numeric-id":2363505,"id":"Q2363505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f149a00215726c95b6fe4cb40fb3a051f7432e","datavalue":{"value":{"amount":"+0.9099485278129578","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":"Q266212$F57CE364-0D4D-4EA5-9109-69891D1A5EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac307fddb62d2762c8212227c24e5c41695744e4","datavalue":{"value":{"entity-type":"item","numeric-id":2989969,"id":"Q2989969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7a0178125a7041dc0483d961d261e2d8295e63","datavalue":{"value":{"amount":"+0.7688685059547424","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":"Q266212$2380C681-6071-4C8D-8070-7D87B3B80D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742a4b11d5d1a59ae4cc6a85ef77fd921f881326","datavalue":{"value":{"entity-type":"item","numeric-id":3809794,"id":"Q3809794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e36c71bc847b1fc1f8f4e9d9cd61537887bbb1a","datavalue":{"value":{"amount":"+0.7348383665084839","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":"Q266212$74734CFD-2DF4-4CF3-B3B6-4E66A6E72396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1441ddcd38c4948253de1c29128ef26c2de37994","datavalue":{"value":{"entity-type":"item","numeric-id":3820599,"id":"Q3820599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e09dbe840825812fdac14eef8ed169a510dda2f","datavalue":{"value":{"amount":"+0.7342535257339478","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":"Q266212$E1000BA2-E9E5-4A9D-BE74-571FFB71F657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98289c13eae7d2d17fdaf082e38656c033afa530","datavalue":{"value":{"entity-type":"item","numeric-id":1080424,"id":"Q1080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9969d8396393da01c0995ccd8787d8563d352e19","datavalue":{"value":{"amount":"+0.7328802347183228","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":"Q266212$8E836C64-1ECA-428A-8142-B19EB6DDF423","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretation of constructive multi-typed theory in the theory of arithmetical truth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpretation_of_constructive_multi-typed_theory_in_the_theory_of_arithmetical_truth"}}}}}