{"entities":{"Q3455064":{"pageid":5234464,"ns":120,"title":"Item:Q3455064","lastrevid":52406783,"modified":"2026-01-22T14:09:24Z","type":"item","id":"Q3455064","labels":{"en":{"language":"en","value":"Inductive prover based on equality saturation for a lazy functional language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515881"}},"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":"Q3455064$F22DA06D-74E1-4477-AB3B-25302004824C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d3114c52f39f9bf63fb2a312691a804d44d5286","datavalue":{"value":{"text":"Inductive Prover Based on Equality Saturation for a Lazy Functional Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455064$5076644E-4987-4A8C-B997-CDAD4B3D9AF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd07055900a8eacc0f6c703f22d5e61b105eea70","datavalue":{"value":"1434.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455064$C3D7573C-3C7B-4BC8-943C-D9ACDA1832BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21e3244ea6ca319a0c4be5c9f9e10cf5b0d8fae5","datavalue":{"value":"10.1007/978-3-662-46823-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455064$FAA43DC0-8EC7-45A4-8A9B-1FEEF715E6A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5f669684e10630dd392a5058a13f877469575f4","datavalue":{"value":{"entity-type":"item","numeric-id":3455063,"id":"Q3455063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455064$48BAF046-6713-4893-B5C2-61C329807BFC","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":"Q3455064$58CD3875-0A9F-4A54-BC40-E898668D9E52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455064$1944DAE3-9741-4A65-8B3F-2E00F437B254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455064$7CEDF9AB-2E7D-406E-B3A5-7012C0B0F942","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30f0f8fa7ead4ff7eeb1b4ffc11561fe31dc4648","datavalue":{"value":"6515881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455064$90C18A9E-C5BD-4D49-8BCE-CBF560631957","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":"Q3455064$2E35707B-143E-4899-B50A-9B02F4E23E69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45da8fd033a55225fc34b3a839d0921983dda1b2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46823-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455064$3D3869B0-5825-4080-AEED-3CF5618BE74D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf12315641fb99ffb3f85f3275f04f937c3fe36d","datavalue":{"value":"W2199924460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455064$024996D8-0BDC-44C4-90FB-1BD1BF1A39B2","rank":"normal"}],"P223":[{"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":"Q3455064$8583BBD7-B58B-4BB7-9BF4-8810D9811635","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":"Q3455064$49E20B17-79F3-4F31-9008-58021686CA83","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":"Q3455064$32A50186-C5F2-4819-BF31-6D85B9D38156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0834c6a82a92f8301a49a5eea7619039e9e139db","datavalue":{"value":{"entity-type":"item","numeric-id":1758721,"id":"Q1758721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455064$D38BEAB8-6FE2-47F8-AF9F-F7BF2490A2ED","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":"Q3455064$E33A41C9-B2CE-4892-A793-2254FFB48D8A","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":"Q3455064$9186FCCD-01DB-4282-804D-774F8999E358","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":"Q3455064$1263C25A-102D-4A3E-B059-8D5264746F3E","rank":"normal"},{"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":"Q3455064$E15AB92A-E93F-4188-9FAB-10A1106D192A","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":"Q3455064$FFAB4681-96A8-42CE-8D90-DEF761614984","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"560d7a20fbbcbb073f2512d81a5358696ec9f287","datavalue":{"value":{"entity-type":"item","numeric-id":300342,"id":"Q300342"},"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":"Q3455064$E1289DF8-BEED-4552-82EF-51F43AEBE90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedc1ea2579d58dc468d1438bcd2d4b0bedb07da","datavalue":{"value":{"entity-type":"item","numeric-id":2303240,"id":"Q2303240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103fdeb9318482265c9ad4573199142e787a5cb4","datavalue":{"value":{"amount":"+0.6991925835609436","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":"Q3455064$A58D31BC-E6A5-43E8-8510-E9D42C6FC038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6a11fe9c7925bce8eaf884ea4961802e808d16","datavalue":{"value":{"entity-type":"item","numeric-id":2751366,"id":"Q2751366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1acd6e8b8010a397a688dde3e9fcd438fcdfeb77","datavalue":{"value":{"amount":"+0.6935666799545288","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":"Q3455064$6F82742F-2708-4838-B525-826910555C42","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":"1acd6e8b8010a397a688dde3e9fcd438fcdfeb77","datavalue":{"value":{"amount":"+0.6935666799545288","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":"Q3455064$DD2433D1-8658-48CF-A1F6-84E33812B4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bd0fa66fd9009baaa2529908f98e3f28360a72","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07bfff015dfb205d763ce3793fc37a963a43fac","datavalue":{"value":{"amount":"+0.6907486915588379","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":"Q3455064$87EEB691-E3A7-4E16-B47D-9DF1B0616126","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455064"}}}}}