{"entities":{"Q1915136":{"pageid":1925878,"ns":120,"title":"Item:Q1915136","lastrevid":69285405,"modified":"2026-04-13T05:59:48Z","type":"item","id":"Q1915136","labels":{"en":{"language":"en","value":"Middle-out reasoning for synthesis and induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 887166"}},"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":"Q1915136$E0201DB6-C37B-437A-A6ED-9761EF9A3579","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69a23c4306a1c395fe4fa596bdbdee2531922a1d","datavalue":{"value":{"text":"Middle-out reasoning for synthesis and induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1915136$6015D9C0-8F76-4B73-AAD3-9142C24C609B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e25e0c66c934a4499dcc22becbd49ed9bb689fd2","datavalue":{"value":"0847.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915136$D089CEFF-BE05-4208-AED5-9CA581549296","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ca4ec715fff23c4347034fe8a9206f86b8b3e91","datavalue":{"value":"10.1007/BF00244461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915136$F3911F39-C8CF-4D25-A3A8-03FC0D382352","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60ed1c3e03f46e4261c16e1405699dd291531541","datavalue":{"value":{"entity-type":"item","numeric-id":1915135,"id":"Q1915135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$2983900B-6ACA-4A76-926B-F5D1688D34C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$8C8E20E4-6A8E-49EF-A66F-452651005D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$63FD790E-51C0-4D44-91B9-AC993F626D87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$4F847D37-25AA-4BBD-8EFF-2EA21B4E41EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88c2210e4885c1985c6e989c6e3d5dfc697aa6d7","datavalue":{"value":{"time":"+1996-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1915136$5D3CE5F0-E7F6-43B7-AF22-34437A06343B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915136$C45DF4BE-FC37-49BA-B661-5776F32BFA7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c5919ed9d70cc4155ea60c544efb6ba2f606348","datavalue":{"value":"887166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915136$54403491-EB4A-425C-BF4A-125749758E41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f402fce80286e076d8f8353319313ae4b5df449","datavalue":{"value":"middle-out reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915136$0BC8059B-BF4C-4627-AE9D-8C07284BE59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c647baa8386d4c949b3e52110341991ce0ff547","datavalue":{"value":"logic program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915136$5AD4B761-5340-48A6-8EA5-81DEA3CA4E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6759ef0a24ae9887590bac50fa53a2fd9e64a28b","datavalue":{"value":"induction schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915136$F1D1309E-16F1-4E71-B72B-D02393210E58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$62BFED86-2401-43C8-85E3-959DC9F82C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$FA1CA579-9568-495C-8C4E-9E918B6E1C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a68cdd3e97b0168a20493dd016b20595a0a54bc5","datavalue":{"value":{"entity-type":"item","numeric-id":31435,"id":"Q31435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$795C50C0-92DA-4AB4-B997-8C997C753830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$3509AEE0-C0AB-43E8-B6B2-F483F0D9DE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"921d32d8d1ca69010a301aa5e803db4becd58b85","datavalue":{"value":{"entity-type":"item","numeric-id":44335,"id":"Q44335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$FA1956F2-57C9-4C9C-8601-494B1C5C0ECD","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":"Q1915136$6CBB2381-F825-4FFE-AF36-5887FD9BF6D0","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":"Q1915136$CC36470B-F86A-451C-9BAE-8A45F52872B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142a06656e3f2eff807eb768fd2d0183f8fa555a","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$0916342C-DDED-410C-89B3-D6E2C33427EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$6F95AD36-97BB-4D52-8469-751944D7BE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$6F10D097-E3FA-487F-B8E7-918C9D1BF67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$130808EF-2D08-4B6A-B2B0-C6EE53059751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88277b83497270dd7264f4c05874238f4bd557fb","datavalue":{"value":{"entity-type":"item","numeric-id":3490990,"id":"Q3490990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$32DE408C-1B5C-42CA-8347-1CE2A0BE2078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f1869c19dff016cb926d6baaa8f929f7c4eddb","datavalue":{"value":{"entity-type":"item","numeric-id":4138099,"id":"Q4138099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$4C462D58-43F8-4C58-BC9C-A07112E80DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa2e78b2c8f62bc01c953d0d9ef301476ca64fa","datavalue":{"value":{"entity-type":"item","numeric-id":4305630,"id":"Q4305630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$08B894F2-D058-4271-A1FE-FB399D6447CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$3D66C748-65ED-4CA0-9967-3C1DF04760CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$C220D194-37F9-4269-A3DD-4526ACC1F39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$49EA2D6E-285D-4C63-820B-E033357C8470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639823c44960a1ab1be29061cbe5e09f97578619","datavalue":{"value":{"entity-type":"item","numeric-id":5210760,"id":"Q5210760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$5EB59367-CFB6-44FC-84DA-CFE3C205BE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$24D9B0E9-DC8C-4E30-BAEE-D47740D9AED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe67b65727389c17ae1cf9ee01424d6547a522d","datavalue":{"value":{"entity-type":"item","numeric-id":1915136,"id":"Q1915136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$3208F9DF-A96A-49EA-B5DB-329A7E47F0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$5E4150B6-DCD8-4AA7-9574-ADAEADCEA7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$F5A470CA-E195-4A3D-BB46-63A96A77363F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$B0F549E3-4A5A-4115-B572-CC8A4EA99BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb9457f1233433ddb3ac70457c8fc889d94bae0","datavalue":{"value":{"entity-type":"item","numeric-id":5210761,"id":"Q5210761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$504AE3D9-07BB-4DC5-8EE6-9B1C800D55AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1abad07de2cd9f955644a04d753dfcf6e7dc9fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5210817,"id":"Q5210817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$6215EAE7-C84C-4300-A1CC-CAEABEF400A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40eaffa350ac2f00c7522e92d2e0a632635b28","datavalue":{"value":{"entity-type":"item","numeric-id":6488570,"id":"Q6488570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915136$68EDF346-A0C2-4B31-8284-65EA8E4A1555","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27dfb183a9baf5d44f4286c172ea94fd80aff52","datavalue":{"value":{"entity-type":"item","numeric-id":1128483,"id":"Q1128483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69960cd23ccbcba51d91a71ba2326c621211d5c","datavalue":{"value":{"amount":"+0.7532224655151367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915136$3D37D0F0-CD7B-48A1-88B9-0F29C3B310A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4afe4e534cf9d6abc68285859f5dc88b4ee0e95","datavalue":{"value":{"amount":"+0.7512973546981812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915136$4F70CB7E-6506-401D-A7C0-FAD336CB2FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84dcae5c30dbd02128ba290c5587fd5f61c4a575","datavalue":{"value":{"amount":"+0.7496010661125183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915136$8C93BC5B-C3E3-469E-BA78-7F50D26169AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94b0e67ce4347848d9fa0e93ac0a7857508eb8b","datavalue":{"value":{"entity-type":"item","numeric-id":4845025,"id":"Q4845025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9725e207b7d3846dbb3dc37ee0e5dbc1763212","datavalue":{"value":{"amount":"+0.7437162399291992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915136$7A216C6B-38B0-4F90-BB17-0521E587E9D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Middle-out reasoning for synthesis and induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Middle-out_reasoning_for_synthesis_and_induction"}}}}}