{"entities":{"Q3499754":{"pageid":5529657,"ns":120,"title":"Item:Q3499754","lastrevid":50370329,"modified":"2026-01-13T22:08:47Z","type":"item","id":"Q3499754","labels":{"en":{"language":"en","value":"In the Search of a Naive Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5282033"}},"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":"Q3499754$3547859E-2079-40E0-A764-8F1E558ADCB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e60c78b25adbb62af1283253e72e1f57178d58f5","datavalue":{"value":{"text":"In the Search of a Naive Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3499754$0F607D6B-4E5A-4C58-9518-DE13868812EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db14b765197738602c6da786724825a6c763bc9c","datavalue":{"value":"1138.03311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499754$804FE322-1558-459D-84CD-D4A59586B65F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89ca7a3484b6888d7c94f792a940a1a222ce7ed1","datavalue":{"value":"10.1007/978-3-540-68103-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499754$5BA3340A-DA35-4A08-AB19-0A9C6B387EE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b318c945ffb770264958d58f95653b38df7961a1","datavalue":{"value":{"entity-type":"item","numeric-id":3499753,"id":"Q3499753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$C96015EE-3745-49AE-83BE-7E5B0317304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$4A2B749E-8858-4552-B1CE-5D938A1E2533","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$10BD9D0B-EE61-4974-85D8-9143175432FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88e4ba475cabd2d879ecee60d295bc12168aa5d8","datavalue":{"value":{"time":"+2008-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3499754$883BD22A-D8DB-4B44-9282-0D56EB752EF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499754$A5F465B0-8703-49AD-9F2A-60AFE6943DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499754$A1EECC2D-527D-4571-AD24-661941B37F3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a91d6bc4aa7a26f5c6998901cb016313c73a0fd1","datavalue":{"value":"5282033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499754$27071B6B-E525-4D78-B5EB-25074432729F","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":"Q3499754$21EED7DF-2399-42D9-A31E-6F659BBDA050","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"287a757ebfb9b2d9cd7dd67fc0098cdd5f742d5e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68103-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3499754$E5EBBA77-89D0-4593-B545-1853F535FADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"756e733b7cd5e6e779154e93013b69c0e452b308","datavalue":{"value":"W1875040660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499754$C2023B48-77F4-492E-AF42-954146512CAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6618e91a75816dcd4066818a4f985d88eb94f855","datavalue":{"value":{"entity-type":"item","numeric-id":3612432,"id":"Q3612432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$0E235142-3185-44D8-95AB-FC042534686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$8F58743E-3FD4-4895-B014-B813708B5F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$4A45B31B-F40F-4BE6-BEC5-61590027FF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3f06681ac1eb8fab5528d79086d8352e82e8e9","datavalue":{"value":{"entity-type":"item","numeric-id":3024819,"id":"Q3024819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$A7331C0B-5A39-4E4F-91C8-D849670795A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$2E0763F7-0E43-4918-AD85-D3C619266419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$00E0E77B-1288-4277-8030-19358989448B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$4C57DDFB-2766-4E53-93DB-3B64E4020B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d35cfac3bac0a6ec08d36fbcb92f32a2072ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":4823137,"id":"Q4823137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$DE948E9A-2B0D-42E8-8E6C-55054AFCE296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01435cadc75e94974b2e7fba3dc651bc9c54eeec","datavalue":{"value":{"entity-type":"item","numeric-id":1805041,"id":"Q1805041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$710D98DB-20B8-4122-ABBE-4A727D67876C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e469695a6ccdc7d8268978ac58e95413371ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$3F95C979-A2FB-4977-8FEF-030A97DBEC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2dade93a965b4ec7651716b5bb52a35509088a","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$658D5BF3-88EC-4016-A2BE-9B14238B2695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c408531798202a8856f1577d55c4dbee05dc21fd","datavalue":{"value":{"entity-type":"item","numeric-id":946569,"id":"Q946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$E35EC7E0-A85D-401E-8F51-B8CC9882723E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6df8358e73b9dabbb280b801074bff4bd2fbd75","datavalue":{"value":{"entity-type":"item","numeric-id":5307081,"id":"Q5307081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$523EAA48-9487-437B-A706-5085C4D9CEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ca06956d12cdd8fbf2e47a620d3092d301008c","datavalue":{"value":{"entity-type":"item","numeric-id":3257866,"id":"Q3257866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$C1D0A822-2DB1-466D-8AEC-480658DCEB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d623a8e65d7930da0f4edbbd56cfd23f3252fedf","datavalue":{"value":{"entity-type":"item","numeric-id":3024841,"id":"Q3024841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$3EE9A130-A11C-468F-A29C-ECF8609559C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5155f3770ecaf73629e9ee72eb4b0bcb967ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2541215,"id":"Q2541215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$89A1731E-D181-470B-9E8A-BDC1E17E0FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb55b5694675fb344702eae902b8a2785ded516","datavalue":{"value":{"entity-type":"item","numeric-id":3149961,"id":"Q3149961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$05041FD6-A59A-45E7-9BF7-A70CF7B8F9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$2EFC0917-8170-4571-8DC7-483D9320C5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07fff4850dccea0ebc91a69a23f8fa61499e669a","datavalue":{"value":{"entity-type":"item","numeric-id":4871632,"id":"Q4871632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499754$232361A2-3FDE-4421-9C4F-196464595101","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41494180beba8f147e8495d4978248458a3eb64b","datavalue":{"value":{"entity-type":"item","numeric-id":4823137,"id":"Q4823137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f6572c276917dbfd7ec9665cfa5ff3c2aab9cc","datavalue":{"value":{"amount":"+0.7727927565574646","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":"Q3499754$A7F16891-3913-4005-8027-3A8A80E2677A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121120b16fde0ef16a7f416c14d4150c04ff45c4","datavalue":{"value":{"entity-type":"item","numeric-id":4247310,"id":"Q4247310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d13faac204eb22d200e9d9de906af0b1d19e02","datavalue":{"value":{"amount":"+0.7397094964981079","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":"Q3499754$B508F1A7-ABE3-4F27-8895-5F3E24AF2E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d13faac204eb22d200e9d9de906af0b1d19e02","datavalue":{"value":{"amount":"+0.7397094964981079","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":"Q3499754$5F148303-AC8D-4E4B-9321-1F9F4C6F6572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4aceb89ded0586b4466107863cec1384fd4019","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b06ed2766352eb7aca64fe2a2105b4d58a85e3","datavalue":{"value":{"amount":"+0.7245026230812073","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":"Q3499754$37A99246-2190-4778-A60B-332504455108","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":"7c689f461fc0707d64940f432d4927aad4e9034d","datavalue":{"value":{"amount":"+0.7235764265060425","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":"Q3499754$E82E9897-7ACA-46F6-8E3A-FEFFA5A951C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3499754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3499754"}}}}}