{"entities":{"Q5096214":{"pageid":7125790,"ns":120,"title":"Item:Q5096214","lastrevid":54381764,"modified":"2026-01-26T17:53:21Z","type":"item","id":"Q5096214","labels":{"en":{"language":"en","value":"An abstract interpretation for ML equality kinds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571997"}},"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":"Q5096214$64F0289D-A2C4-43E3-90F6-5ABCD129B90C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10e480859b541f6f5dcfb8c92eb73f6284d1f308","datavalue":{"value":{"text":"An abstract interpretation for ML equality kinds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096214$349219A9-EEDC-4BE2-950F-E88ECC3F77E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14d7566e1098ff4bf4843eff5626411d75ebcba0","datavalue":{"value":"1493.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096214$EBDAB8FA-DA0E-4388-A45E-8AFEB10224BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aca16bb571ae479f374746f05935795d9f74e4f","datavalue":{"value":"10.1007/3-540-54415-1_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096214$56326E98-E23C-4FDA-9DBE-AFAC0DC30F96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99c4c7fa1f64a7258f2aa54d49357871694cd6a","datavalue":{"value":{"entity-type":"item","numeric-id":812047,"id":"Q812047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096214$772661EB-D276-4A43-8DEE-8C617CF17E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a435034e922571557f9f6ce98bc841f26d1cb0","datavalue":{"value":{"entity-type":"item","numeric-id":930877,"id":"Q930877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096214$386A07E0-DAF0-4EC8-942F-3A071D2C3A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"563f3cd1012fd72fb53fa6f7bab39a527097e8fe","datavalue":{"value":{"entity-type":"item","numeric-id":1317429,"id":"Q1317429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096214$D5228551-52BB-4DC3-A1E6-DE255C829F20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096214$3EB66741-033F-41B4-AFB5-41EF51DA9851","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096214$80D56607-2902-445C-B31C-4F7074728B62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d0532633f7e8f828b31a1a2bd50d17e2f26466d","datavalue":{"value":"https://repository.upenn.edu/cis_reports/761","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096214$5B6D94D0-F000-49A0-9333-44ED72AA4F33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096214$CC227B83-14B3-47DC-9251-B987C7CFBAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096214$6EADB932-3562-4B6E-8A3D-20FEAFD76B29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c53d09bf48cb0e47ade7367774a1a699261f382c","datavalue":{"value":"7571997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096214$62C426F0-878B-4061-9B87-D50F4F2EC81C","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":"Q5096214$B98520B0-623C-47C4-B8B0-BCFE7B99631C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85f62e70e5cdff5dbe618de506c52b33b6aba6c0","datavalue":{"value":"W2144714835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096214$E25D36D6-93FF-4406-A7C0-9ACC73681660","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a61b7701da971a87c154b5ba63697136c95a92","datavalue":{"value":{"entity-type":"item","numeric-id":4385538,"id":"Q4385538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096214$CB3F4C07-E320-4EFC-B217-1C53F1DDA49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096214$3D469325-8FB7-4B45-9E18-6E71B4686E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096214$FEB229C6-65BA-4AB3-810B-341874DCDB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc9805b5fa6bfdbbc40963bf99daff64ad8032d","datavalue":{"value":{"entity-type":"item","numeric-id":3664454,"id":"Q3664454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096214$C746E0DA-232D-4473-965C-CF9A7D292F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096214$2751546B-34BE-40CC-9DA0-0A485F58A4DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b67ec609327e4cd2270ea5d7d157d7b4414f413","datavalue":{"value":{"entity-type":"item","numeric-id":1317430,"id":"Q1317430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76514823af71bc097db09cf9d4bd990db50435db","datavalue":{"value":{"amount":"+0.965601682662964","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":"Q5096214$5B885D20-A599-48FD-9D25-C2D46F8DC729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe10b4338adc3f6df2505066c49f4cccc3c759e","datavalue":{"value":{"entity-type":"item","numeric-id":4414385,"id":"Q4414385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7c7ab1ff908b1afd968acd92c2a238ce0abe8d","datavalue":{"value":{"amount":"+0.7602078914642334","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":"Q5096214$FA7F3970-D74F-4236-BE67-795BDC9AEB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacf6d8245f297808ba85b2f1dc6e5b75fe1dd62","datavalue":{"value":{"entity-type":"item","numeric-id":3709872,"id":"Q3709872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7c7ab1ff908b1afd968acd92c2a238ce0abe8d","datavalue":{"value":{"amount":"+0.7602078914642334","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":"Q5096214$7973D273-A1A6-4564-9625-079257D08EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebe5a62b96d9785a280849d04f2c10f5b1201a6","datavalue":{"value":{"entity-type":"item","numeric-id":4736999,"id":"Q4736999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c033dbc1a0691ba68d9b7e3736ab1c5577f822c5","datavalue":{"value":{"amount":"+0.741108775138855","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":"Q5096214$AC8938DB-A0B0-44A6-B383-5AA54DEE1650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cd0349da31a26697885644df1d855c1e074195","datavalue":{"value":{"entity-type":"item","numeric-id":1275627,"id":"Q1275627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5214efea55cc0610e96227f3e4bc9833c79dd507","datavalue":{"value":{"amount":"+0.7260069251060486","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":"Q5096214$7AF5886A-49CA-433E-B509-E1E5FD69F883","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096214"}}}}}