{"entities":{"Q2894285":{"pageid":2905010,"ns":120,"title":"Item:Q2894285","lastrevid":51501128,"modified":"2026-01-18T13:01:08Z","type":"item","id":"Q2894285","labels":{"en":{"language":"en","value":"Zeno: an automated prover for properties of recursive data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051100"}},"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":"Q2894285$7C32CCB0-2A94-4855-B33E-54B574F2BDCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1bb5dc2972c221ceea980e9ed81abc5ef7f6a14","datavalue":{"value":{"text":"Zeno: An Automated Prover for Properties of Recursive Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894285$AADED945-BF08-4715-BA3E-0F2594C9B9FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"190a4bd99e0154ea6a1cd5b4ef3ae6e284eb5722","datavalue":{"value":"1352.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894285$2510C769-8F0B-4B48-9433-A9E135C3D879","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5237a12b615ec4369f2f2678bddcfa7abd39251","datavalue":{"value":"10.1007/978-3-642-28756-5_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894285$A05B5526-4EE9-48D8-9AC5-B1182C0E97E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bdffc6c8dcf752282329aa2f823613b5c583bfb","datavalue":{"value":{"entity-type":"item","numeric-id":2894284,"id":"Q2894284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$16C1B784-2D41-4F43-87B9-CD3303179129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7e92e2b77cf2569e3f8d3fc348a2ddf3133845f","datavalue":{"value":{"entity-type":"item","numeric-id":859835,"id":"Q859835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$0CC4B59E-6765-4CA3-B51E-D0FDCAFC2D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a6ebd161ce3f9f424bd2fa908ef5b54bf16719","datavalue":{"value":{"entity-type":"item","numeric-id":859836,"id":"Q859836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$6310843B-B6E2-4C4F-ACFF-C2CCB500FC4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$36CC14C8-3E81-4AA5-AAE0-2F143CA3BDD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894285$8A075BC7-B008-4554-A832-2BDDB0BD9847","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894285$6FB7A905-3F07-48A2-A0CB-EF6D40D681D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894285$4B277EB4-806D-4001-BE8A-E601FF2B2004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894285$587ED5B4-2CFA-41B5-9C8C-93B13F205F05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bde7b34175c84e298bf7eca679b1e76816b7021","datavalue":{"value":"6051100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894285$B43A7D89-7F14-4FAA-AE91-E7559E7D750C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$CB55B8B0-F1D5-4307-80D5-8910265AAF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$FA0FC3C5-972F-48CE-9F4C-1C9871EAD28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$9024B4F8-223B-4DC1-A81B-414882B88A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1efe251f10f20310d9fc2391ac64c314c66eb36","datavalue":{"value":{"entity-type":"item","numeric-id":19751,"id":"Q19751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$9D64D17C-7ED8-4D82-8FAC-08B614F4D99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$2FB92F51-38C7-4BB0-930A-83B54F8CEF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$1C9D5B9B-6CFE-4A9E-AF67-939915B3F68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"657c2b69172e91ce880ab1b5eeeaa41535edcd29","datavalue":{"value":{"entity-type":"item","numeric-id":21715,"id":"Q21715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894285$474E57E0-DE4B-4254-823E-0F9BE472CBE0","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":"Q2894285$C9E84BD3-71BA-4F06-AC4A-80688A4BACAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c5427bf8f3266e80c2d823ba3b632b857c00441","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894285$AAAFC897-95CF-4214-8A4B-FFE0FD46AE9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41501448b9855b9bdb80aed88d079508ff22557a","datavalue":{"value":"W174956004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894285$BDCD779D-4A7F-4D3F-807A-ACC410DBCC5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b20eeaa6e73b5a30c13519c386169b5dc049a7a","datavalue":{"value":{"entity-type":"item","numeric-id":3498463,"id":"Q3498463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86137ecde5f045673c01be305a20f18d5ceee66","datavalue":{"value":{"amount":"+0.7740487456321716","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":"Q2894285$0F9F2728-A106-4AE7-9911-40A142DC5418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc21c36244ab247d119fae45e9eb4817fb00eb3d","datavalue":{"value":{"entity-type":"item","numeric-id":2870135,"id":"Q2870135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11895b8905813423aad2633c93dead971eccf712","datavalue":{"value":{"amount":"+0.7151903510093689","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":"Q2894285$7671FAD4-CD5D-4E8D-811A-44A4775BC05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853fb91ffd1fd69bb030fd26f1cc9c43af483195","datavalue":{"value":{"amount":"+0.7029294371604919","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":"Q2894285$C174E7E7-AB55-476C-A25A-3D93AC7ED32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda481b541398e1a99f4b5d3ef12a328b1ce13e","datavalue":{"value":{"entity-type":"item","numeric-id":6488518,"id":"Q6488518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b249f654f01854a0f078530569a1234a8a3eebe6","datavalue":{"value":{"amount":"+0.7012717127799988","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":"Q2894285$4C2FBE4D-9D0D-41F8-8294-EAF12D4E33C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2ab1749cfd1cb1654f9bba92afb846f1670ac","datavalue":{"value":{"entity-type":"item","numeric-id":5053006,"id":"Q5053006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f6762b2121b1d0784c6b99256162dbed90bc36","datavalue":{"value":{"amount":"+0.687591016292572","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":"Q2894285$B12CBF02-D1F9-4594-9FBA-BEFB63177138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894285"}}}}}