{"entities":{"Q6940479":{"pageid":21146481,"ns":120,"title":"Item:Q6940479","lastrevid":84102608,"modified":"2026-05-10T03:13:09Z","type":"item","id":"Q6940479","labels":{"en":{"language":"en","value":"Automating induction by reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082562"}},"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":"Q6940479$5397C7DD-3FC4-4D40-ABC2-961A7A1F25D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5ef2816d2e21039063e64d8360eb64f8f01f31e","datavalue":{"value":{"text":"Automating induction by reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940479$553FA2E3-A24E-41B1-BC82-A087FA37953E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5fb9d96c741eb7d00c1a2a23f9bddefaf124136","datavalue":{"value":"1570.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940479$24FB06CD-0786-4BA9-AF49-BC17F1975E55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19fad663eca4ee23a5964faad4e29c3570bc1dec","datavalue":{"value":"10.4204/EPTCS.337.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940479$F80491D4-BA59-4621-8AA6-345D78D454DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4356e07e26c819aaf28872c09ac7d0a6f42a7b72","datavalue":{"value":{"entity-type":"item","numeric-id":2128806,"id":"Q2128806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$6ACE7FE5-1946-431D-ACAB-6CD20C4B39D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$E142ED35-E956-4365-8B20-CCCD7A60317E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940479$734F4642-F5A6-4D8C-8C1A-0790E96F065D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940479$2FCC7B24-F19D-4D0F-913C-839F182881FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940479$52178776-DBA7-4319-8197-189D07A82C34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99209fa5d0573459727e3b87ac0e486d9bee6093","datavalue":{"value":"8082562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940479$87BA9E62-3BFC-4A47-ADBD-0F198F8323DD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$C31B269A-C538-49B2-8C41-0FDCB1E56783","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":"Q6940479$61D23E7E-15BF-49AE-B810-F338F9D1FEEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0843e7f8e29d84aa6b7b4f9a110eadf9b3b1959","datavalue":{"value":{"entity-type":"item","numeric-id":1134541,"id":"Q1134541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$2AA33269-AA6C-4049-B5E6-5840004A92D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ae6da7145ea199094071cba279497a7d945050","datavalue":{"value":{"entity-type":"item","numeric-id":4255511,"id":"Q4255511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$4DBF61EC-8E54-42AC-9649-F13224CCAA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200a38ad327b4bf6451febd1153cf5712eb36a56","datavalue":{"value":{"entity-type":"item","numeric-id":1799065,"id":"Q1799065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$D436E1E7-9A3B-41C1-8295-B76D3E7EB0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7ce665db3435fa98f1acda442e827ec5d171f3","datavalue":{"value":{"entity-type":"item","numeric-id":2096452,"id":"Q2096452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$4F3B4063-D472-4592-9D28-D3EC3C10110A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cb9de9297b83ec14624a1e09b8792da5237b6a","datavalue":{"value":{"entity-type":"item","numeric-id":5049013,"id":"Q5049013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$16633AFA-2AEE-4605-9E4C-DA31C2B87CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"798dd635c602bf6f7c24f7bf72a916d8ddb7fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":2324201,"id":"Q2324201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$01056B28-39C0-48E4-911F-7DAB3F3A5C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c32d3283dbc1fe39bfc7c16048659fcd75d91f","datavalue":{"value":{"entity-type":"item","numeric-id":1687553,"id":"Q1687553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$8C7599D0-5F02-4B06-9C15-2DE4BE8D1225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77501ef5f37777b2d3db7d9ae8aa8bc51b05feee","datavalue":{"value":{"entity-type":"item","numeric-id":2303240,"id":"Q2303240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$66D00240-0F86-4CD5-9FE4-2649DA1C5C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae62440ba09a5515f96d76031ee20227177ebde","datavalue":{"value":{"entity-type":"item","numeric-id":6194958,"id":"Q6194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$F0D2F2E0-96A2-441F-A3CD-149F5670D8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067318735db9707e0f17d8a952a409eb52ff0056","datavalue":{"value":{"entity-type":"item","numeric-id":6828138,"id":"Q6828138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$63BD4D5D-80D1-4291-BDA5-9BAE77D9FDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001b7d5445aa7045e4e7c2e085937e64f4e7883d","datavalue":{"value":{"entity-type":"item","numeric-id":6854398,"id":"Q6854398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$4331DB1C-F382-49C3-AD09-A82173A8CE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d4be8bfe0a329f02f3477409141a427cce4cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3093483,"id":"Q3093483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$7E55739A-4F3A-4D3D-9B34-CE85EEEF7ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8914056a012fcf0bb24ac61a3922b358208186e","datavalue":{"value":{"entity-type":"item","numeric-id":2849478,"id":"Q2849478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$D8AAC3CC-A3AF-4209-A9FA-8C038F26ECDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07ab1b34cf5cbc8b0d382033f0fddc7c499217a","datavalue":{"value":{"entity-type":"item","numeric-id":5370860,"id":"Q5370860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$D93DB971-BB93-4120-A3A5-E571D84DC011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e490cdda2d770ef8c6504e4f0c10d35d66ab67ea","datavalue":{"value":{"entity-type":"item","numeric-id":2891425,"id":"Q2891425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$173A414A-912E-418A-80CD-51C02D57AA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b56fced2450d35cc50ae17f27d43d5c6f257057","datavalue":{"value":{"entity-type":"item","numeric-id":2280212,"id":"Q2280212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$875AD4E9-8E88-4A3D-9FCF-4E7D46CC493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727bf6303f28578cce92a2bdc6c0d3c263a24381","datavalue":{"value":{"entity-type":"item","numeric-id":2324203,"id":"Q2324203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$8D1AE8CB-15F0-429F-BFC0-23A3C2DF2FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e9e532a60b0c2fe7f69fc24b91b25cb2cddc4","datavalue":{"value":{"entity-type":"item","numeric-id":2305434,"id":"Q2305434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$565A6845-41B7-4771-9248-D586277F73A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797d69ccc16ac41adec3adfdcc63bc05d0208ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$2A0BB9D3-A96B-42AB-BC64-F0B593B4E0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e87ad9e1935e20d1377f982d31878d886788f26","datavalue":{"value":{"entity-type":"item","numeric-id":6940479,"id":"Q6940479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$270A61D0-F948-44F0-ACA6-5468B37C4408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa6750f3149d248c4e232f6fdbdc36d7bc86e39","datavalue":{"value":{"entity-type":"item","numeric-id":2920991,"id":"Q2920991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940479$BDD47E51-3C68-4862-8C09-0ABCD20AF104","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automating induction by reflection","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automating_induction_by_reflection"}}}}}