{"entities":{"Q3613437":{"pageid":5643343,"ns":120,"title":"Item:Q3613437","lastrevid":81005138,"modified":"2026-05-06T17:29:58Z","type":"item","id":"Q3613437","labels":{"en":{"language":"en","value":"On the Strength of Proof-Irrelevant Type Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528318"}},"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":"Q3613437$9F937259-E30E-4678-890F-B4653F83B5E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"873a8905b3361df3f786e579ba61dadaa1c474b1","datavalue":{"value":{"text":"On the Strength of Proof-Irrelevant Type Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613437$672694AB-B119-483A-BB17-C20366325EE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94efb223084fc842e72a3a9f7282b857fa456466","datavalue":{"value":"1222.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613437$D03F745A-7881-4952-BA1D-E1A8A80A28EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6e494571b83c515ac9ad67ce37a701cfe65ad69","datavalue":{"value":"10.1007/11814771_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613437$495D715F-CF66-4E75-AAEE-F131D935FB74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f69fec18e304e301a38c349c8b21d1a76ec69093","datavalue":{"value":{"entity-type":"item","numeric-id":1322846,"id":"Q1322846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613437$B055B9C9-78EE-4646-843D-EC8EF3ACE8CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613437$DBD48B0A-2EE1-43C9-92D0-16948E120B62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613437$3C830A1E-2F20-4EC7-8186-54C431F0FD91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3be3956f4edb31faaf42407a66dd67b40e7c44a","datavalue":{"value":"https://arxiv.org/abs/0808.3928","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613437$3A1AC386-BEEF-42BB-BB0F-F8B16C400FDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613437$F94D52D7-4D78-4D40-A403-0C81F4D16C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613437$B1AEBF50-6413-4117-9DA4-A99AE8A5B157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613437$C1ED7EB5-94D3-4BF2-95C3-9A778FF9176D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613437$4BEB4797-6BB6-430B-A344-79E38F408E66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42954bb8cb9173305b8b596bed8acc1fba78f8ce","datavalue":{"value":"5528318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613437$E94241E2-B3EE-43AA-8C5B-4A439576AE52","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613437$425303CB-4E4E-4C98-A882-FC304BD89029","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":"Q3613437$F90BE54A-8C0A-43FD-A524-1521F13142FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6bc549c21269797ce38daac82066693c2976eb0","datavalue":{"value":"W1937180777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613437$D74C7E86-2170-40BC-9643-2E7BC37B3498","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4128576115585c6eeba0ae32dedbf5d93cb852","datavalue":{"value":{"entity-type":"item","numeric-id":3535620,"id":"Q3535620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34bd45262ae2e8faf4f8731196edd025a43b6ae","datavalue":{"value":{"amount":"+0.9947025775909424","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":"Q3613437$61DFE78D-368F-45CE-8248-0969B10E8A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1e3fef7a91f717d982de5af60bbc76f7514a80","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88446e6a401eec18437d12f8e7f9c1e2f8d9f3c0","datavalue":{"value":{"amount":"+0.7426414489746094","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":"Q3613437$468B78D3-F6B1-46CF-950C-0DA761D0A29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba42c8b31e2765c0a227cbcb4e2d0116b353eed","datavalue":{"value":{"entity-type":"item","numeric-id":2986812,"id":"Q2986812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88446e6a401eec18437d12f8e7f9c1e2f8d9f3c0","datavalue":{"value":{"amount":"+0.7426414489746094","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":"Q3613437$B9DA5F99-C6B7-4E64-9014-B519599A1A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b4abdc9d1a3f44352b0bd6028169b366ab5c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4623435,"id":"Q4623435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4e566d7488d7c02130bb7db059b9ebad1bfc06","datavalue":{"value":{"amount":"+0.7372010946273804","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":"Q3613437$F5FE7C8F-EB40-4C26-81BD-988DAD34899F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5de30d754af82d7575c5218ddb8f50be80efb2ac","datavalue":{"value":{"entity-type":"item","numeric-id":2881097,"id":"Q2881097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622829b73f30b09b0b22a1a7237e07826dfb66b7","datavalue":{"value":{"amount":"+0.7363452911376953","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":"Q3613437$F0D05D97-654B-4853-89A4-B933B5408E53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Strength of Proof-Irrelevant Type Theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Strength_of_Proof-Irrelevant_Type_Theories"}}}}}