{"entities":{"Q5958293":{"pageid":8135095,"ns":120,"title":"Item:Q5958293","lastrevid":47755027,"modified":"2026-01-02T14:52:27Z","type":"item","id":"Q5958293","labels":{"en":{"language":"en","value":"Strictness, totality, and non-standard-type inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715294"}},"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":"Q5958293$D4056557-9CB6-4843-8416-A648112CB8FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9efddf3877ee0994ad12acc35da9923b0411aee","datavalue":{"value":{"text":"Strictness, totality, and non-standard-type inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958293$A0D053D6-9FF6-401B-8485-23388CAF2928","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c19eabb52d157a8880ea2682b8eacc450ca5749","datavalue":{"value":"0984.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958293$C5056991-DD9D-4DA9-9038-2AE2164A489C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84049182f592b3b22e4c2dac97df089cde6c4756","datavalue":{"value":"10.1016/S0304-3975(00)00348-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958293$DE35FB29-5AD0-4C8F-BB9F-CF418BC82E00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"078cfe53af569247617001143d839321dd2e8878","datavalue":{"value":{"entity-type":"item","numeric-id":235602,"id":"Q235602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$1861A589-4ECC-4C78-BA8C-CB1E9C9AAC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22141819ed6ddc6c391802e000d0404fc62d4317","datavalue":{"value":{"entity-type":"item","numeric-id":235603,"id":"Q235603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$7A3DF6AD-DA30-4DAE-BB01-07F662B88232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$91125EAF-3DE8-41B5-8FDC-F6686EE1CA81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$8FAC100D-E154-47E0-99F7-161FA8B0C705","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958293$8DBFD457-A3B5-4D51-BF75-DB0D2ED1C7BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958293$494853BA-993D-4AE5-88B3-BB28AF9BF761","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14f3944de563cb94f1756cab72761fc7412dc986","datavalue":{"value":"1715294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958293$EA0153E0-FBD0-4C9B-88E6-1000B393BC5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958293$23F25EEC-9A06-4721-B3D8-2920B7A01568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561c5651cfff884ba20aac2a45016ca309cb583b","datavalue":{"value":"strictness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958293$2AB71813-E35A-49A1-8E68-250B7DFD269F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84b0c369ca68b77ffbfa4b1d4d8dc233d67683e4","datavalue":{"value":"totality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958293$856E859F-C828-41D2-90C0-1DFFDE84B832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b76ec4615869069cd7ee5fa7e4399e28bc68f6f","datavalue":{"value":"non-standard-type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958293$1F6D0C87-C350-40D7-9FD6-7B428745E6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958293$78F2B946-BB1F-4120-98CA-E61A037445B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$0C4FB5A7-44B0-43FD-B434-08C2931D04CB","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":"Q5958293$A6AF2FB9-8C87-47F2-91B6-537B302EAE18","rank":"normal"}],"P223":[{"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":"Q5958293$69F02B31-4BB3-404F-94A5-E794E20D9786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e26e844235f37c66d1027dbfa64b2b7388d1386","datavalue":{"value":{"entity-type":"item","numeric-id":2757801,"id":"Q2757801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$3061419F-F6BA-4445-A29C-C4C02860DD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691bce00b18e7f521304d2f3c3b9c3064e60bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$DCEF8576-FD02-4705-BBFC-E6045073749F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999a4418c35493fc3ba35f2f259ff320a3c8c62f","datavalue":{"value":{"entity-type":"item","numeric-id":792995,"id":"Q792995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$4AE28FE7-9243-4E69-A636-71F736D27808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b8ae6b65be23ebdd8ee278cc8717d242cc2e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4364386,"id":"Q4364386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$9E65C95C-7047-4ADA-9B7C-7E1CE3FB7358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$B210055F-5DBA-4693-9D02-1E57C36998A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$28E102D7-DFD3-4198-A448-4E739E3DC070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da91aee9b91a914d3335ad44bfa5497f94a4ddc8","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$B9EA8ABF-456F-461C-9497-2AD393D0421A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$1DC0C406-B617-49D5-B227-FB7D9DFF670D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9526cc7e313ffdf7830a4e8807389295d2e8092","datavalue":{"value":{"entity-type":"item","numeric-id":4847376,"id":"Q4847376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$D73A6E66-0471-4CE5-9878-5D9C6E690624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccbc8a5de17ed4e6924728c6d1a2f620a7587fb","datavalue":{"value":{"entity-type":"item","numeric-id":3805933,"id":"Q3805933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$0CC2EFB7-AF08-4C09-95A4-3011C558150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$810B169D-7459-4265-BF96-618BCDA7E400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$B8B3FD83-83E4-4D5F-A4B1-D226A6D13283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$53EFFD54-391B-44B7-AA69-374C2B331969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad340c075b17acd65af45f622f7a6f7621f2f92a","datavalue":{"value":{"entity-type":"item","numeric-id":5096753,"id":"Q5096753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$6C1C0F4A-2175-4B29-8FFE-EFCF3A5D7AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab05391685e854177d1a498b437dd760826859a7","datavalue":{"value":{"entity-type":"item","numeric-id":1818314,"id":"Q1818314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$4B9C7954-191B-4747-B7C9-8E438D39AB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2164d9f560fc5705ed93dc8247e6a73994bf8ce9","datavalue":{"value":{"entity-type":"item","numeric-id":4281463,"id":"Q4281463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958293$2A3952C4-A3CE-47CD-80D0-285BE69C6ACA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0efd974df83127971705415a259872ae6a331f55","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00348-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958293$099028FE-4257-421C-9B04-1A2300C8560D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"829386b46376321faa2d2a5f7a080c4f85cc43c6","datavalue":{"value":"W2067567074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958293$CEDE8210-4BF1-419E-BE76-381B3DEB8FAF","rank":"normal"}],"P1643":[{"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":"1f24bd4377998913e075ee39092238dc0801ac18","datavalue":{"value":{"amount":"+0.8806724548339844","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":"Q5958293$9AAC102E-7477-4C58-9C83-F072E98BFAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"260db65dc080457e87757526cc318ccfff185744","datavalue":{"value":{"entity-type":"item","numeric-id":4364386,"id":"Q4364386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a529f0e87fe4ed6269dd6503fd362d3ee389872f","datavalue":{"value":{"amount":"+0.8571909666061401","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":"Q5958293$4D539435-0842-4D39-8434-6ADDD824E92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097f5db8bd44a4ba5faaa42fa9337e4e7b6cef0f","datavalue":{"value":{"entity-type":"item","numeric-id":3024904,"id":"Q3024904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a529f0e87fe4ed6269dd6503fd362d3ee389872f","datavalue":{"value":{"amount":"+0.8571909666061401","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":"Q5958293$E32765E7-1739-4DBC-9764-2C9568E80DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a77c94e5db8a3a3fda09edd68abf0f2890d550","datavalue":{"value":{"entity-type":"item","numeric-id":5096753,"id":"Q5096753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc192c9202e6d055d93977201438586c19fc0f8","datavalue":{"value":{"amount":"+0.8497980237007141","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":"Q5958293$D8054F4A-5492-4428-A207-3B6D49CA5361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b2e6ba4439f38479153120eba085f8959e729e","datavalue":{"value":{"entity-type":"item","numeric-id":4847376,"id":"Q4847376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a08c99a477ab9258a8def519204b36b8df079a","datavalue":{"value":{"amount":"+0.8204577565193176","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":"Q5958293$10204620-B07C-44AD-8A40-6E9B2744E9F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958293"}}}}}