{"entities":{"Q1217699":{"pageid":1228448,"ns":120,"title":"Item:Q1217699","lastrevid":69918426,"modified":"2026-04-13T11:13:00Z","type":"item","id":"Q1217699","labels":{"en":{"language":"en","value":"Indirect-deduction theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3480562"}},"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":"Q1217699$4B996FA0-DF4C-40B3-B55B-07600D897C19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a1e2784531a1b9cff738b5e2ca6663848e7fece","datavalue":{"value":{"text":"Indirect-deduction theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1217699$1E685696-E1BA-4703-AF5E-56F8412F3612","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba602e5cea1553d8b33f32173b84ba9e35061fe8","datavalue":{"value":"0307.02021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217699$CA0A297A-E92F-42FF-8A55-4E7ADA4581D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23acfa37c99417db94ef29b285f3dacce199268b","datavalue":{"value":"10.1007/BF02340043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217699$BAB97CE9-CB45-4A70-917C-1761B9A06DEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"984a565c30ad714ca9f48800313bb7c9af83b492","datavalue":{"value":{"entity-type":"item","numeric-id":1217698,"id":"Q1217698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1217699$D6DD4A12-8041-4FF6-A6EE-C5132D864D88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1217699$6701D13A-DF93-495C-A2D2-8DD0765B1697","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q1217699$8F2ED43C-3BE4-40D6-BBA5-91F5BC790FDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217699$4A7333A0-423B-4C30-B6FA-BF620928A44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217699$C3C8FCC3-C7CC-4500-86FC-9253CA97F5B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6bdb8ab53c259a50d195313e7c8331844de2f7d","datavalue":{"value":"3480562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217699$C3CE21A8-3F95-442F-950A-78D95638D5E2","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":"Q1217699$4DBF4000-8E5E-4613-ADDF-79252A1B3DA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27835c6b4a740d27dac1a7c3642390abb844b0d0","datavalue":{"value":"https://doi.org/10.1007/bf02340043","type":"string"},"datatype":"url"},"type":"statement","id":"Q1217699$B9F169F5-9B56-4066-887F-1362D963720D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac393d949acf888c684ccc1c816150f8c86309aa","datavalue":{"value":"W2003636914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1217699$5C07C329-A014-450F-A7F1-DDC66ED6425B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Indirect-deduction theorems","badges":[]}}}}}