{"entities":{"Q4632324":{"pageid":6661905,"ns":120,"title":"Item:Q4632324","lastrevid":53409269,"modified":"2026-01-24T22:14:59Z","type":"item","id":"Q4632324","labels":{"en":{"language":"en","value":"Type theoretic semantics for SemNet"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048499"}},"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":"Q4632324$682FAEDF-8051-493F-8AA0-1F4FC2909EE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0d8a3328c0aadbacb806231bb482bb61f366e32","datavalue":{"value":{"text":"Type theoretic semantics for SemNet","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632324$2351E1C2-28E3-4218-9D46-5FDC61C39CDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a57d471511626ea491bc46211b1243f243bea8db","datavalue":{"value":"1419.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632324$98FC12AD-DDB7-452D-A902-FAD430038944","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc4f4b6004a12420ff131b5d6b79db42f3366ede","datavalue":{"value":"10.1007/3-540-61313-7_102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632324$AF3102EC-63A3-4C10-9740-CA2A766C1A00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5469fc662fa74c1289879f047c5642914a1a5026","datavalue":{"value":{"entity-type":"item","numeric-id":4632284,"id":"Q4632284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$649F3285-333B-4E70-B793-81AF78369C7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632324$02298375-7C78-4100-BE1A-BF65E1067E12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632324$F4F4F968-E04E-40AF-881A-395B638EB3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632324$BA63CC4D-9F81-41F2-8D1E-6B6EC2986206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632324$7BB2B9DA-0A88-4FC4-A8E0-63305602A2B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"796f5a445ad692cc1df779ea8e19fb3332e29f6e","datavalue":{"value":"7048499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632324$006CF5B5-C9AA-4485-8144-9F3479FC2949","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632324$8CAA4DAD-9AC5-49A1-8566-957EA0A6637A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9e0ca9f12a140ce0016669e8aa5ebc0efa00","datavalue":{"value":"semantic network","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632324$4CDB6FA3-389B-434D-BF21-56ABF1EE0682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632324$30AEDAE5-B34A-4BA8-A0B1-70A111EBF2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d5d1060c825e3708c26518a6ad792d38e97dce6","datavalue":{"value":"reasoning mechanism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632324$AD8EE519-B2BB-441D-B233-567F9492A517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632324$BC1CA29B-B590-4F09-B9FB-EA71F52C6D59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$2AE19328-79B4-4546-90DC-601F03906520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$D47C5D9E-1822-479D-9940-D6B343D65E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$DD35714F-8533-4B33-BABD-1F60E4F5B4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$FD906DE1-918E-44BF-9E19-8E0DB7450351","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":"Q4632324$CA8B20C3-AF1D-4D29-94C7-9BE58DB78DF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bdef5db53016a555f01226c844a462c7a26f784","datavalue":{"value":"https://doi.org/10.1007/3-540-61313-7_102","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632324$082CF96A-3BB4-4BD8-8032-C5A0C892F0FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faba3df043aedf5abdb357a9d01b6595dc65388b","datavalue":{"value":"W1604059784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632324$C1E7E842-48E6-435B-A319-154F3703E437","rank":"normal"}],"P223":[{"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":"Q4632324$F26479D7-9C3A-4984-AF90-2156A3635EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$D2E1E191-ECD4-4C54-B61D-1B171D2B8D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b29185a06062b923ebd436e921eb85b26f31df","datavalue":{"value":{"entity-type":"item","numeric-id":4843401,"id":"Q4843401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$E68566D1-86DC-42E7-B77F-A7CCED37A1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$90764C85-00F3-41C0-86FD-9E680FDE95D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$133F1A13-1BAB-4436-93D2-4573CA574EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$F46D773A-F5D5-4512-A133-BC14542FFFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a2231ccf7a1d99a863331c79073d7c984aa1d8","datavalue":{"value":{"entity-type":"item","numeric-id":3321495,"id":"Q3321495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$6A597B31-3F17-4119-8E94-410B4CC4198C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0126acbe9349f2377fba8ea4597a6fde5eafa3e7","datavalue":{"value":{"entity-type":"item","numeric-id":4003161,"id":"Q4003161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$A2F366B2-CD0F-4EBA-A872-529D70DB5C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102e39539b6fdc1aea7c861d54ef1c2edd79fab2","datavalue":{"value":{"entity-type":"item","numeric-id":1202629,"id":"Q1202629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632324$228CA2E6-A8AE-4437-9554-6868DA057915","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16508669d2ef07452887fd58fab81c5dbb0393ba","datavalue":{"value":{"entity-type":"item","numeric-id":4003161,"id":"Q4003161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d086812ce0348969f2dd8d9355b43b0f2edbef82","datavalue":{"value":{"amount":"+0.775948166847229","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":"Q4632324$EE415379-7B26-43E7-A6D2-6F5FC73EF30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4cc4e163d96ec665e22b90913b2f57598d1d5d","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62367411a91de7b8f8652d335f0ac4bdd0f2ab39","datavalue":{"value":{"amount":"+0.7758449912071228","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":"Q4632324$6408F613-F3A4-4644-BAC3-8E8F3744B61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44b27cbc312e0861c25d5e57209bd383487f474","datavalue":{"value":{"entity-type":"item","numeric-id":3700820,"id":"Q3700820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c04ba90dc9167cb62a2042ca8a596a72597446","datavalue":{"value":{"amount":"+0.7142157554626465","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":"Q4632324$672CBC8C-63E4-488C-B06D-D672DECA3E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20dee056e69b227c249a4bb358d4399c9542ab2a","datavalue":{"value":{"entity-type":"item","numeric-id":3730009,"id":"Q3730009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f57c146944a875340da44baf50a96662101bcb2","datavalue":{"value":{"amount":"+0.7140153646469116","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":"Q4632324$B888487E-C03B-479B-989D-C8FB361B118A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cd9f12cdb61a4d84b54495b6f72e729dc6e571","datavalue":{"value":{"entity-type":"item","numeric-id":5420764,"id":"Q5420764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1db6c5eb957bc207e8627ee7602abe2cc476129","datavalue":{"value":{"amount":"+0.709679126739502","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":"Q4632324$40BC4F70-AF45-467F-8A05-462ACA7C70B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632324"}}}}}