{"entities":{"Q1430899":{"pageid":1441639,"ns":120,"title":"Item:Q1430899","lastrevid":48274795,"modified":"2026-01-04T04:59:15Z","type":"item","id":"Q1430899","labels":{"en":{"language":"en","value":"The semantics of entailment omega"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2067615"}},"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":"Q1430899$B1268A1B-062D-4CF2-A215-691AC6A93F71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73de0c7983b62ebbe9c57d324ddfdda71b2c8d85","datavalue":{"value":{"text":"The semantics of entailment omega","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1430899$0DB4F401-F3D9-4F83-9FAA-CE59271A5900","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2310356d2d01c52e2d3079ed8002a5176641232","datavalue":{"value":"1042.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430899$5D3A14E1-33BB-41CB-9086-C5CD0CEEA107","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$F3DF66DC-919A-43F5-967B-2BE3F0324BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56eee76cc68923f40cf5d662eafe557e3cda46d","datavalue":{"value":{"entity-type":"item","numeric-id":452354,"id":"Q452354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$E0818E22-EC2E-4F96-BECE-9E75F8F0EBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"535cc318fb3332836bda701d8719df6e2f78068d","datavalue":{"value":{"entity-type":"item","numeric-id":1430898,"id":"Q1430898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$E2D0203C-B059-476A-B97E-A62A6C9AA61E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$F32B7170-615E-4AD0-AAEC-5509B36CD6EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1430899$C2CE99D4-890D-41FB-8E38-1C50F04BB2E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430899$5CFC1CC5-0BA2-4D34-B6BA-5071860AD1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430899$F77EC466-B237-4564-B94A-24B183AB71A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430899$ED143F10-7CC9-4856-A0A1-E66049BDD889","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b694408f6c0dfa5ce19a59f730050a5d2cb8fa3f","datavalue":{"value":"2067615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430899$B9B9E62A-DC99-4C0D-A2D4-B0E66DB874C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244169d45777a21a74ca95ec1079fbece6f7e560","datavalue":{"value":"minimal relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430899$399877BD-D7F6-4A28-8ECC-CDCE4D5A11D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0249ca00f28096c78fee488245db9e1b4672653","datavalue":{"value":"intersection type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430899$07DC5A43-37FC-4D3C-B606-DD22EBA6DDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a17c07403f57e718e5e7dd2eb7dc59ff25f648d3","datavalue":{"value":"lambda model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430899$60A09B8C-1FB6-4F23-BDCC-D80482B26CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430899$66BBEAE0-ED61-4719-AEDF-C660BB7CF397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238fd742794dc216acaf8927bacad7686033de68","datavalue":{"value":"Harrop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430899$1149C47B-4CD5-4AE8-8160-478125AAADCE","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":"Q1430899$8CAFA6A4-0449-4B52-9D1D-A4481D52B0C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f313b3b2de8bb6f275a44baa5d09af6945f1126","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1074290712","type":"string"},"datatype":"url"},"type":"statement","id":"Q1430899$1BF95C51-AC68-482B-9534-D9DDD68C4EE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23cdd458f7c9ae95c42e0cec80e5c8ff1b8ebd01","datavalue":{"value":"W2001951112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430899$FC009A8F-491A-436C-9B38-743F61819ED2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$A95D544C-FA40-461C-9BE1-DE86BCBC6992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$119EC3A8-8032-4EB6-8B09-2AC9CC1C416B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$25B31382-8B22-454D-B60C-52617F4CA00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$1D82E72B-CCD1-4BBB-AA07-C285ABFAED20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$15CC4366-C5B6-4C2A-808F-D6F548E4585C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$AE62D0B8-6BBB-4D07-A508-6478F6270B81","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":"Q1430899$586A86C5-B952-4F7D-BA59-C41F2640AA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76afab86c4743f9938c618014047220792d9988e","datavalue":{"value":{"entity-type":"item","numeric-id":2842838,"id":"Q2842838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$04EB960C-907E-40F2-BFF5-362A45FBB5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89e1dea9ae54da61df976210a8364498b414bf","datavalue":{"value":{"entity-type":"item","numeric-id":1199823,"id":"Q1199823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$9130773E-F06B-4B60-BED1-32CED90D8A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c7774a17b83f967cda2ae8c5b7fb8e1f4343b1","datavalue":{"value":{"entity-type":"item","numeric-id":5522820,"id":"Q5522820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$4BB41D79-6610-44B4-AFEE-0713844ECA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2cb82b0bf76bd423ad099e8bd8f7af376304641","datavalue":{"value":{"entity-type":"item","numeric-id":5716788,"id":"Q5716788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$F8CC8DA4-83CB-4792-8D84-B04FF19E3754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$E54362AB-DD42-4651-8949-F49E1BEF1705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$25165D19-E0A9-4D4F-8416-A8340F8DBE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$75D51CF0-156B-4A7D-9E20-1538E9EBBF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$D7956E5B-9432-4867-B77D-71A7901B57FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b507dcb1c1074a544c66eed76e4b2adfac01607","datavalue":{"value":{"entity-type":"item","numeric-id":3967510,"id":"Q3967510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$E42D3301-B00B-42B5-90A6-887EB88FC709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb37d4c5374d4a6b2459e0fbb29b51beec76c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4103076,"id":"Q4103076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$4BD4BBA0-E904-46C5-B4B5-A9570E590C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$61D0FE4C-1319-4A73-9974-EE60FE3E10A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$F5FFBFEA-C706-44E5-A491-339624A08962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2c30f25ec3cfab62eb3585cc72cd5d0d7469b4","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430899$C929EFFB-AED3-4BB5-9A96-9C3A588D465F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f959370c46f74a2b9c133eb618e2a6335ae485c","datavalue":{"value":"10.1305/NDJFL/1074290712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430899$A1B8D81D-F2B6-4CEF-BDB9-1E923DB4BD52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54146fd50ee299f350aa200ed88b00fedfcf3130","datavalue":{"value":{"entity-type":"item","numeric-id":1381437,"id":"Q1381437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5da5fc368e65f3de142a12a7a54723689379f4","datavalue":{"value":{"amount":"+0.7965743541717529","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":"Q1430899$ED88B0AB-FED3-40DF-A7C0-5248AC8D9040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25c38baadb359db1847a4cedd34d815b315e524","datavalue":{"value":{"entity-type":"item","numeric-id":2864214,"id":"Q2864214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0063aafa3ff40745dec06b4440c9e55f71c5bc26","datavalue":{"value":{"amount":"+0.789417028427124","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":"Q1430899$DB309FB3-1B84-46AB-8059-BE6F4CB7D32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7777d7659fd0a743f12c94fb9b5a307f16cac7b8","datavalue":{"value":{"entity-type":"item","numeric-id":4459274,"id":"Q4459274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca2639335b4f76688b4a0b9b60b584fd6b9cad1","datavalue":{"value":{"amount":"+0.7813554406166077","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":"Q1430899$5099DF62-3AC7-4C4D-AEA3-65AB3659B266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373473deeb237d4617787bc4e96787651cc8b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":2842838,"id":"Q2842838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef7d4406a7c42d611c2885f8b77cf8442070de0","datavalue":{"value":{"amount":"+0.7554731369018555","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":"Q1430899$44C488C7-0F89-4A20-9A7F-59D631DFC176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3281c8456c844779164c5106b348cd632c0b47ca","datavalue":{"value":{"entity-type":"item","numeric-id":1427854,"id":"Q1427854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dce5990cc632ec262ca821ad3449c34e939daeb","datavalue":{"value":{"amount":"+0.7522998452186584","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":"Q1430899$155B1BFF-0109-482F-B0F7-33D333A13878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1430899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1430899"}}}}}