{"entities":{"Q4461934":{"pageid":6491533,"ns":120,"title":"Item:Q4461934","lastrevid":89452022,"modified":"2026-06-04T17:24:03Z","type":"item","id":"Q4461934","labels":{"en":{"language":"en","value":"Uniform Lazy Narrowing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2064435"}},"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":"Q4461934$F7705EB5-CD19-4A83-9F0B-427453C8441C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2c2a6404da0cc6951806a45a5114531dfd97935","datavalue":{"value":{"text":"Uniform Lazy Narrowing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4461934$926651AA-E0D5-4B1A-91F6-5021A63DB919","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c499ee36186f8a73dc37e08185c1db37617ae4a0","datavalue":{"value":"1111.68375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461934$4824938A-D3C2-42DD-B59E-7969804FD3A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb90eb3cc241855a80489742b8a94286b9054516","datavalue":{"value":{"entity-type":"item","numeric-id":1037851,"id":"Q1037851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461934$4AD92703-1BEF-49E9-BDC5-18CAF5BD8F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461934$8E5D3064-1877-44AC-B50E-E65127746FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461934$7F34A82E-DB82-4C68-8314-84745EE83982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b09c97087e59f31d60466ac7a1052c11eb3805b","datavalue":{"value":{"entity-type":"item","numeric-id":671508,"id":"Q671508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461934$07092250-5011-45CA-8A23-E914ED8747C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f2c658547352f67a9de92adfcc83c5224bfe428","datavalue":{"value":{"time":"+2004-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4461934$41D0229F-4990-4253-882D-36B2F9B1A444","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461934$F5BC7784-B4D1-4250-A81A-10841F2E6D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461934$87509093-FF63-4811-BCCB-368168254B9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d1dcfc1f28cb396c6676d2775c6f40fc60f774f","datavalue":{"value":"2064435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461934$3F32BC08-3BAB-4D04-93E2-37EDEDF84B1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76404801af165cb463eb6565e85db865a0fa52e","datavalue":{"value":"functional logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461934$49334982-C6E1-4795-8D21-1FDCCA7A7C69","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"18edb478c163e7c9ff9f33bb946a8dacbc425b30","datavalue":{"value":"Q57978269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461934$F370E1D0-A7BA-4869-9822-DF74DCE7833F","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":"Q4461934$E176D6A6-5ED1-4EE5-8C39-79F2EAFBED94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"486b6d8a61df5dad1aaef34dcc9feca24c5b91e9","datavalue":{"value":"https://doi.org/10.1093/logcom/13.2.287","type":"string"},"datatype":"url"},"type":"statement","id":"Q4461934$11B9B0BE-9B61-4FE5-B545-240A88442433","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a76858e90e4e6b27771b73443f8731b5cb0ac01f","datavalue":{"value":"W2110845026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461934$8FD5FAB5-D26D-4E7F-8D8E-D6E16B6D4F38","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4c996b3fff1326e2aafea48dc6a9dd4f1a1b1bf2","datavalue":{"value":"journals/logcom/AlpuenteFIV03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461934$0F92DA5B-CE4B-4A21-8EF1-FBDABEDA3B4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f35be3148406c501d8dd69756cb20c895744c21d","datavalue":{"value":"10.1093/LOGCOM/13.2.287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461934$CC25423F-7722-4294-8695-2C8A320A42D9","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":"Q4461934$E2233B56-6C78-4566-B79A-E2DF44C7B97A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97e220f900f9fc0eaf581faa89b304b70876151","datavalue":{"value":{"entity-type":"item","numeric-id":4395684,"id":"Q4395684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d7a3107006f37e072ee26c7028182b6147b79d","datavalue":{"value":{"amount":"+0.8657398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4461934$C48CE0A7-65AD-4688-9028-642E5F26922E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672c283208f0e22726b4b8a4eb6a89fb8a16111a","datavalue":{"value":{"entity-type":"item","numeric-id":1190124,"id":"Q1190124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6def802147125daf9498ee97af50878cf1c03ccd","datavalue":{"value":{"amount":"+0.7990774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4461934$4ACA48C8-C25F-45F3-9377-BA0FE130B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3342e0e6d4f72a6146a7ad5db4f1f693c06c952a","datavalue":{"value":{"entity-type":"item","numeric-id":2851088,"id":"Q2851088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e988d57b9756c9d533799ee2b530e600c1586f2a","datavalue":{"value":{"amount":"+0.78436816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4461934$F2F4357B-8402-4E48-941D-C14D38A43BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616459b19576eef7c824fe59036a0b5d2e2b39d7","datavalue":{"value":{"entity-type":"item","numeric-id":4281598,"id":"Q4281598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf456ce420e1409375d7b6246d6c7d46f6f5842d","datavalue":{"value":{"amount":"+0.7745136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4461934$0CD20153-1B98-4BF1-A3D0-5C7C9110054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0b6bac80d29169292d87d0aec1ac2b40f8cb82","datavalue":{"value":{"entity-type":"item","numeric-id":1284282,"id":"Q1284282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ef4c9a7f41df26da50406df891acaa0173f4d0","datavalue":{"value":{"amount":"+0.7722701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4461934$6731E46A-1C72-4122-9552-E4A24F282295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e9e42a2a2ec5f692364e792e68e30c6ee89767","datavalue":{"value":{"entity-type":"item","numeric-id":4281597,"id":"Q4281597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61d2574b1e4877c7148a6c207cc7312a4ff0398","datavalue":{"value":{"amount":"+0.77157265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4461934$867DAA79-B7BF-4414-AF13-A713F0348580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f69ee0a5fdc970220980a2848632e85977108cf","datavalue":{"value":{"entity-type":"item","numeric-id":1824412,"id":"Q1824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a89373d9d1633b27878afc2fe3ce60651f14eb4","datavalue":{"value":{"amount":"+0.76974523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4461934$0AB04AD0-6FD5-44F8-A38F-99F1170B8384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb4f7ffc452a31fa4da2628d1fde0b599a80d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3821639,"id":"Q3821639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e7501fbbefb7fd7420ba3482d6bd77b94ad869","datavalue":{"value":{"amount":"+0.7681147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4461934$9676A219-C75A-4CC1-A779-EE434BBCF319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11050b7c307cd88ba631c3da9aeb7edc19f58b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5096203,"id":"Q5096203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b288844720f53f170505422b921d4ee10a3c703","datavalue":{"value":{"amount":"+0.7671635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4461934$95FA44DF-13B9-472F-8CBF-6ED5ACB52A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd1b2bf7a1d9940540489e9b92a3f557db1c991","datavalue":{"value":{"entity-type":"item","numeric-id":5369476,"id":"Q5369476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569f5c5e99cf46db311171132ae2cfd9a4bd3199","datavalue":{"value":{"amount":"+0.7665524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4461934$59CB0054-90CD-412E-B357-CBC5C1073A8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform Lazy Narrowing","badges":[]}}}}}