{"entities":{"Q1190512":{"pageid":1201261,"ns":120,"title":"Item:Q1190512","lastrevid":66518037,"modified":"2026-04-12T10:37:07Z","type":"item","id":"Q1190512","labels":{"en":{"language":"en","value":"Head-strictness is not a monotonic abstract property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55563"}},"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":"Q1190512$411570EA-34BB-44B7-87CA-0401CBBDACE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bae11651a1faa2e44a1596884bd697ccab908ee","datavalue":{"value":{"text":"Head-strictness is not a monotonic abstract property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190512$1788FC69-AE72-4484-8650-099CF15112E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b448f98c22929826714267d53c41cc6ca14768c","datavalue":{"value":"0748.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190512$36C4A304-1729-4B84-86CA-E5C9E3FEC21F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d2934e0a209fd8310df9d5018ad9dc1bed33e01","datavalue":{"value":"10.1016/0020-0190(92)90179-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190512$977F5515-2D4A-47D7-B282-D5D2C2731F40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa165d2b49f82a9aca9ce4f0d9facdfd4c251be","datavalue":{"value":{"entity-type":"item","numeric-id":580953,"id":"Q580953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190512$FA0E3153-8F5E-4187-B5D0-4663FA677308","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190512$C0E51F78-7AE3-46E9-A9AD-DA11CF467C0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1190512$497D1900-42D8-4C16-8F1E-55C0D4EFC947","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190512$BD1096C6-8C99-4437-BE28-6B4816BC1FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190512$566516E1-CBB9-49C9-B642-615B341AB422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190512$E65271C3-8662-4A0C-97A2-010B51051551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"329cebb1dcd028180506e7c8a452b64b10993272","datavalue":{"value":"55563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190512$53F52A36-34F3-4B29-92D7-F47A7A26CAC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190512$8F5D0CF1-B6F9-4AC8-9781-E0AFBF76F9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190512$C70A4E1B-D41A-49CB-BA48-20A91958935E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190512$54E9E9D5-84C4-49DE-BDCC-52089CF55FCC","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":"Q1190512$181CA6D5-4317-42DE-BC22-ED023F05546D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb81bd457bbe741eac4d814dc1090b2d9998aade","datavalue":{"value":{"entity-type":"item","numeric-id":3348896,"id":"Q3348896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190512$5CA561B7-9263-47F7-81D8-B393AA70E236","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":"Q1190512$7EA4CBC2-B207-40E0-A738-E6594C3E55DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dccfba157a696355ea793f546eb49959318e628","datavalue":{"value":{"entity-type":"item","numeric-id":3685169,"id":"Q3685169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190512$88C6D67B-3AD1-4EFD-9F14-D1C5FB012E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190512$F7BACD53-1B60-432F-9C78-18EFB5D4C76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b644b15a6886f262aec494ab05cf1502d49f16","datavalue":{"value":{"entity-type":"item","numeric-id":3028326,"id":"Q3028326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190512$449F62B4-9A7B-49FA-BE42-880BBE07C691","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"154434f428edbdf511a1eb110c284597f2ebfc75","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90179-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1190512$FCF0DE49-D434-4D17-8BED-ABF1D8A3C6BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"740af98cc6303fc963cd873deed77ca17b2ac89a","datavalue":{"value":"W1985853644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190512$61A13DF3-263E-4437-A874-7EFB203E3C5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26c5e9f784f203a0e32d1dd0b41cae62ca78c8","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58d2b5ac1b0af73350f03a9a51d05ff3f4eb623","datavalue":{"value":{"amount":"+0.7525752186775208","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":"Q1190512$53E45DA5-F875-4B2D-980C-5B0BE5FE4F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e4f483a450f14c52b124bd2de4d610514091e2","datavalue":{"value":{"entity-type":"item","numeric-id":1193597,"id":"Q1193597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83aeaac34ccd5486aeb0735dc033b5782ea82e6","datavalue":{"value":{"amount":"+0.7430437803268433","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":"Q1190512$818B4916-134F-4F77-979E-E17F54D63354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c1e3143baadacd9de757995dab24bd4d4030a4","datavalue":{"value":{"entity-type":"item","numeric-id":3142281,"id":"Q3142281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd261cd27f45d65f07bc35da04097e91e709ac53","datavalue":{"value":{"amount":"+0.7158718109130859","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":"Q1190512$2DD1BEB7-D0AB-405B-AB75-EDDD1C3C4B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24817ea0b21cee2a5b2e62c3d86ab616382e95b","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff82faa4477936a9874278c1d57709981454a663","datavalue":{"value":{"amount":"+0.7150441408157349","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":"Q1190512$59A4562D-8D2B-4A55-91FF-92B5F8AF6744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911759239e5d2d6edd7b76fd197e957f7a433095","datavalue":{"value":{"entity-type":"item","numeric-id":3729991,"id":"Q3729991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff935a6c8c68c183ad03b8c1788b729283e43a0e","datavalue":{"value":{"amount":"+0.7148703336715698","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":"Q1190512$91719F5C-F17B-4488-AC7A-C006F8A090E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Head-strictness is not a monotonic abstract property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Head-strictness_is_not_a_monotonic_abstract_property"}}}}}