{"entities":{"Q300342":{"pageid":302109,"ns":120,"title":"Item:Q300342","lastrevid":52565354,"modified":"2026-01-22T23:54:01Z","type":"item","id":"Q300342","labels":{"en":{"language":"en","value":"Proving properties of functional programs by equality saturation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598703"}},"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":"Q300342$71637D6B-F7F2-4975-8484-7AABD6A0626B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60d776cadfb11e6157eaefb639ede0d670e3569c","datavalue":{"value":{"text":"Proving properties of functional programs by equality saturation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q300342$5444BFDF-9985-4C22-ACED-F850739DD93C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea7651c74d8b8bcc99643abe663dd3fd6b22a585","datavalue":{"value":"1339.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300342$2A13D255-E6CB-4D32-B02B-C37597DA5444","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72c2711870fb40dafb9aa88bcc893394384b0b06","datavalue":{"value":"10.1134/S0361768815030056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300342$71C0B297-9FBF-4EE6-9B2E-F53D1334FC8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a00630ae94a05c43f83b6701233cc04b5695e9e","datavalue":{"value":{"entity-type":"item","numeric-id":300341,"id":"Q300341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$51ACDBD4-331B-41A8-8B8C-97972F3D08A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$3A04B7E3-2D0B-400E-8ACD-3B97F44E3253","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0421c5c501ceb8b5b93f7269ddd5cda28f4b61","datavalue":{"value":{"time":"+2016-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q300342$99394006-73FF-43E0-A5A0-638977437FA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300342$87C30401-1F3A-4602-B221-882C2923A377","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f01ba61eda727082b3b36d1470fd5e9ba99f05f","datavalue":{"value":"6598703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300342$A3C4FDE8-BB45-49FC-962D-BCF197971E5B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$0926BE69-537B-4FD3-8BD8-83AE9E450B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$D8DCF89F-12B6-4B3E-9F18-724CDF8E3B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"811a0fe9a7b57bf2a85ec487f0e3db8c3368751a","datavalue":{"value":{"entity-type":"item","numeric-id":19752,"id":"Q19752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$422CAD41-FE90-4424-841D-315E324D0C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2196bc177966aee059cbe6dcb19371e0feb3fa3e","datavalue":{"value":{"entity-type":"item","numeric-id":19753,"id":"Q19753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$E12ECCD5-ED50-43FC-B0DF-EBF4E2007307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa2b9ee3b43067c0a78dbdcdeb4108df72eb08e5","datavalue":{"value":{"entity-type":"item","numeric-id":31035,"id":"Q31035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$8F3F8CA8-378B-4CC1-A777-7866C33CE987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ba44e9330d27dba789076604504771e6455ea32","datavalue":{"value":{"entity-type":"item","numeric-id":31036,"id":"Q31036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$423DEDCC-BB91-49E0-923B-18F6226C9E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$ADACD8B2-8D37-409C-B9C4-DC12AE9A80EB","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":"Q300342$07C9B181-E93F-41C5-8258-1A3D25374261","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c0576a80ea35320dc73ac026073f8b09422c10","datavalue":{"value":{"entity-type":"item","numeric-id":5261523,"id":"Q5261523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$34E2A355-48FA-4D53-AF4C-65DA3C0BB104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$1257306E-1E66-4308-8665-DAD95F06E9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$202466BA-36B0-4AA6-B82C-6D874772A8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$7D8EC185-4F68-4457-BF2E-EFB57C56AFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5700bddd5b497615cb8c41e6f2bbf5fb3735905","datavalue":{"value":{"entity-type":"item","numeric-id":4339016,"id":"Q4339016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$FD6C2282-41CE-4B8E-9D60-939037759D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4097ecb980e2df6f5072c854a7151168d79b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$8035E34B-1972-4D31-B0A7-942E57D82D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4073212e5e8a290d1249a88cf67061f68759f7","datavalue":{"value":{"entity-type":"item","numeric-id":2894285,"id":"Q2894285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$185A958B-7C5E-4D12-B7B1-5765F141635C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bb19e6feaa60d67a9e6471ccafb379a55914e8","datavalue":{"value":{"entity-type":"item","numeric-id":2784165,"id":"Q2784165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$7DD0EA92-2506-4214-B0C0-D61342D22900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba93a9c2424c1e261bd24addc65c648eb3cbacf","datavalue":{"value":{"entity-type":"item","numeric-id":3457980,"id":"Q3457980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300342$B6BDEF1B-34FE-4C78-A411-E2543A64B4D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c245a5a4a8d45e73d7e71bfd1127978c47c288","datavalue":{"value":{"entity-type":"item","numeric-id":3455064,"id":"Q3455064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f532fde9ced132b86815f5e812091c3a5f7c02","datavalue":{"value":{"amount":"+0.8842808604240417","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":"Q300342$D3F95AD6-572B-47FF-B1B4-B37617F16255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896e4cb924f5559b0c9344c2fe92f4c8cc87cb56","datavalue":{"value":{"entity-type":"item","numeric-id":2864514,"id":"Q2864514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14c58c62942e401992095817816e153be865937","datavalue":{"value":{"amount":"+0.7125469446182251","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":"Q300342$8E6BBD2D-BE77-4E19-888E-F05F12A603E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86fffbf2b110759b555950f6d521d8d7229e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3289c95853ccd7ecd1ef0483b363101d304b05b0","datavalue":{"value":{"amount":"+0.7091498970985413","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":"Q300342$92A20E9A-1012-4ECD-A96F-BDA52F59BAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4baa166647374ce26227c8ae876aaeeb41de44f6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab490c7b6a7d14f36cfc495c3d507bc734f70e6a","datavalue":{"value":{"amount":"+0.7014510035514832","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":"Q300342$12C529A0-6D7E-4EF8-A77B-3F6E5DEECB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fcb6040a6f115e21305ffd9c41b68ce0f4b043","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c568503899b751941e4cddc63f6eace8ae37875","datavalue":{"value":{"amount":"+0.6969454884529114","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":"Q300342$4EBA4AAA-2B56-4DEC-BC57-382BCA8254D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:300342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:300342"}}}}}