{"entities":{"Q6552264":{"pageid":14163419,"ns":120,"title":"Item:Q6552264","lastrevid":103724072,"modified":"2026-06-06T08:01:11Z","type":"item","id":"Q6552264","labels":{"en":{"language":"en","value":"Ontological purity for formal proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7861977"}},"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":"Q6552264$591D8223-DFF5-4B04-9AC9-86889A46037E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edcd0eeb2db0039c4e39f369e2645a406227f389","datavalue":{"value":{"text":"Ontological purity for formal proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6552264$E01B2B38-E079-42BA-A714-9DFDA70CDA1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"704b9779503b99d973078f763ace2d8b494560a0","datavalue":{"value":{"entity-type":"item","numeric-id":6552263,"id":"Q6552263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$252CE126-2F48-4487-A0F7-15145914E463","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$7CF473F2-969A-4119-AB92-190E0CB356A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dae23b0ae1adb538c487c46cdff3d81cd7c1948e","datavalue":{"value":{"time":"+2024-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6552264$FC32D281-DB7D-4AFE-BF9E-774F4F9DC491","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552264$814BE858-BF8D-46EE-9F31-177AFAD029B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552264$0D697606-53D1-4ABD-94BA-FF430CBB6C94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb3ce4c56bdd8bee52bc9a61ea6f074781261d7e","datavalue":{"value":"7861977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552264$89E0A5DB-AD7C-4585-ACB7-9D246BB2ADF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41dd90bdc4bf16331d667a0ea0630b10f3e34c9e","datavalue":{"value":"purity of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552264$0C7E59A4-79B1-4645-8867-05423B21E985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552264$79577D99-63EF-4751-88CC-B8531E1FC726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552264$3C149553-5AA2-4CE5-A535-B819FED59735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3715bd417b013622a390c17d3817f3a43a0bacfe","datavalue":{"value":"structuralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552264$5856C8AA-273F-42BF-A154-7975AE80187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f75db2226c17fcf081f7ed8bb13c3951d0d9661","datavalue":{"value":"philosophy of proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552264$2FA2AF60-609A-4A0D-84BF-CDBE182B0F6E","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":"Q6552264$C5ED63FC-1C6E-470D-BCD3-580FA6D3C204","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2523970b78df0cfe6ad2f167b5ad4b9a4c17e62a","datavalue":{"value":{"entity-type":"item","numeric-id":3639197,"id":"Q3639197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$475E5D24-B6FA-4017-9EFD-9EFEBC6E3A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"915073579dd24e4f123e2183bc140fc9590f4e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4593639,"id":"Q4593639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$C33513EA-5A47-4FCE-8FE8-AAAC3E51D4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3258bd78eb1d154f57c2ed8b1feab4c4195a1ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2890699,"id":"Q2890699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$57A9BA9A-ECE7-4CFC-988A-FEE968BE2AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7ba7689e01506fdfee76be1e45c4d832582d8b","datavalue":{"value":{"entity-type":"item","numeric-id":2695405,"id":"Q2695405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$7B000A93-9463-4B2B-B6C2-EC163904C115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e8489ed8943ebd41b7283143d749c0c21163a2","datavalue":{"value":{"entity-type":"item","numeric-id":4918380,"id":"Q4918380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$5467AC80-6A41-4203-9512-E3B4DA473B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$013265A9-7BED-4224-8F32-52BFBF50D8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee41f17dd1703e68a0300ceafc12622c4e7f38","datavalue":{"value":{"entity-type":"item","numeric-id":2928641,"id":"Q2928641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$A40E7025-4DF3-4987-B515-DFCA5D5BB37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef09b984a16aa0e3d6e673e355fca0035fd7e30","datavalue":{"value":{"entity-type":"item","numeric-id":5292214,"id":"Q5292214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$D526BF85-80F7-41D8-87F9-B6C3B980523D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338aa0d01ce8385e92ab151731f9345a1bd5e9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3107050,"id":"Q3107050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$04FAC2D9-8A8F-415B-9984-6D03F6774A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a287e3233fcf1551eb24caef46debde964b0b4ef","datavalue":{"value":{"entity-type":"item","numeric-id":3616353,"id":"Q3616353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$89F23B6C-457C-4741-B3D6-98506DB92A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc5f11ac7e98ce164010dacbac85cf82ef52cf6e","datavalue":{"value":{"entity-type":"item","numeric-id":5204805,"id":"Q5204805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$3EFDE7A1-60AE-4B7C-A48E-55F39121B3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$8B3F558E-C007-4300-BE03-04F1F89F7525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d6b386c9d184ade253e0acc057176f49717788","datavalue":{"value":{"entity-type":"item","numeric-id":4593636,"id":"Q4593636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$7EDF2D40-7666-431B-874C-5BF6B342D9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6755c6a52b231a81169ec72022c1bced68a7db08","datavalue":{"value":{"entity-type":"item","numeric-id":3764122,"id":"Q3764122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$89DA4CB6-8296-42DB-B69C-D90E3228DF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d6d87608a64359b6161a8efff1486aa644c770","datavalue":{"value":{"entity-type":"item","numeric-id":5224667,"id":"Q5224667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$B9ED1A5A-3193-4B0C-B88A-04034CAE32B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b575a9914e442b15c94454a5686178692eb732","datavalue":{"value":{"entity-type":"item","numeric-id":2425351,"id":"Q2425351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$F80115A5-B571-4DF4-A63C-4B850DA78F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b2970d44c6438c1ba9b347686a2431d1e35b93","datavalue":{"value":{"entity-type":"item","numeric-id":1595292,"id":"Q1595292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$899BD9A8-CEE8-4DF2-A02F-663180428AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd83678b3975703e52b7eca845e21c9d2cadf94","datavalue":{"value":{"entity-type":"item","numeric-id":1981996,"id":"Q1981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$1C7D7610-B6C1-4A12-8A22-3CAF059BB53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a31983c914101d90a7c45b0fca55b7509480843","datavalue":{"value":{"entity-type":"item","numeric-id":6075431,"id":"Q6075431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$0A7DBCA8-47B6-435A-802E-CF1D2392417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f27d418c42524706e0c58862a49487dfff3d326","datavalue":{"value":{"entity-type":"item","numeric-id":1981997,"id":"Q1981997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$5B0B8788-4840-4F8F-8718-0CC07DCB5B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890656befed2547e72cd34af2e3a6a6a61f71561","datavalue":{"value":{"entity-type":"item","numeric-id":6051422,"id":"Q6051422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$4EA2DBF9-398C-4735-BD18-9B2036097525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0e8d9f25bf5d379a7e2b5120ae4f5740a8d53d","datavalue":{"value":{"entity-type":"item","numeric-id":4388801,"id":"Q4388801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$308A5313-72C1-42E2-8576-916EBB18C025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf458497f6faec4d98c7cf5e11ee9d20aefe8dfe","datavalue":{"value":{"entity-type":"item","numeric-id":3616418,"id":"Q3616418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$2131DEBD-1695-4F16-82B8-9324EAED3F63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b603a1e008cf8c646854e0de24e93454726724c","datavalue":{"value":"10.1017/S1755020323000333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552264$A582CAAE-C9D5-4545-AA02-C3FD4A78C3E2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552264$1A02DA55-C7D0-48B0-8DF1-231CC1A404C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ontological purity for formal proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ontological_purity_for_formal_proofs"}}}}}