{"entities":{"Q4992896":{"pageid":7022473,"ns":120,"title":"Item:Q4992896","lastrevid":58390119,"modified":"2026-04-05T00:27:44Z","type":"item","id":"Q4992896","labels":{"en":{"language":"en","value":"A coinductive approach to proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7357539"}},"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":"Q4992896$E64BA073-9F0A-45AC-94DF-CB19F9BE4E4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ffc4cc585677d6e42a35e1ec0b317e22a65bab4","datavalue":{"value":"1469.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992896$14604049-845C-44DA-A157-FFC22769D230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992896$DC73F91A-F17E-44B7-9590-A437A35AA38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992896$8889906E-7509-4D14-93A4-73E555DA3AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992896$C148E55F-5C76-4339-8DB2-D5548F3DE7FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf9bde99ed3c9f1a4df3c98d61827e461c1007e2","datavalue":{"value":{"time":"+2021-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4992896$28DBF7EE-3476-4B28-B699-310F8E11CCA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84d6d43add8585e7accb65d0131c54ee5a61b9ee","datavalue":{"value":"https://arxiv.org/abs/1309.0892","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992896$5DDB2003-38AE-4159-BC47-2C3486C78183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7887d0c41ee9eb9ba477b7837b3ee4e9da492c6","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS13.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992896$C550A6F4-CBA8-4EE5-8E60-DDFC07CCED50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992896$8B430AB1-D97F-467A-A201-267486E3458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992896$A18BFDBC-4F20-4FF9-9F06-0AFA136945BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992896$340522A1-0FFD-49E5-9CFD-EBC3CF0D68A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3add694405141d5f6d677af9c40e36a6fb4538b","datavalue":{"value":"7357539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992896$2890A052-5D2E-466B-B1D7-1AB00B4CCE6F","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":"Q4992896$A37875ED-B5B7-4A34-BCDF-7FD6FC872B9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceff7222dafdd35672ade5fa367dbdffe968032d","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff165ce0cc7cc1ebfc2f68ef8f819a819d8874c7","datavalue":{"value":{"amount":"+0.7841538190841675","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":"Q4992896$286984EA-9EF5-4BB5-9C2F-084C81A68F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ba6d19053d2d5a1a4c519a0995a0629d3a84cf","datavalue":{"value":{"entity-type":"item","numeric-id":5747767,"id":"Q5747767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1daaf8cc69e4c5bc19d808030c9d1e02c6056fd5","datavalue":{"value":{"amount":"+0.7754831314086914","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":"Q4992896$F5DE3C61-9EEB-4EE8-B6EA-98FE1B809E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bdf3dcf99bbb982c90981d2d4af8778dfd4e454","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a546292566d15b92a2468dfaa66db693d6a635","datavalue":{"value":{"amount":"+0.7641313672065735","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":"Q4992896$E49F9683-FBC2-4DA1-8EDD-8483C7B7935F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fed738ec99e032df2543a18cea225f2cb0f3c6","datavalue":{"value":{"amount":"+0.7595539689064026","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":"Q4992896$D9A7ADE5-8593-439E-B30B-DB99FAAD8F2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4992896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4992896"}}}}}