{"entities":{"Q1217466":{"pageid":1228215,"ns":120,"title":"Item:Q1217466","lastrevid":69919884,"modified":"2026-04-13T11:13:27Z","type":"item","id":"Q1217466","labels":{"en":{"language":"en","value":"The inverse method and tactics for establishing deducibility for a calculus with functional symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3478424"}},"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":"Q1217466$41DDAE93-67D4-4C2F-9E5D-CAA2508EC3BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16f8b6122f8f0b99c37e0c8dd6eb952c23deadc1","datavalue":{"value":{"text":"The inverse method and tactics for establishing deducibility for a calculus with functional symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1217466$1D3FCEB7-C7AD-4A66-A96D-964BC13C662A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06104cbe1a4ae4d894425215525b1c80d05a9035","datavalue":{"value":"0305.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217466$0719CE76-5701-4430-B4D7-80EF414AAC77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18eb4f341702d4d38503cab569946cc117de88eb","datavalue":{"value":{"entity-type":"item","numeric-id":599717,"id":"Q599717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1217466$8490077F-0AA0-485E-AB6D-4262950F0EA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52ab463cca8ead400441fcc2b4fac1f6fbb55915","datavalue":{"value":{"entity-type":"item","numeric-id":251486,"id":"Q251486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1217466$40E3D293-8D1D-49DF-87D1-EBF38573E45F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1217466$E8E59C3B-9119-472D-B57E-1C58904667FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217466$E657E2AA-4399-494C-8A52-63E1502CCED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217466$5BFB4154-BF14-4161-B15B-05C7BA6430A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"225d075049c1d13d4f18f064a24bb75207a3f576","datavalue":{"value":"3478424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217466$86951467-8A57-41BB-8238-260873C49C90","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":"Q1217466$A88BA4E7-DF94-40BA-AC00-F53F743B39C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The inverse method and tactics for establishing deducibility for a calculus with functional symbols","badges":[]}}}}}