{"entities":{"Q514081":{"pageid":515848,"ns":120,"title":"Item:Q514081","lastrevid":62460495,"modified":"2026-04-11T06:14:42Z","type":"item","id":"Q514081","labels":{"en":{"language":"en","value":"Type-theoretic logic with an operational account of intensionality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6693078"}},"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":"Q514081$A20EA50F-5254-44A1-AD4D-C9B15A0F7898","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19e684711239d4e0c374ae5f4ebb30037b13518b","datavalue":{"value":{"text":"Type-theoretic logic with an operational account of intensionality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q514081$B0AA3DF0-B162-47FE-8D40-D47FE095238F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"685250aecdf17c83b9523fc15104ef3510151ff0","datavalue":{"value":"1357.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514081$E031AB3C-BA01-4DFD-85E6-1F0EF4A0E83C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a08d73b375fcd38ee41f66e8ad2b0423294393f","datavalue":{"value":{"entity-type":"item","numeric-id":514079,"id":"Q514079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$5DF980C6-EB5D-4700-B3CA-8C73B66FB1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc18d343f4e0b24af25968ccc128fb949b169952","datavalue":{"value":{"entity-type":"item","numeric-id":514080,"id":"Q514080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$5AFB679C-6833-4606-89D3-FE95B67699BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$7B157CF2-0F68-4DAD-B454-F792A60416E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfcac69084525e2046d0325e944af21e7e0a5836","datavalue":{"value":{"time":"+2017-03-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":"Q514081$855F48DC-AFF6-4483-B55D-426332DA11DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514081$6199ECC7-98F7-4426-B11D-730B6F0E7998","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f81f72ac1d3b4fab79b5f94e7b739e3050f6e5a","datavalue":{"value":"6693078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514081$CF5B1FD4-42A2-4780-925E-588D2137C824","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9322e1c6fd25e8a806b81d0f77ba508ce12c0c","datavalue":{"value":"intensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q514081$E4B1997A-695C-40CD-AD6C-F8317FEA6CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q514081$F15B36EE-AD68-4C79-A588-305D6ACE0CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q514081$804016D4-24F8-4469-BB7D-6920C59DEEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q514081$5759C03F-33EF-4A3A-91A2-8B3D92BB3448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49571c6f9ed4a488c3fc9e504bfbabfd66a64634","datavalue":{"value":"operational interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q514081$D5D4D1B8-222C-4D9C-9D2C-B6048BA9AE4A","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":"Q514081$32357180-EE67-4078-8DBA-9B13B5258D92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31b943d93601188b20adbc0bcad4b8457fdc9829","datavalue":{"value":"https://doi.org/10.1007/s11229-013-0390-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q514081$A9B4849E-AF6E-463E-A982-527FAE3DD0CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8224d83e19d257cee361b365fbae3e24d0e42bd","datavalue":{"value":"W1971532953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514081$E26E73F5-F8F2-48BE-812F-419ECA6A9E1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$DCCFAB2E-C1CF-4245-B0BC-E845A5529D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b248c9a41ac79c43d6cfda81503444339c93564","datavalue":{"value":{"entity-type":"item","numeric-id":5791196,"id":"Q5791196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$4204B870-14CC-42BB-8608-E8D4FF24D4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$8CB0E1D9-9E54-43AD-BF26-473A522C58AC","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":"Q514081$027281D8-62A3-4318-8ED7-468BCA0C98B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f85729a6f41f07f16f0951c9ab4cafc78d5215","datavalue":{"value":{"entity-type":"item","numeric-id":5385205,"id":"Q5385205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$D27C4A0A-679E-41EE-9942-1495265100F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0457f0d5a737e9bb31a4a77d28a97e459977c406","datavalue":{"value":{"entity-type":"item","numeric-id":4108293,"id":"Q4108293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$45FA8162-E378-4337-BD6D-DC9F78268446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a01a68c4d0fe8fcb458ee43a48b87e7031e5eb4","datavalue":{"value":{"entity-type":"item","numeric-id":3992706,"id":"Q3992706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$0CEA3E1C-E20D-4A47-9323-7729D46EADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc009c2cb6f0919209501e2b8a10dd4d97c62502","datavalue":{"value":{"entity-type":"item","numeric-id":5385204,"id":"Q5385204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$35D7DF7B-8243-4636-828E-F82D20A74D6A","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":"Q514081$F2FAF1DD-8F28-4BF7-938F-1081BB6AA29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7787980c73ac855fd6432cafe777aea8d7bcfe6f","datavalue":{"value":{"entity-type":"item","numeric-id":3025331,"id":"Q3025331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$42701ED0-9A4A-41BC-BD36-A9B1795F28FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb76a88094951146b1e0861f40dbd8985bbcb6a3","datavalue":{"value":{"entity-type":"item","numeric-id":3528043,"id":"Q3528043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$EB75F38A-B9F5-40AC-A3E6-8C6CF5AD4D1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d82d53bebd6bb3725bd82d83bd703a628092aeb8","datavalue":{"value":"10.1007/S11229-013-0390-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514081$0804B55A-CFF7-45F5-9F34-835CB3FB18D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38dc4aeab6dac0260fb525910bd5c29dc533d92b","datavalue":{"value":{"entity-type":"item","numeric-id":4821651,"id":"Q4821651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee40b86591faa447a9eef6ef0d4eced3e99c84a","datavalue":{"value":{"amount":"+0.7558572888374329","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":"Q514081$655CA3CA-7197-44D3-9C2B-913C04D218B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17cefddae1171efe82cd2b0d04f4ef10a8977fa","datavalue":{"value":{"entity-type":"item","numeric-id":5324178,"id":"Q5324178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40feac4ebd06780e9661931a45b0f90be0698f0","datavalue":{"value":{"amount":"+0.7451127171516418","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":"Q514081$FA630050-D6EF-41B0-8B9E-01D0153D3834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c76e3328915a98bb62cfd5fd651797e6e42dae18","datavalue":{"value":{"entity-type":"item","numeric-id":4941945,"id":"Q4941945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0365ecf270b7b4b9fb4bc9beb643ab191aefb1d0","datavalue":{"value":{"amount":"+0.7205737829208374","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":"Q514081$3BF04812-3141-4072-A47A-2C1E97480F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cafac9ae1e05d141a3096c624f5ee14075b19f","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fea674d0977ff3176606bf3592e29125c9c6e6e","datavalue":{"value":{"amount":"+0.7153723239898682","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":"Q514081$72CFA659-3EA8-4427-A009-9838C0F4F1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2fe626987fcede068bac9f41dc6de2d1ba9ea2a","datavalue":{"value":{"entity-type":"item","numeric-id":4736390,"id":"Q4736390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e09ae9d8e8cbe994ba08c16c6f0bf54b5c8af82","datavalue":{"value":{"amount":"+0.7126864194869995","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":"Q514081$F9EDEEA1-4402-40E0-AB62-74819E9DB82A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514081$A550A27C-4417-4396-8AE9-B8FFA246B92A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type-theoretic logic with an operational account of intensionality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type-theoretic_logic_with_an_operational_account_of_intensionality"}}}}}