{"entities":{"Q5739981":{"pageid":7769533,"ns":120,"title":"Item:Q5739981","lastrevid":52572329,"modified":"2026-01-23T00:18:31Z","type":"item","id":"Q5739981","labels":{"en":{"language":"en","value":"A partial translation from \\({\\lambda}U\\) to \\({\\lambda}2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601626"}},"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":"Q5739981$F1E01ADC-D0A7-485F-ACBA-B102698880F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdfce896d94b8390683b83a41c8fb66ac9748acb","datavalue":{"value":{"text":"A partial translation from \u03bbU to \u03bb2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739981$BB8527EF-9B4F-4686-BAA3-33A440F4B7AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a703165a5fa02c9c5698f4f126bf41ba6d916a23","datavalue":{"value":"1403.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739981$8588C37D-E0D5-492D-8DFF-91B0D03E8057","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"383dacaeff47268693229d9aee959fa317b7bf35","datavalue":{"value":{"entity-type":"item","numeric-id":5739980,"id":"Q5739980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739981$260341C3-0684-4BC8-BEB8-8D0A0FC6A8ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83a193227d6ba6906cd45e4bab84652b56c48091","datavalue":{"value":{"time":"+2016-07-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":"Q5739981$803B39A2-4595-4D44-ADCC-19048F860149","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739981$12CF7B02-2238-4CCE-9B5F-CD5C44A884E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739981$B51E952A-DA34-40BC-84E0-F4E259AA81FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"741cc7d640f68314875183edf45a234cb27f6b71","datavalue":{"value":"6601626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739981$42B82F5C-EF2F-4439-BA94-C7D6279D71B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739981$581D31AA-EFFF-4995-BDC7-8803C1059C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739981$8F74FDC3-1C1D-4E6C-8AA9-CE9EB0F94102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dad76a2301f19953aef4c2a398e44c7589572a7","datavalue":{"value":"logical (in)consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739981$C5EB96FA-8B6C-466B-BC6F-2C33B62E4165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7796f7279d99fd59980684c3cf876204f86223a2","datavalue":{"value":"Girard's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739981$5FBA03DA-74FB-4AAE-8828-F33374892FBF","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":"Q5739981$7316C1D9-ACA5-4EF3-A421-24F68EE4979E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43e90f8a2044e7dbbb50bd9ef08339c11820f608","datavalue":{"value":"https://doi.org/10.1093/logcom/exu025","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739981$6AE28933-1D89-48DF-8A6F-20811735ECD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed8939da8efbf0e57cff5debcc9510f18ffa605d","datavalue":{"value":"W2317676372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739981$C3C8DEA8-3A5A-40F4-8649-DDCDFACD138F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d6559ee446258097fd6eae45b37c8495fd35134","datavalue":{"value":"10.1093/LOGCOM/EXU025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739981$8A11411F-4F9B-4C4A-A7B3-29189498BE88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739981$75A47105-8B41-4593-9B4D-6FEBF5DF6388","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf9b23cbce427d5113fd50005e86a2535ab2b30","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d990fef24b0d56dfdb3b01e25eb8977c074701e","datavalue":{"value":{"amount":"+0.713746964931488","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":"Q5739981$B71F9AA2-09A2-4FCD-AB78-7200A105EA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16686895e14c2af2027af10da97339d8eb72a2c5","datavalue":{"value":{"amount":"+0.7100178599357605","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":"Q5739981$B920C272-B383-4B02-895C-A3BC0738A503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0dae42f2f5ebbad37f24bb65e6b70e78930432c","datavalue":{"value":{"entity-type":"item","numeric-id":4844507,"id":"Q4844507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16686895e14c2af2027af10da97339d8eb72a2c5","datavalue":{"value":{"amount":"+0.7100178599357605","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":"Q5739981$1DBCA935-B72F-4D92-9F02-E4DD984EC97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af71dc88777ec59f31a319112973f4f866a88ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4948036,"id":"Q4948036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780d49e9b1dcb46659ba86453a6e43c5b38683ef","datavalue":{"value":{"amount":"+0.7076796889305115","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":"Q5739981$4C60012D-6471-428E-BB1F-E3E71203B5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695f34571625ca38cd79b2228faa0850d88fd21b","datavalue":{"value":{"entity-type":"item","numeric-id":2773020,"id":"Q2773020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bffcc17375cc0123a3bdad3b28102eb8aa42b9","datavalue":{"value":{"amount":"+0.7064819931983948","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":"Q5739981$BE753A3A-CE65-4972-A566-D7E2CEB66FE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739981"}}}}}