{"entities":{"Q438543":{"pageid":440310,"ns":120,"title":"Item:Q438543","lastrevid":61924482,"modified":"2026-04-11T02:35:13Z","type":"item","id":"Q438543","labels":{"en":{"language":"en","value":"Conjecture synthesis for inductive theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062051"}},"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":"Q438543$1CDF4C26-0980-4E56-B9B4-1A9F77336562","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a451e7bc8a1d32e4d5e9ad4e2ce55058298847d1","datavalue":{"value":{"text":"Conjecture synthesis for inductive theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438543$072499DF-B6BA-486F-87AC-BEF561173B02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae5c83323b8a5392bd1998c04b991dd2875aa405","datavalue":{"value":"1243.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438543$5E3A9D16-DA2C-49F3-9D2F-A22B80BEA356","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff9a748cd6fc1ff0926984ae3ee01554f12fa14","datavalue":{"value":{"entity-type":"item","numeric-id":287274,"id":"Q287274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$30388EA5-16AB-4B9F-B55E-ED1F8634C048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264da1f1819ab39093e1bf553dc9247ae5239bab","datavalue":{"value":{"entity-type":"item","numeric-id":438541,"id":"Q438541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$E7C92590-C223-4122-85BC-F50482CD0A03","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":"Q438543$38DE553C-A704-46A7-82CB-D90142D12088","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":"Q438543$AE5510BA-04D3-4D37-A05E-FC08A134A868","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q438543$FF0BDE45-012A-4640-BC28-4723310A052F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfd60e3a0349a8511541922b1a41ef59fc2aa4a8","datavalue":{"value":"http://hdl.handle.net/1842/4746","type":"string"},"datatype":"url"},"type":"statement","id":"Q438543$08CD40D3-F757-45F2-A190-A934B3A328F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438543$4DE179FD-E2B6-48EC-8A38-B813D2C63CC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f7ff81b28c009e2386735891c691e8a571a910b","datavalue":{"value":"6062051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438543$3CC89480-C6A5-4461-9EAA-44BB098A8146","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efc33a4f8119e18b59eded70444d5b2dbecec351","datavalue":{"value":"theory formation","type":"string"},"datatype":"string"},"type":"statement","id":"Q438543$CD7E59F3-7EAF-472E-A418-0C13D9910F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q438543$C76198DD-283A-4F75-8F78-37F798903BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q438543$057A1A0E-07A6-49A4-826E-DB6F9FFC9C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q438543$08548529-E260-41CB-A447-060C4922DCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cab0fc5514ba914f481903d3e6b1d1c5f5d536c","datavalue":{"value":"lemma discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q438543$D82E744B-1944-4032-A670-101C174DA7ED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7455f027e03079e71b5af6ba6b0c2da1e98e4196","datavalue":{"value":"Q122961283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438543$FA43FE57-1A82-4055-9948-CBBD2311D044","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$A315C926-0BB2-4C7A-8165-91D6D08F1A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$7F1F2F5E-7349-4309-9243-C2BBA84EE278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$CE465642-2701-4829-AD47-7A1851EAF57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$5B2CF772-E51B-4931-A837-C3EECF62E91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bf6b098c4c01159a1cdee4d92fe2d1a9384e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":22353,"id":"Q22353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$DEED6C8B-FDDC-421A-8998-0B0208DDFE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f6bbbacbf08ad130b8297edb135f77325529a11","datavalue":{"value":{"entity-type":"item","numeric-id":33163,"id":"Q33163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$716A19AD-1594-42BB-ADE2-F959E9B4975F","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":"Q438543$C004471A-3E47-4FFA-8D7E-A4D42571D5F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92b44021408f0316c700122970e42969834295fb","datavalue":{"value":"W2014136929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438543$F1BBA01E-3C4B-402A-B845-F7E421A88752","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e013849775846918727fac3e7e6455bd448813","datavalue":{"value":{"entity-type":"item","numeric-id":865646,"id":"Q865646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$363990CC-B6A2-4FF8-97E5-C228F1E8D9F0","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":"Q438543$9E21C232-3E0F-4132-A4E4-2A290742103B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$81A51AC8-4BD6-4381-AFEA-2A60335D8E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ae27268a48b91a2cb9712e13b2ccff954f2260","datavalue":{"value":{"entity-type":"item","numeric-id":809617,"id":"Q809617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$3E87DE91-BCA8-4EC4-8C87-84E7274F9EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adb473fffc2c544140b019af170eaa1f11b1687","datavalue":{"value":{"entity-type":"item","numeric-id":3006508,"id":"Q3006508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$CFEDF673-DBF6-455E-8EE3-1019B6C4079D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1c165ac017b0fdebcae7fb80e24faa99c5a2d3","datavalue":{"value":{"entity-type":"item","numeric-id":5464664,"id":"Q5464664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$9FF36B36-14CB-42CF-B83F-A3A1466EADE7","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":"Q438543$47DA102F-181C-4B16-9489-0081B6E4F523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$7CB07CA2-23FF-43FC-9594-EE0874FDFA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25487571324878f5d5d065491b3aea0ec5cda997","datavalue":{"value":{"entity-type":"item","numeric-id":3938537,"id":"Q3938537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$D8CCF44A-115D-4C49-B01E-196A04FF53E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$843BA583-F5FB-4E31-AD53-1F4B320AA69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438543$60FA407D-6B63-41B8-A67B-1425CF3BEF34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7457f42c11d51c6384b9417322ed55a2331072c","datavalue":{"value":"10.1007/S10817-010-9193-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438543$0BE3C222-F3EE-49F5-AA0D-2BD09B91473E","rank":"normal"}],"P1643":[{"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":"945b5bcf4838c4a71ad0b5a69f617257b283f78d","datavalue":{"value":{"amount":"+0.7470735311508179","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":"Q438543$D8780FF9-1A8E-4C38-9EFE-1ACB3F8B7AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a98cb8cf55282acb3bcee99490abb0fac89e97","datavalue":{"value":{"entity-type":"item","numeric-id":1915136,"id":"Q1915136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a3bd457cab5cfb87ea1e3159fbcd60e6af0a5b","datavalue":{"value":{"amount":"+0.7467678189277649","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":"Q438543$89838186-A644-4B33-93AA-F3439C0D262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f225124d15a7a6aa53392ac079722a1eb252bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3345810,"id":"Q3345810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626bc901349f3976124acd08a7120afe500f73c8","datavalue":{"value":{"amount":"+0.745677649974823","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":"Q438543$7332610C-B525-4A1D-9339-BD8B64E3DE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55883f4b6ed210a7057519595a9a44967b370395","datavalue":{"value":{"entity-type":"item","numeric-id":1674868,"id":"Q1674868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a31ffa602e3e5cff4237ae57b2b8f4d893ca6cd","datavalue":{"value":{"amount":"+0.7410922646522522","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":"Q438543$9910BA3A-BA4F-471F-8BDA-C71D5D3F759A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94ba17c125ab4086b43d15a4f8cd877edee070e","datavalue":{"value":{"entity-type":"item","numeric-id":1798971,"id":"Q1798971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7adfe4812822b35e53ba9205c3bf35b840f2976","datavalue":{"value":{"amount":"+0.7363431453704834","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":"Q438543$399BBA77-BB6A-42D5-A9E9-3ED4D0366308","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conjecture synthesis for inductive theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conjecture_synthesis_for_inductive_theories"}}}}}