{"entities":{"Q4376980":{"pageid":6406579,"ns":120,"title":"Item:Q4376980","lastrevid":40716733,"modified":"2025-04-04T11:12:18Z","type":"item","id":"Q4376980","labels":{"en":{"language":"en","value":"On the power and limitations of strictness analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1118925"}},"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":"Q4376980$F5BC22F1-20FD-41A9-8D86-16B6AE48803B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caa6e163214809542ef60e9c02188b3c53ceca56","datavalue":{"value":{"text":"On the power and limitations of strictness analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4376980$A9CC9297-72B8-46B9-B6A2-7844A0A72A78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74f15535f51dfece0a923d0d343d41b99cba81aa","datavalue":{"value":"0890.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376980$53495ADC-376E-4375-B4C6-4FD18CAAB930","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f0ca4278dcf1034b2439765b1a3e929b78fd90f","datavalue":{"value":"10.1145/258128.258212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376980$9A84AFF1-E67C-4714-BD07-40018011EAE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376980$663A9FBF-9B27-4C94-974D-341627F35BDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2f5d120add23d257eabf00a9921160534bdd26e","datavalue":{"value":{"time":"+1998-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376980$8A388F05-CC6B-4D6D-AE93-8D40F4A929BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c44fa1c3597944a6601c7493edadce5f85f8481","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1997-44/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4376980$E99235D1-6AC3-4A19-A813-D08C814B2534","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376980$CB5FFCCC-CF58-46CC-A0AA-A04529E222AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6355062abda80fc48e57bd2fc094c43189156f7e","datavalue":{"value":"1118925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376980$779C8125-4D65-4E1D-B738-D85F80847289","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376980$75E28853-FEBD-484E-981D-2CB414C0B169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9a94055be449130fdfd8493c4c716a1aa90acb","datavalue":{"value":"lazy functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376980$A672D04A-F8E8-43D6-A58E-342245534B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f318f3151019f0643b02450932fbe8c5ea6e72f","datavalue":{"value":"\\(dd\\)-analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376980$D5B0D994-8315-4599-BD60-BAF2CF2464BC","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":"Q4376980$F2B1CB1E-CB13-4CA7-B503-783709888383","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a68deee9c09357f522d78b635bbebdf53ae5c0c8","datavalue":{"value":"W1991473809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376980$F710DD60-6719-4AAC-9CA1-14C724445CF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c945d3d5f736ea13b3cbdfb9017f3dc73975d5","datavalue":{"value":{"entity-type":"item","numeric-id":3685169,"id":"Q3685169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2d8bde9c5f9ef2116d4f9b0f05c096c4c25b61","datavalue":{"value":{"amount":"+0.93230367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376980$05394AEB-EEF5-48CA-95DB-7D9121B8DB86","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":"0c079f0ca00bac028c71d306b0dfc93e26aa6d21","datavalue":{"value":{"amount":"+0.897616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376980$0E6261C3-F17B-437E-8D7C-9D7FBB6DAE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58e99d0d81a68ba8f6d9c1bd09c620dda4f39d2","datavalue":{"value":{"entity-type":"item","numeric-id":3130262,"id":"Q3130262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc9ed41eb11275726d57cc643ad55059f935dd6","datavalue":{"value":{"amount":"+0.89615333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376980$71B781F2-7CDB-4D42-968B-70F50531D970","rank":"normal"},{"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":"700d39c0dfa9c6236b58582013bc5089f0e22e3c","datavalue":{"value":{"amount":"+0.88983446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376980$BFFC3BEC-8C37-43AE-B061-4C72F104C9F5","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":"c54b33f2c117cafd14aff43fe6d477e9f750cb3d","datavalue":{"value":{"amount":"+0.8741736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376980$34FFC3A4-1FE0-45C8-8AF5-7EBDDFE19DD0","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":"e247de5dbd9d56ddb0994dfa2970900427d0005f","datavalue":{"value":{"amount":"+0.87286246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376980$67012056-E61B-4D84-BB39-6C54093DD469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6e3e22b8e69cfb2da6e33cdf8af134aebad6d","datavalue":{"value":{"entity-type":"item","numeric-id":915483,"id":"Q915483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf844189d3d37929289e9ae7e68ccae95d3e6179","datavalue":{"value":{"amount":"+0.8721608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376980$A193F8EC-2495-47EE-8578-D221B8DC3120","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":"738a12a777494c029bbd87882c22258f27d0356b","datavalue":{"value":{"amount":"+0.86648405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376980$3E9E0C1A-5F87-4747-8D39-DD334ED6798C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb6deb32d57e2dca394f0c58db6af3fa7495f6f","datavalue":{"value":{"entity-type":"item","numeric-id":3028326,"id":"Q3028326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb79586b8f0539cb91acc7377974473bbfe3a59","datavalue":{"value":{"amount":"+0.86447746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376980$A366CA62-C015-461F-B671-7275A2FBEF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98863cb9a342a39ebd16a65a5ee79cc6fd137107","datavalue":{"value":{"entity-type":"item","numeric-id":3520168,"id":"Q3520168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d597ca2865435b88f1448f87e4da8524195746e","datavalue":{"value":{"amount":"+0.86392903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4376980$A1A9464A-EBB2-40CF-B46C-0032D0A65555","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376980"}}}}}