{"entities":{"Q6436650":{"pageid":13569663,"ns":120,"title":"Item:Q6436650","lastrevid":103152491,"modified":"2026-06-06T06:25:06Z","type":"item","id":"Q6436650","labels":{"en":{"language":"en","value":"Quantifier-free induction for lists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900591984"}},"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":"Q6436650$66960575-8003-472D-9F2A-3AF035C86DC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f8cd678429e6b461d7a68a84be99a49497a2703","datavalue":{"value":{"time":"+2023-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6436650$2FFD0FF0-892E-40D9-8BE5-FCCB70C5759F","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":"Q6436650$4A90FA47-E29E-4B25-95F5-7BCC0CABA1E3","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":"Q6436650$EBE270FE-2A5A-4E9A-9B24-626F95AE425D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f21701151b0f4bfd84393a8548401ccd9d46e71d","datavalue":{"value":"900591984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6436650$8C8DC19D-1CE5-4EF7-8808-A55A9751C8A3","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":"Q6436650$CEEC22C7-9698-4905-A433-C6878FA98091","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier-free induction for lists","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier-free_induction_for_lists"}}}}}