{"entities":{"Q53718":{"pageid":53774,"ns":120,"title":"Item:Q53718","lastrevid":105428774,"modified":"2026-10-09T10:10:35Z","type":"item","id":"Q53718","labels":{"en":{"language":"en","value":"Open Induction"}},"descriptions":{"en":{"language":"en","value":"AFP entry Open_Induction"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"9707e4b589140872a651389294e353821f02b731","datavalue":{"value":"38018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53718$67E9F70F-2EA1-492A-BFAA-74A0B4606BAF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$9A916473-92B1-44C9-8978-07A43FB45C91","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"1f17c96045933862cf1eaefa158ced313e524b4e","datavalue":{"value":"https://www.isa-afp.org/entries/Open_Induction.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53718$D01821A1-0680-48A1-AEAA-F2695AD8BD10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53718$AAEC1FAC-78CC-45D4-A1B3-6915D8291B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53718$149EAF0B-6CCB-4D47-BB5F-168E4ABA382D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53718$8CA3A28F-D4D8-4B38-9445-1AFF2B38A6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53718$265E9CA6-F522-4C72-9D98-1F346A56CE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2becadfb03f0a4ea19120ee675d7cd2fe8450d8c","datavalue":{"value":"6.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53718$74A79121-307F-443D-83F5-1EE9E7ADB7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53718$34BCB919-A63B-4DDE-9BD5-96D1B5E970E6","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$6147A9B0-E399-410A-B081-81BD264D3765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d3a62eaf34da81f5e92b727b678d5beeaeb06686","datavalue":{"value":{"entity-type":"item","numeric-id":41247,"id":"Q41247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$1704E7DF-3A9C-47CA-AB5A-AD75EA9964A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2778ef58df5d105bc5fcd1f1e6190b4cffc33d19","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$6F31A01E-B3D4-4481-8A69-6D47F759D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"046302aadd52f5692c4edf175a5684d026422a8d","datavalue":{"value":{"entity-type":"item","numeric-id":40319,"id":"Q40319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$D2B67101-DC88-4215-B2E9-BC3F57F489F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$E6524935-91E4-439E-A4B1-1FE78B1F5363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$4F0DE01D-E1FC-4093-A0F8-8D88AAEFD3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60c3e92cef9647ede91bb4f6e4b4ff38f40460ac","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$DA51EAF9-9698-4618-BD10-36B44157A8A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0eac9bd2e329ba72579b4ab6df426560d4ae1998","datavalue":{"value":"https://isa-afp.org/entries/Open_Induction.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53718$0DD3B932-AD39-4DAF-BC6C-A8AE2302AD77","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"d91b0f8d9111f0e3081d790c98e359ee75351c12","datavalue":{"value":"Mizuhito Ogawa","type":"string"},"datatype":"string"},"type":"statement","id":"Q53718$7284743C-E65B-4583-957A-0CA31C67FCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7335db8cbac804a8435e80e80636b4dde04d73bd","datavalue":{"value":"Christian Sternagel","type":"string"},"datatype":"string"},"type":"statement","id":"Q53718$4C332C9D-853B-462B-B994-C375EBFB21AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"838cde81c6e2eab07c1e47fb3ab68c665cb1744c","datavalue":{"value":"A proof of the open induction schema based on J.-C. Raoult, Proving open properties by induction, Information Processing Letters 29, 1988, pp.19-23. This research was supported by the Austrian Science Fund (FWF): J3202.","type":"string"},"datatype":"string"},"type":"statement","id":"Q53718$AFF39E01-5927-4A9F-B09E-88AD226FFF02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bf69277b7716ce58c94d2517a81ceba3b8d07db","datavalue":{"value":{"time":"+2012-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q53718$33E484D5-EDA3-4444-91E2-1F2980D7F9CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dd4cdd1bf499a30ee3a989c3549ee3e4fde24aa","datavalue":{"value":{"text":"Open Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q53718$990E5539-EDBA-4C08-86A6-47871F10D828","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e6e74fc9f0e43b2bb5ebeafd488ad5919a3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1112816,"id":"Q1112816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$356A2345-C5D9-48A5-8ECC-32C2346356EB","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$BB6B2F19-949E-4E3A-BBE5-BEB56376F8CE","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"5634edfbfbc0239093a6d080d47ef70273afec4d","datavalue":{"value":{"entity-type":"item","numeric-id":7360824,"id":"Q7360824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53718$3CD59993-C08B-4E78-9B4A-EC73C6A22D47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Open Induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Open_Induction"}}}}}