{"entities":{"Q4035251":{"pageid":6064971,"ns":120,"title":"Item:Q4035251","lastrevid":55235659,"modified":"2026-02-05T04:03:56Z","type":"item","id":"Q4035251","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176149"}},"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":"Q4035251$0707B818-24B2-4F2E-A5FC-84FBBD4146D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e45236181623e7c8a98e52d46b41570ac1febf7d","datavalue":{"value":"0776.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035251$4E2CC619-697A-4A54-BDF5-39B359A895C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20b4944fe4b96d4fda5cc5e09d49f0846d30e2b","datavalue":{"value":{"entity-type":"item","numeric-id":685351,"id":"Q685351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035251$C9A1A450-2668-4698-A870-06BF173D1FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7993379b8a926ff9eca3cfcf3866fd4acb043619","datavalue":{"value":{"entity-type":"item","numeric-id":3003227,"id":"Q3003227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035251$51CDE23E-E6B5-4ECF-B417-1AC3E2259012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035251$3B580722-3BFA-4D9B-BB1F-F0E53C5135E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035251$CC38ED5B-AA2D-4B9E-8CC8-D11AB6B81B4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035251$8AB38329-A985-4EA0-B485-EC25084ADA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035251$344AD8CC-CFC9-405F-80FC-8AD00B04BCAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32f52f95851a90afbaade49b3abc3768dcfc1d01","datavalue":{"value":"176149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035251$214BBF77-6B10-4DA7-BFDF-ED5E44DD2004","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57dcacc187c8a42cf9385de2710938d327a862e","datavalue":{"value":"subsumption lattice of first-order terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035251$E1B599D4-7BF8-49B9-9077-1A0D4EFC821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15b4911c24d9b77bcabdfce646c2e78eb3eaafe","datavalue":{"value":"associative and commutative reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035251$22FE6270-2CE4-4918-AB69-7FD5809708A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ff9bcb1471df03380317a5a0dd56a1dfdc8707","datavalue":{"value":"AC-disunification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035251$F98730C1-2401-4F8D-9E50-0A36FDDB152D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dae171b1ded4f4d3a19df2b268ad40f55b29fdc","datavalue":{"value":"inductive learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035251$A41D6CD8-13CC-4E08-9479-0D40C51CAC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e67a482022163741733d023a902f0ae49e2664e","datavalue":{"value":"pattern-matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035251$E06648F9-67F5-49EF-9B47-85A4FCDA9321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3250a679ecc2c0e0e3809d649204a74e5571e286","datavalue":{"value":"sufficient-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035251$FBE1EEE2-EBB4-4044-A696-84A9F8F79F95","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":"Q4035251$B1F02C01-1150-4FB6-AE71-04467FC4F023","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddd9187e860f35ae4c8342049064b3607ff2e46","datavalue":{"value":{"entity-type":"item","numeric-id":4266522,"id":"Q4266522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035251$1A44089A-0385-4FA3-8091-02D81EBCE995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60112a8767aa1f0a01e99411a9d66a34c999479c","datavalue":{"value":{"entity-type":"item","numeric-id":2442377,"id":"Q2442377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4937d1ca1d1653717feb10edc2bb51240967aae","datavalue":{"value":{"amount":"+0.87380385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035251$76010AC6-7059-486A-8B42-8A59109F9F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44edcda6eb3fbabd9bf6a8c41ff5e4d52777fefd","datavalue":{"value":{"entity-type":"item","numeric-id":1333290,"id":"Q1333290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50739e5d779bd84a5222d4db4cd2622f64628242","datavalue":{"value":{"amount":"+0.87026745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035251$9B099DDA-2299-4E40-B272-C7AB2AA9C1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc1b7c07f0a96c9147c1bab4ef9db38c6e00ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1099654,"id":"Q1099654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2907203e739d70ffdd828ecb07c52ed399a2e84b","datavalue":{"value":{"amount":"+0.86135167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035251$EC2E3AA6-8DF9-434C-B85A-367328FA470E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17933c17044f6249c98bbea6854df8139e935ea1","datavalue":{"value":{"entity-type":"item","numeric-id":3703287,"id":"Q3703287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2907203e739d70ffdd828ecb07c52ed399a2e84b","datavalue":{"value":{"amount":"+0.86135167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035251$6659684F-A69B-4814-B744-F2E1A649E674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8074c1975bd09abeafde4674061df377001e043","datavalue":{"value":{"entity-type":"item","numeric-id":1262757,"id":"Q1262757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6766f02c481284c7ecf8d46add2b2023f7f33326","datavalue":{"value":{"amount":"+0.86064786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035251$2C9E22D6-4F5A-4F26-A327-E0543DB2254A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a3013126c88788e1f2abca5dc5b703dde202bb","datavalue":{"value":{"entity-type":"item","numeric-id":3805960,"id":"Q3805960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6766f02c481284c7ecf8d46add2b2023f7f33326","datavalue":{"value":{"amount":"+0.86064786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035251$32D825DC-DE4F-49B9-A247-F4D3E503212B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22fdb725f46eec5f17cb779b04a7473b2f26110","datavalue":{"value":{"entity-type":"item","numeric-id":634757,"id":"Q634757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64fb4411652f6b805d769424a23a30e17fe38828","datavalue":{"value":{"amount":"+0.858595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035251$7CFC3588-74C6-4882-9706-1034673C73A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"013c9bbc4152441c2725b8b9d143fbfb8f7ea9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1919702,"id":"Q1919702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d108f8c166d01a9e112418180883230055dcbf6","datavalue":{"value":{"amount":"+0.85818154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035251$F1835E92-DC1E-44D7-8BB1-B53534FB30A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035251"}}}}}