{"entities":{"Q2796038":{"pageid":2806776,"ns":120,"title":"Item:Q2796038","lastrevid":83509835,"modified":"2026-05-07T08:34:07Z","type":"item","id":"Q2796038","labels":{"en":{"language":"en","value":"An abstract domain of uninterpreted functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6559853"}},"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":"Q2796038$349A3274-FC53-4F5A-8EDD-7C41E2CA722F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3dd0197e1094a3de904541a5ec9e6106b17a0ab","datavalue":{"value":{"text":"An Abstract Domain of Uninterpreted Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796038$096EEF23-126B-4DED-BFBE-9DBDA9E3AB98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c004e4bc3047e1c5efc3cbc66841ec81e65e545","datavalue":{"value":"1475.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796038$AB2E9DE7-7DF0-4D87-A969-1C911380A4C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf1b864b4f3de1808e37d969f333f8f99e7e7e74","datavalue":{"value":"10.1007/978-3-662-49122-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796038$2D24A22D-C2AB-4583-96F7-08AE680D867D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64a1c2e371f294fd2a797ae897eaf22844acf1bd","datavalue":{"value":{"entity-type":"item","numeric-id":264987,"id":"Q264987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796038$45FE742F-24B7-4BF1-AA44-68F47E472038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc9aa5bf3e043aca79ceea7f9b6e24e591eea899","datavalue":{"value":{"entity-type":"item","numeric-id":264988,"id":"Q264988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796038$99F938B4-79E7-4908-A77C-E0353B1AE36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1d94e70aebf90c5dd207852d980a9c10776e1b","datavalue":{"value":{"entity-type":"item","numeric-id":264989,"id":"Q264989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796038$CB406C2D-674A-4822-910E-82C9189B3A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796038$AA61E4B4-6D54-4228-B317-7FE373D0371A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796038$3CE629DB-B6D6-490F-8CE3-3F728AC50046","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":"Q2796038$CC2219A6-6C1F-416C-B582-DDF39B4AB156","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e0833fdb30e5d55a1ed86554b76ff3f3cdc33c","datavalue":{"value":{"time":"+2016-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2796038$0EA728C3-D178-44F9-BE13-4C7621EFF453","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796038$7089A16A-6209-44EF-90C9-D71360C1A706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796038$EE28C3B5-490A-494F-BDB7-26B60D034DB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48ab2dfa25f523cb445653cd201999b1910deb02","datavalue":{"value":"6559853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796038$9E033097-B3D3-4DD0-AC4F-2EAC24DD5BF3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796038$EA55347C-1523-49AD-A85E-3D575CCDE52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796038$B3E1D476-5523-4FFB-A636-97CCD2A496ED","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":"Q2796038$A8B81E69-9C14-44F3-A497-3C68FE1A9B5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95ca9e2d10d9d922572a56b3464d0fec13d7af98","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49122-5_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796038$E87EA063-5D1B-4C68-A526-6707E70F6C18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c3af7c3a2e27babe863061e624adae4cf6c9d14","datavalue":{"value":"W2293781769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796038$EE28E1B5-B510-4EE6-BCBA-55603E28ABFE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b396c3c1ca6a22e14e4dcffd4430c05ccb541d42","datavalue":{"value":"Q57664994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796038$43B99EE4-F816-451C-9C95-26ED23B99829","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d95c92eb2b4e44f29e4b4dc7510d737e0d8f5498","datavalue":{"value":"conf/vmcai/GangeNSSS16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796038$E40FFB52-4794-4376-8040-9909EF2CCC4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c17e1a174912948a421353e27083551b15cf727","datavalue":{"value":{"entity-type":"item","numeric-id":5897434,"id":"Q5897434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1a06b27e8e287dff2766714e404c959ef2933e","datavalue":{"value":{"amount":"+0.7663639187812805","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":"Q2796038$504C333F-1958-4613-A1D2-AB05B5F85FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29335bb57c82d226becaacaa47518cf43449a79","datavalue":{"value":{"entity-type":"item","numeric-id":4411954,"id":"Q4411954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf5e7519b6c6ff2864018019b11b3c6e670a551","datavalue":{"value":{"amount":"+0.7507671117782593","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":"Q2796038$1A4BEC87-9889-42EF-AAE4-74E5E719B454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b5ca0ef69fd9bc3dfbaf7db7ef189740e9061c","datavalue":{"value":{"entity-type":"item","numeric-id":4518879,"id":"Q4518879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5831f607b053db4bfacf3d4eea996a65401d3104","datavalue":{"value":{"amount":"+0.7445289492607117","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":"Q2796038$5A72413D-F5C4-4257-A9D3-2B8C6519472A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903b233650ef5f506da6f4c7fdcf00ad0c945f5f","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847f367c7ded25d4e8ab67d1956fcd5c08ba461c","datavalue":{"value":{"amount":"+0.7398340702056885","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":"Q2796038$07D98F08-256F-47FE-A658-0626E999811B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f099f38e200a215a3c32c73be4e3e1fa8da1fd2b","datavalue":{"value":{"entity-type":"item","numeric-id":2937785,"id":"Q2937785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef1d329e43622db3c46a1e1fca3bd4fb5b512e8","datavalue":{"value":{"amount":"+0.7369115948677063","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":"Q2796038$AA1713F4-8688-4B2D-9921-DBD4D5259F32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstract domain of uninterpreted functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_abstract_domain_of_uninterpreted_functions"}}}}}