{"entities":{"Q6904528":{"pageid":20926504,"ns":120,"title":"Item:Q6904528","lastrevid":84172145,"modified":"2026-05-13T00:25:33Z","type":"item","id":"Q6904528","labels":{"en":{"language":"en","value":"Hyperintensions as computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8117029"}},"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":"Q6904528$35C4EDD0-1824-4B2F-840A-A4813F35F969","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bab0679f19572c93801caaa911a497481bfddca0","datavalue":{"value":{"text":"Hyperintensions as computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6904528$DDA39B41-CD3D-4037-A056-93D6F95B8C3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dfb22819db3866eca991fbd8b96ce36601c416c","datavalue":{"value":"10.1007/S10992-025-09809-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904528$B43346C9-9577-4659-A106-CBF6C31B69CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18913cec03ba282016e056a5c89950c1912b88a","datavalue":{"value":{"entity-type":"item","numeric-id":2148781,"id":"Q2148781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$F6CB14D9-7EB5-4F83-9B42-C28BF7FF71F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$C4136339-BC0B-468E-8C41-FA7F7397C2C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb362a705940cd90fcce9cff27386cf2e571803f","datavalue":{"value":{"time":"+2025-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6904528$67233793-80AB-45E9-9834-5DE7E82C0F1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904528$16C5A0B1-D54B-4CAC-AEE9-DCF0F64561BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e806b6799deb8afe5ac11ffc4d14c08ccbe081be","datavalue":{"value":"8117029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904528$ACE8927D-E6CF-431F-A28E-854CDA38D167","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68ac67699d717f9a30fa14785b198d5b0f319de5","datavalue":{"value":"hyperintensional typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904528$4BB9BE93-CFD2-4E46-82DC-F95855EFAA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f13c15b7b40e6ca423f3cc21d0bfdab128307f5f","datavalue":{"value":"transparent intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904528$7CBF4BDE-D53D-4DE0-B736-3B22BFC074EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c7da3cdb45531f81e44434a8bdfe7aede60be3","datavalue":{"value":"hyperintensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904528$5ADCEBFB-24FB-49E0-9E74-2E6CD199F7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dcf343e805a12fcdd3a3f4a7e210f6af7168f28","datavalue":{"value":"trivialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904528$CA6B75C6-1C26-4BCF-94E3-D7734AE984F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1384972c6d6032c0f8a2c9431b5f0d0dd50e148e","datavalue":{"value":"execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904528$9E90C3B4-4CF1-4192-89A5-AEED90E599C6","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":"Q6904528$C501229C-87C2-45AA-A94C-A237E867F905","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$D201D543-801F-4FE4-8ED9-B9F0B3C447BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$8A810217-FCBF-47F5-8378-70AEA91568BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d924809cd7dde4fee01261ee91e6338b092ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$8F7C9315-8616-4804-8D2C-AD202844562F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f9c621289145389be4c5216ec9442d6665b7d8c","datavalue":{"value":{"entity-type":"item","numeric-id":600847,"id":"Q600847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$C7D019E8-CF8D-40B9-8846-1C50C0854BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4188e4adc39d938f7f753a7d31f5eaa4e9c4651f","datavalue":{"value":{"entity-type":"item","numeric-id":967450,"id":"Q967450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$82565E8E-8620-4F30-B994-7493F4E05658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$B6EF6B0C-EE23-4DD3-B4D9-97ACCD7E29C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf6a82bcf97281b81b60ddf72e98208ffc059d27","datavalue":{"value":{"entity-type":"item","numeric-id":5039101,"id":"Q5039101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$CA078578-2FA2-4F8A-BB5C-203AEFBCA8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219172a5a05cde5e3e3261d771662a8b15b69b64","datavalue":{"value":{"entity-type":"item","numeric-id":3929724,"id":"Q3929724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$6ACDC1B7-0BFE-49D9-9985-1EE6CA464AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$3FED27AF-A964-4266-BD9E-EDF9D74F03DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"798e4d4c105e6646066d99fe901e315e64efa6a8","datavalue":{"value":{"entity-type":"item","numeric-id":2052190,"id":"Q2052190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$A43D07C4-D4B6-4645-86D1-66209C67A37E","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":"Q6904528$951D5BFC-DCB2-4D7B-BD02-2ECAE54999D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d83dd6b1612be5deedbb6b4eb6960cd26983fa","datavalue":{"value":{"entity-type":"item","numeric-id":4982590,"id":"Q4982590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$71657FB5-7563-4ABC-B3C9-49133C2CA9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$A0F228A8-0F29-4FD4-A396-5136F80C7CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$E7A4DF2F-2DF8-4EF6-AF26-8AF58D0D38B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$3D360784-83C4-41E3-BF84-238552F5C918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51710d16df47098577e7bc8302697270258984d4","datavalue":{"value":{"entity-type":"item","numeric-id":4565827,"id":"Q4565827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$11355442-DA41-4C8F-8658-CFB92A743817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4425145ebfc0258865ceeb6717caa8a6a8a55df1","datavalue":{"value":{"entity-type":"item","numeric-id":2228351,"id":"Q2228351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$1B9297D6-3822-40F8-8BD2-0D2C54B33E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73563930652a8be991ea6cf3fef29593c07007bc","datavalue":{"value":{"entity-type":"item","numeric-id":6599527,"id":"Q6599527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$64499092-A774-4EF2-8C96-4458E7722840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4f611848d8b311a2b1697bb52f350e0276d096","datavalue":{"value":{"entity-type":"item","numeric-id":6599534,"id":"Q6599534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$84F5538E-8D64-4D6A-B008-F36E3531A029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d1e94444ca4a7791a3f148aa99563feb3a57aa","datavalue":{"value":{"entity-type":"item","numeric-id":2693110,"id":"Q2693110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$1BD506F4-CC29-49B4-9482-CFE7042CEC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$629253F8-09E8-44AA-94C1-2548B8C8D135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2abd41d747ddb3dbe2ccb9ebc7b621dd443fa071","datavalue":{"value":{"entity-type":"item","numeric-id":3992728,"id":"Q3992728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904528$36885C04-CE33-45FC-ABE9-009794C9D7FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperintensions as computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperintensions_as_computations"}}}}}