{"entities":{"Q2892763":{"pageid":2903488,"ns":120,"title":"Item:Q2892763","lastrevid":51497312,"modified":"2026-01-18T12:39:41Z","type":"item","id":"Q2892763","labels":{"en":{"language":"en","value":"Combining interactive and automatic reasoning in first order theories of functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049291"}},"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":"Q2892763$48A96E9B-ADA9-44A0-AF75-6159E78095EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d566218647a3b5ca3343c40d7f77e90788ef6f1","datavalue":{"value":{"text":"Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892763$6D646002-EE4B-4ECD-A605-7FBB89DF7050","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"289db810edd8198b0216ce7b015521a230f14214","datavalue":{"value":"1352.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892763$0CADECBA-E12A-4939-972E-3FC52A51DED0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"217b49e8a68d770d1237463c3d32740622faa71f","datavalue":{"value":"10.1007/978-3-642-28729-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892763$EFCB8706-7933-4446-A27F-C7E5D8D6C749","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fa8ed1a432c4af2ca647b623e8e3f5c6fe6565","datavalue":{"value":{"entity-type":"item","numeric-id":1744409,"id":"Q1744409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892763$E68B1EB7-F006-43F6-B7D6-A6B7EEE0D59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892763$83C470F4-09BA-4C47-A1E7-BD698289EA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd0287f407ba0bd325f5808f8a40a26261f7e02b","datavalue":{"value":{"entity-type":"item","numeric-id":2892762,"id":"Q2892762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892763$A50E92DC-B204-49FC-AB6B-E16811C83D00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892763$DEC3425C-03ED-46AD-B3DE-7D3EE37D0F06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892763$7608E9A7-162E-4601-AFC1-0DDDCF6C9930","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892763$8A6EE524-ED92-4775-97B1-D3737A9D11CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892763$64B8044B-642E-4834-99F6-2EA957B4E30E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5b7cc87d444807b9435caed04f21161dea622ef","datavalue":{"value":"6049291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892763$87FDAE1A-3865-467F-B200-1D36EC489CD6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892763$A21F71BE-B648-4D3C-8E6D-4A5CBCD2BC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892763$A4273093-2F53-4FD9-9B7E-F5A6E2715ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892763$201FAADD-8FCA-410C-B056-40F4C0F3091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892763$FA405147-E90B-4AB4-81C7-3D81E24174D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892763$7601E7C6-65FB-4933-B842-942EAF35BB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892763$282D3FA2-C53D-4755-A8F4-9D8D2D3506D7","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":"Q2892763$D3B808F5-C9AB-4420-AF3B-12F69967C969","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7deef9258eadf35cbd50ae55548e0e59c8b631b0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28729-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892763$DFB2518D-3EB5-430D-BE7E-DE161E6A53F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fea53797894731898cb8cffdb1c517e911590e2f","datavalue":{"value":"W1521417784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892763$8BD09024-2967-4633-B488-D1C982336D6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6cfd9680efac0046be52ec39ccd2bc6fddb1b5","datavalue":{"value":{"entity-type":"item","numeric-id":5897605,"id":"Q5897605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a719ccd6957c060d4494cc99fddd72e3d57893","datavalue":{"value":{"amount":"+0.7513178586959839","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":"Q2892763$D3008E3E-7A11-4DC0-8084-043D5B5E7782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a465533b19cab6738d2517e61ec5b80305c651e","datavalue":{"value":{"amount":"+0.7354891896247864","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":"Q2892763$9024DB9F-7F39-4804-8777-34EA993D3194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b7873aab599a14eae56e7d99603456b3e23520","datavalue":{"value":{"amount":"+0.7198021411895752","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":"Q2892763$794505B2-3206-4EDC-84F5-588AD0CB2054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6375d904022100cb81376160eb9f0da8c95dfdf0","datavalue":{"value":{"entity-type":"item","numeric-id":2941181,"id":"Q2941181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a14aff75b691238d2de70e4ff4f1526fe1679b","datavalue":{"value":{"amount":"+0.7193400263786316","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":"Q2892763$9A85AE52-41CE-4FE8-A4A1-E211F7083BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb234b5551cae0af9257fe3eff72cf077bed7f0a","datavalue":{"value":{"entity-type":"item","numeric-id":4461768,"id":"Q4461768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551c12ebcaf58855d6873b6b44335d6a1858e94e","datavalue":{"value":{"amount":"+0.7116369009017944","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":"Q2892763$F203466F-035D-4538-A552-EE63E91838C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892763"}}}}}