{"entities":{"Q6282945":{"pageid":13419528,"ns":120,"title":"Item:Q6282945","lastrevid":58911027,"modified":"2026-04-07T01:00:48Z","type":"item","id":"Q6282945","labels":{"en":{"language":"en","value":"Clausal Analysis of First-order Proof Schemata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900499302"}},"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":"Q6282945$F1BB01EA-AB66-4CF4-BD18-F87F489B354B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e5e5990e36b519f41dfed9405f14b12a1e45d34","datavalue":{"value":{"time":"+2017-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6282945$9BCC3129-530F-4984-9669-D9FF3A6627D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfbc6aedeac132fa8fdf22a422318272d7dd6c21","datavalue":{"value":{"entity-type":"item","numeric-id":1694472,"id":"Q1694472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6282945$F92FA0F4-F544-4F9D-8849-2EDC2BE88980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6f2e26da664562e33d3f4f0c060bd5bbd4206b1","datavalue":{"value":{"entity-type":"item","numeric-id":1799067,"id":"Q1799067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6282945$0010D61D-1488-411E-BB25-09184C667BB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebaef0072ae6802b5b09fd8c6a22bda8e3f9428a","datavalue":{"value":"900499302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6282945$24588BA2-7102-4ED5-9A3F-44ADB1117619","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3cb998f3c3e3bd0349c545312e7a9ff288a52e1","datavalue":{"value":"10.1109/SYNASC.2017.00029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6282945$62E9E0E5-5A7C-498A-A488-9A13EDD66A1D","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":"Q6282945$417B3FA8-0DF2-4A47-9223-07E66C49D989","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6282945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6282945"}}}}}