{"entities":{"Q1264134":{"pageid":1274884,"ns":120,"title":"Item:Q1264134","lastrevid":70031718,"modified":"2026-04-13T11:58:14Z","type":"item","id":"Q1264134","labels":{"en":{"language":"en","value":"A non-compactness phenomenon in logics with hyperintensional predication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128781"}},"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":"Q1264134$487D5633-4BD3-46D1-B476-2E857C7B68F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd006d6b5754ee59506ffde0b22245d0221cb819","datavalue":{"value":{"text":"A non-compactness phenomenon in logics with hyperintensional predication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264134$895BDF55-CA58-47CF-8C58-8FCD4F682389","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dba73965a1636ad75cb6e68de3e47076c04fd707","datavalue":{"value":"0689.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264134$15997399-E711-447A-8DBB-BE8019AF61A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31d242bf7c6a3f5f984b00bea28b205629177567","datavalue":{"value":"10.1007/BF00262942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264134$A1FC583F-3D16-418C-9129-120A27183954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3b8a268626b88efa1a2e37272504046cc403f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1264133,"id":"Q1264133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264134$7E8D776A-8B84-4AA5-957C-CE01D0C34066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceb85b48ec12d7f6a6d7ea0e4b9c87f925bd00af","datavalue":{"value":{"entity-type":"item","numeric-id":585185,"id":"Q585185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264134$A9382F6E-4A11-4EC7-96CE-DE84A71F913A","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":"Q1264134$8D229842-F825-42D7-9A42-B470C62CA0F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1264134$8CBB099C-32F8-4BE3-8DE8-4435A08A821A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7fb0a031ffe3d5bbc62843988737b4fb48544074","datavalue":{"value":"This is a well written paper in which the authors clearly and informally explain the philosophical motivation for the type theory they use before rigorously proving their main theorem. By ``hyperintensional predication'' they mean ``a predication which can assume different truth values on terms having equal intensions but different senses''. The informal exposition clarifies their uses of `extension', `intension', and `sense' while linking them to other treatments of substitution of terms with equal extensions and intensions in expressions for propositional attitudes. They motivate using a type theory adapted from A. Bressan for a logic in a language capable of representing extensions, intensions, and senses. They prove that this logic lacks compactness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264134$BFD54DA7-84A1-4921-943C-117B0C37FDA8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bed602846c7cd1aca477737525739d8e83d5c5a2","datavalue":{"value":{"entity-type":"item","numeric-id":599802,"id":"Q599802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264134$7805A913-D289-4E52-99B9-DAE4086E186F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264134$4B15FCDE-61BB-4E3C-9D62-6A04DED158AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264134$483E120C-3406-470F-AFBB-6162938C8D94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a9bbf8189e293a0a6d3942eeb04460dc73131b3","datavalue":{"value":"4128781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264134$D11AB127-815B-4643-ACBC-9BEFF12676B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ef2be2ba7578cd212479eb8c745709ad12bb3f","datavalue":{"value":"Bressan approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264134$ACB6ACA2-7846-4902-AFDF-40C7F4C44AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264134$4AEF068E-A062-41E0-89C4-5F431B81E588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"140d5c91e32a080a1279f2b87ec862c0c188a14d","datavalue":{"value":"hyperintensional predication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264134$F30E6616-E634-466E-B10F-F51828870FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57abbe45df97623466451dfcaea3ae51c3cd46ea","datavalue":{"value":"extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264134$13F371E9-D0CC-4041-8D90-4726C6F8CC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b569c07ca8a70b28e5181e90dcf1ce8bc2b6f5e","datavalue":{"value":"intensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264134$24B6AC75-BAAC-4DEA-A2D2-149FF853153C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac1b5a26931f7193c5695fd4356ba0552cfb12","datavalue":{"value":"senses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264134$88CCCD8C-09B5-4AAB-9911-9E5EF8DE68E4","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":"Q1264134$72E68291-F658-4CB4-9914-956C1A8B3621","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bca35f28391daf9c8df839b3c39660a78c9dec50","datavalue":{"value":"https://doi.org/10.1007/bf00262942","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264134$EC13A260-E41B-492C-B822-72EFDF3FAB3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a009cc487faf12519d1616a90349177110a67c90","datavalue":{"value":"W2002953953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264134$B9989A2D-A9D8-47FD-BD6E-D8B18B12FE52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90e224184897121cc780ad85950b8c5062bcda5","datavalue":{"value":{"entity-type":"item","numeric-id":1406443,"id":"Q1406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ac039c8711ec0fbc748eff48d51fdaef7ef976","datavalue":{"value":{"amount":"+0.90115404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1264134$5EE4E14F-48AD-4AD9-83E4-423478072C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffd3255c50569f31c6d8e8a4c385c0bc099a4d8","datavalue":{"value":{"entity-type":"item","numeric-id":3224007,"id":"Q3224007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f309289eea800d0c3cca91bdecdb0ead19689ee","datavalue":{"value":{"amount":"+0.8925366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1264134$803362AF-DB7E-4EDC-A1E3-65E4C4645F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc0fe41500678282e2d59cd42a6b13166a7bb9b","datavalue":{"value":{"entity-type":"item","numeric-id":3340840,"id":"Q3340840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4ea2f5db89c26acffd0517811267f350f70b50","datavalue":{"value":{"amount":"+0.8893359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1264134$22331D8B-04F6-43A6-BA04-4CBB2E03867A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed980e8b350a06ce0a36bdcc49ea1eae4889e30","datavalue":{"value":{"entity-type":"item","numeric-id":3812223,"id":"Q3812223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b06d74f54d6e2d8fc09f96a18c51998bb1f1c1","datavalue":{"value":{"amount":"+0.888729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1264134$5D2AD9CF-5F63-4D68-836E-F482E85CC6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73de6618ff0ea8033efdfdcd97da9f1c658ee07e","datavalue":{"value":{"entity-type":"item","numeric-id":1823924,"id":"Q1823924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe43b3341b56838c7880f1558c94d1c132f71e0","datavalue":{"value":{"amount":"+0.8867039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1264134$00040454-6989-475D-83CE-48C7558DEBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c1069cbd1ea91b1006384869b5ec71de79a632","datavalue":{"value":{"entity-type":"item","numeric-id":1208083,"id":"Q1208083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b733d76af2e4c8e22fff78e6b16be92e20767df8","datavalue":{"value":{"amount":"+0.88620865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1264134$38E986AC-5E24-4B39-A697-AFBF00E451C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fec4e7deecb0f7024e304691aad87c74e55c5a9","datavalue":{"value":{"entity-type":"item","numeric-id":5311050,"id":"Q5311050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb2ae1408864d580565b95e5053502ca1a45410","datavalue":{"value":{"amount":"+0.88443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1264134$091CFC4D-B66C-4FD5-ACCC-1E0E0942C955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7cdd83b865fbe93140f669259d2e7a5c27e1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3329438,"id":"Q3329438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1811daf5d4f0fb5f6708b4324edb0437c51963","datavalue":{"value":{"amount":"+0.88344705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1264134$7C4CA63E-746D-4570-9FE9-E150530E9FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86dcc3658fe9ec53396b62e60023c6879b30580f","datavalue":{"value":{"entity-type":"item","numeric-id":4985674,"id":"Q4985674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882e5d2fe10e66258fd89566887ba5d94b47bf40","datavalue":{"value":{"amount":"+0.88322234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1264134$E0A54F9A-270D-49E9-ABEF-F8CC8D69BADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d1ea9facbf02a158db31767438d7113b05348a","datavalue":{"value":{"entity-type":"item","numeric-id":4032865,"id":"Q4032865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2d5dea1fdb1e3a3acfeee7e525bf64ced9e7f3","datavalue":{"value":{"amount":"+0.88273096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1264134$7810E1D3-5E9C-4BE6-B570-3EA7DA6EDBE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-compactness phenomenon in logics with hyperintensional predication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_non-compactness_phenomenon_in_logics_with_hyperintensional_predication"}}}}}