{"entities":{"Q2363505":{"pageid":2374248,"ns":120,"title":"Item:Q2363505","lastrevid":74338281,"modified":"2026-04-14T19:36:53Z","type":"item","id":"Q2363505","labels":{"en":{"language":"en","value":"Metamathematical properties of a constructive multi-typed theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748780"}},"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":"Q2363505$46EBC076-51FA-400F-988A-8488401E5ACB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f86f4c3b9f7cbdb32169cfada0de5ed5ac70306e","datavalue":{"value":{"text":"Metamathematical properties of a constructive multi-typed theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2363505$84D99AB8-783C-459A-BDF0-978FEBEA3A1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e5ed2fa51d15d113aafa0e8c6669fb8c921df9e","datavalue":{"value":"1417.03298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363505$4DCFC328-9F45-4A16-8714-FAFA04B0F296","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":"Q2363505$52954A91-EA9E-48C7-B736-BAEA643ACBA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363505$FAFA445F-B244-4CA7-8438-ABD2B4046633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2363505$A4D19D55-D123-4F6C-A5E5-21B419ABE080","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363505$D666DB35-B4EB-43A2-949B-43F10358741A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363505$CB6E0CE7-E9A3-4437-ACB7-6A0DFE37BDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363505$C44526DB-48A3-498B-8F0F-95B6718E9E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363505$5B220F4E-E3D6-4ED7-9313-52F262F3E591","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a168fe4b131ef4f2675f0d60aa38b568d72ceed5","datavalue":{"value":"6748780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363505$9A903DFE-43A5-4AAE-ABD0-71BDF7B6A07C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363505$364AD71C-DE89-442D-AB5D-CF292B56EAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d031453310028e6c15a823977ffdb528d1d7f89","datavalue":{"value":"predicative comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363505$D5C16E2E-30D8-4420-9029-96AAFA210B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363505$C5936CDE-109D-4A30-9D47-184622FCA871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75541e345a61190625de7713a8f4c6c8c96d9d6c","datavalue":{"value":"equiconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363505$3E382E0D-4AD9-45C5-A231-FD03433C6DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363505$E6B9925C-BB0E-4FFA-AAF4-9AFAF75AF001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363505$9B344664-D103-4896-8E22-803F603AD0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363505$07C3143B-F7C9-4987-9841-FECC44987AE4","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":"Q2363505$24411E6F-DB43-44EF-ABC2-53E979133882","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21e38f58be465ed307c729926c01a7f8b2378c59","datavalue":{"value":"https://doi.org/10.1007/s11225-016-9701-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2363505$6D765BC5-E165-47E3-9403-1CE2B6065BF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ae185c0fdfc8b64464064684aa3066f429807af","datavalue":{"value":"W2588728518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363505$FD0E8522-E9FD-4BB2-9FD6-0C8FB201613A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f16c7cc8e64525c87a9be4b31de2f9a21e314e1","datavalue":{"value":{"entity-type":"item","numeric-id":4175557,"id":"Q4175557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363505$979D481E-FD2B-4EEF-A65F-F2551EEB42F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1421d447cfc379cc915bae13dd05582d51c5d79e","datavalue":{"value":{"entity-type":"item","numeric-id":4175558,"id":"Q4175558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363505$626C2A52-0F42-47A8-8CDC-E4F65CEF1DE5","rank":"normal"},{"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":"Q2363505$DF61ECDB-AEA8-438B-95EB-1EA8E631B203","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":"Q2363505$109A89BC-16CE-4C28-B523-E80239902330","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":"Q2363505$EF9CAC22-BFFA-47BA-99C2-85ED54E6C9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363505$7916F8C5-7934-48B9-A116-9D3505E136EC","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":"Q2363505$5DD27BFC-7CF0-4042-BBDB-17C34A3AA131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363505$FD742FF7-F544-47CE-AACE-A524E675936D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967caee0f4b629b2770249b58352d882fa57e30d","datavalue":{"value":{"entity-type":"item","numeric-id":911585,"id":"Q911585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363505$EB462DC9-9FBE-418D-8248-62C15D939449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc0607b31d5d47cbe8d8c4748ff070f69f87185","datavalue":{"value":{"entity-type":"item","numeric-id":266212,"id":"Q266212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363505$5F3B89FF-569B-45C4-B586-D754219E6714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1c8904592af255c68542b348d6cb38cedf32ec","datavalue":{"value":{"entity-type":"item","numeric-id":2989969,"id":"Q2989969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363505$0395C490-86F9-407C-A548-70DDB2925094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8169ba6aac97d482391478b2854cca083ce33623","datavalue":{"value":{"entity-type":"item","numeric-id":3718713,"id":"Q3718713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363505$020ED0B9-134A-4745-B7B0-67391FD37E60","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":"Q2363505$A07E7A87-F452-40B2-9C32-94F712D425BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69328b06dc1d26d5101867f67e70565505a5ccf5","datavalue":{"value":{"entity-type":"item","numeric-id":3069633,"id":"Q3069633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363505$BEF32FA7-DF7C-4B30-B3D9-616F4679CC3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3834c4c32bb14d06fb7676fd3f112feea803a42b","datavalue":{"value":"10.1007/S11225-016-9701-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363505$42FC5105-512E-471F-AE7D-B8B545C7A0CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e443fe38bc6ebbe2a1cc6dda9b784ee2e34fccc","datavalue":{"value":{"entity-type":"item","numeric-id":266212,"id":"Q266212"},"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":"Q2363505$C9C53B5F-F26C-44AC-AF37-64D0C70951D7","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":"f35d8c20581ff247b142b3703671ff9e487fdb9e","datavalue":{"value":{"amount":"+0.8416449427604675","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":"Q2363505$334EA732-A42E-4928-9AE8-45B2D1CDB61D","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":"2e77216266a0baeed4640ff910b30e53f2df84e6","datavalue":{"value":{"amount":"+0.7847130298614502","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":"Q2363505$9308AA71-798E-4A67-8715-E5CA38D0D4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9889c3b95b1b19beb22295a52aaf6a8c4c4004","datavalue":{"value":{"entity-type":"item","numeric-id":5457300,"id":"Q5457300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61776b05c2f86bed271152243f7d41a895bd334","datavalue":{"value":{"amount":"+0.7524849772453308","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":"Q2363505$E22E63BD-5C24-49C7-B432-187B96233A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa46556ac3bbe398609859123e15d4e9648e322","datavalue":{"value":{"entity-type":"item","numeric-id":4237644,"id":"Q4237644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e863b5061d53eebcff0725c39ec79e8bc65fca3","datavalue":{"value":{"amount":"+0.7523176670074463","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":"Q2363505$BEEC3F48-15F7-4CD8-B2BF-53C895057E22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Metamathematical properties of a constructive multi-typed theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Metamathematical_properties_of_a_constructive_multi-typed_theory"}}}}}