{"entities":{"Q6326847":{"pageid":13462287,"ns":120,"title":"Item:Q6326847","lastrevid":95043146,"modified":"2026-06-05T08:14:17Z","type":"item","id":"Q6326847","labels":{"en":{"language":"en","value":"Clause Set Cycles and Induction"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6326847$7646F097-CBE7-48C8-8656-2EA3CAD80B1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69528ab356cbcd2b53ea1b91a6f142ab0edc04fe","datavalue":{"value":{"time":"+2019-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6326847$FBD3B764-468E-4C57-9CA2-0050ED034180","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"90b587d86a65eac1da18337f08e68b9e7c81388d","datavalue":{"value":"1910.03917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6326847$0AF76622-C25C-4185-AAAB-A3F095F941BD","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6326847$0D87B588-33F4-4910-9F23-FD96CF5BE759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6326847$39FBB1C1-079F-4915-9EA5-4B4501ED402F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6326847$577B60BB-67D5-4B38-B673-83340BB8FB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c49809e939d645930eabbd7252fe1cb08b898ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2084941,"id":"Q2084941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6326847$94B8D8B0-E0E1-4A16-B6C1-0FB26008D36E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6326847$C65F48E0-2983-4F1C-A9D9-AC53E43D8AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6326847$4BBDC943-33CC-4EDA-816E-AF10292C11CC","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":"Q6326847$F036D5ED-C956-475C-A86B-045133AE4D14","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"6f501c195ce965af71d2ebf08cd7e316c91139ba","datavalue":{"value":{"entity-type":"item","numeric-id":5140266,"id":"Q5140266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6326847$3044D429-162B-4C1E-AE29-A91FEDD65DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Clause Set Cycles and Induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Clause_Set_Cycles_and_Induction"}}}}}