{"entities":{"Q1749138":{"pageid":1759880,"ns":120,"title":"Item:Q1749138","lastrevid":69128643,"modified":"2026-04-13T04:58:00Z","type":"item","id":"Q1749138","labels":{"en":{"language":"en","value":"Derivation and inference of higher-order strictness types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868758"}},"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":"Q1749138$C404963F-3B7A-429B-86F4-77F399B2C2D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b62c2baa773200de644db2f1d2859cff3e4f58f","datavalue":{"value":{"text":"Derivation and inference of higher-order strictness types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749138$0B62CE01-A401-4B50-A04E-BD3F219A9DF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ea5b32cd2a304ee47a41ab19f319545cee59ffb","datavalue":{"value":"1387.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749138$5E3F244F-D097-4955-9293-CE5AFAFFDEA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c59604767b465b5a79ea3a73dd412e20d1df36","datavalue":{"value":{"entity-type":"item","numeric-id":617920,"id":"Q617920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$C071C9A0-259F-4265-B3B1-680189C1F7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28b20443e0c0e944e5c0b4cc8d53f5c5f768c554","datavalue":{"value":{"entity-type":"item","numeric-id":617921,"id":"Q617921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$EDEF1362-CCE6-499C-80A3-34B5E2B0DA1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$B04496BF-EE4B-42E6-A4FD-B4A44481A4BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749138$C012AA9B-52F6-425F-A912-648F4D5D5541","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41f9b1d809349feb729e9fbc1f13775fbecf75b2","datavalue":{"value":"http://hdl.handle.net/2066/149047","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749138$747B8D0F-29D9-419C-8F6D-93EB5AD11876","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749138$F4A5C597-EE6B-4386-BED2-E6E146C62F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749138$0CFFC119-A1EF-494D-A528-19B73C9D6102","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10e1d9686f83c62bf62e4a0dec22f8775c05d787","datavalue":{"value":"6868758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749138$3A9D8882-D7CC-41AA-A736-12E0DDCC6D2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749138$19BA074E-87F4-4E6D-B524-8AF9D58C4707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749138$1F14BD70-E660-4255-80B8-60509A5A8516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcb8a5b3af8770f764873d0eafebd3c934a879d","datavalue":{"value":"typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749138$D162561A-F092-49F5-930B-2FD4958918D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749138$939FFC24-FF11-46D8-97D5-921A97411466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749138$67EB0D1A-8CD1-47A7-97B1-80E34E3EA3B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$337033CA-E71D-4DE5-801A-FED37ACF70E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$83A23FE0-7016-4282-8C58-80AFEC9BAAAC","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":"Q1749138$1651050C-6605-4FA5-9A63-3BD83E553A80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46c586aeb301a11f3c505873a43c13aef8499d2d","datavalue":{"value":"W1880809740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749138$7FBD12ED-8520-4433-A9C8-726EC683467A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$E568B9A4-CE6C-4C00-A729-251585A7A93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc23e3b901610c59b53d4c7d357a311f296c04","datavalue":{"value":{"entity-type":"item","numeric-id":5284548,"id":"Q5284548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$8E9EE8BB-E800-4430-8FEC-F2D96BD53E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308ed2bffdb487e120db252688aa68efaac05dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5958293,"id":"Q5958293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$5ECB5B57-0919-48C9-9B7C-C7A2B072CD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d24a6edeeee0d27e0a5625ec7ddeb8fa3ae477","datavalue":{"value":{"entity-type":"item","numeric-id":2722050,"id":"Q2722050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$60572746-918C-49C1-9990-82FD10C88FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9708abdfb525c833c65b615b807126dc23b5c080","datavalue":{"value":{"entity-type":"item","numeric-id":656871,"id":"Q656871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$04FAD87E-7560-4E65-9B5D-F68CD493E5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17429b5cdd32282b8b792b47a04edfbd8a267511","datavalue":{"value":{"entity-type":"item","numeric-id":2752527,"id":"Q2752527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$3F1D409D-8D69-4A24-9C4F-FE4F9D86BBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$813B03E9-4A02-4547-9E76-E43203926B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8641572609bbd05577d4f94ddc15cb2abd4b5026","datavalue":{"value":{"entity-type":"item","numeric-id":3636810,"id":"Q3636810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$D4CEA00E-2FFB-4422-8A71-F75F2CC342EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b5d59f3624f21c2d43731419df26dd8d547233","datavalue":{"value":{"entity-type":"item","numeric-id":3787979,"id":"Q3787979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749138$59667DE8-B95A-4453-850E-36F533C35A98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"032f0247801b720adf4adf9fa854dab4aeefd4f9","datavalue":{"value":"10.1016/J.CL.2015.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749138$10389569-EF06-4C8B-AB94-D7671A02DD1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2210e42a745acd3fde9aaf4e65aaf2250ab240a","datavalue":{"value":{"entity-type":"item","numeric-id":2757801,"id":"Q2757801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884643a6a568a6d1e98f200b580690015f08fd45","datavalue":{"value":{"amount":"+0.8006879091262817","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":"Q1749138$5D399378-FB18-4999-A0BF-B23BE5194161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1470a6428dea58786e3326dabe82a40602537838","datavalue":{"value":{"entity-type":"item","numeric-id":5958293,"id":"Q5958293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24bad445644a0ff67b7f0449d817ea64df246f83","datavalue":{"value":{"amount":"+0.7683974504470825","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":"Q1749138$923DD078-8993-4A8E-BE06-60CFDEC4ADC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f88fc7721af382cc5b57a640bcf3c7ea5d2744b","datavalue":{"value":{"entity-type":"item","numeric-id":1818314,"id":"Q1818314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c2c86acc45c0503161079e29c8ee7880955a1e","datavalue":{"value":{"amount":"+0.746898889541626","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":"Q1749138$4199AF9C-192F-44DF-A357-7D516F6CCE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8b624e9e4a654aaf0b668490cb71f29710f799","datavalue":{"value":{"entity-type":"item","numeric-id":4836020,"id":"Q4836020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d354963e01842517df2affb0f232b051e6c4242","datavalue":{"value":{"amount":"+0.7391192317008972","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":"Q1749138$4A8D5962-35B3-4042-ABC4-FAC08084F718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ddaed8645eeb72cf87e0821745423c7c38b51d","datavalue":{"value":{"entity-type":"item","numeric-id":4778697,"id":"Q4778697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff84a293950c6093ea2fa04f758301333cf8bc28","datavalue":{"value":{"amount":"+0.7376662492752075","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":"Q1749138$51B28E57-EAE1-4084-B027-27203F33C260","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Derivation and inference of higher-order strictness types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Derivation_and_inference_of_higher-order_strictness_types"}}}}}