{"entities":{"Q6953240":{"pageid":21222975,"ns":120,"title":"Item:Q6953240","lastrevid":84079694,"modified":"2026-05-09T13:26:01Z","type":"item","id":"Q6953240","labels":{"en":{"language":"en","value":"Logic program proportions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8069588"}},"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":"Q6953240$B429CC43-119A-4BB0-9394-8EB1841C856E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8487189cb1a4f07b0ae51be5300da954e5b1d44d","datavalue":{"value":{"text":"Logic program proportions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6953240$1693379A-712C-40B1-9F45-3D938304D5ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cde8008c02cc3ae6e75d0ed53181289726b7c4d","datavalue":{"value":"10.1007/S10472-023-09904-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953240$9C68C516-C833-409C-B985-A44663FAB5CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4564c4fed888e9152b49925afe864b09d159bd11","datavalue":{"value":{"entity-type":"item","numeric-id":2046011,"id":"Q2046011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$F327C8F6-B27A-4D59-85F0-66D495E01700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$16D561E4-CF8C-4BB6-9A88-BC67E8F031B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea6dc21ec3fb95df79bdfd89d49ca56325cba03","datavalue":{"value":{"time":"+2025-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6953240$C2449FE2-22B0-4E20-A999-1801977D8D64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953240$559EAEE0-A17A-422E-9C61-2396E363A021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953240$D801CD9B-4F00-4AC9-814C-B6F828796DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953240$AD4B144E-0355-4308-9C97-7CA979696A51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b049cf1f9ed6aa86fe8f4e6df571f3f2ae43aa96","datavalue":{"value":"8069588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953240$EA45FA48-AE2D-46A8-AE29-DB762851F1C1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$A6D21D98-2E9B-4285-ACA1-45A52BC4B20A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d458ee5dd9661d5da98db4979e5dc4b4a6a6796d","datavalue":{"value":"analogical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953240$B7DCDED8-4C2A-432F-9421-847893FCAFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953240$ED815271-2518-48C1-AB66-0A4A7AB9CD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05663d589d170e14911d7843065b083434f4f829","datavalue":{"value":"automatic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953240$D51A072B-B998-4C6E-8BBB-89149DBA2090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953240$15435AFB-2E7C-4FBC-8486-0708C5CB66A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9df62cbb1f62a401292cd30e7cf1a9777bd10192","datavalue":{"value":"computational creativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953240$FF379E85-7C84-4484-B92E-7633CC0FE106","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":"Q6953240$7C88E51C-8EE5-470F-A2EA-1226581E76F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"587bd6ba4cabe5fe00a239167c752e3e51b874cf","datavalue":{"value":{"entity-type":"item","numeric-id":2149806,"id":"Q2149806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$EEBA7FF8-972E-43DF-9A85-0CDFEEF202C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$A8370DD0-5914-4B5B-8EAF-01B850CE8017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1e9f15aec2253c6d8e4742c7e3c60b7a3917a6","datavalue":{"value":{"entity-type":"item","numeric-id":1111775,"id":"Q1111775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$72667C95-DC5D-4AB7-AD4C-CDC9889678F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cbdadd4bddfaa4520a038196cb1ed7fa484786","datavalue":{"value":{"entity-type":"item","numeric-id":5139274,"id":"Q5139274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$91ABCD39-38AA-4283-B66A-1F9B768E9C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935ded7ec367dd32ec2b991bde53c4d4f0010efa","datavalue":{"value":{"entity-type":"item","numeric-id":2321339,"id":"Q2321339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$C1C51422-C3AC-44BE-967F-EF5D80196FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407e752c38c329d977fbb0f4c52431e5131353fb","datavalue":{"value":{"entity-type":"item","numeric-id":6059219,"id":"Q6059219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$C3887DDB-A868-4B81-8DAB-900595984530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b498da1f57b359fe0412aa8066698c92774a43","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$F9B408BA-5FE8-4041-B8F6-6B84640621AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ff25d782a39f9be1ad654ac058bb03d756416c","datavalue":{"value":{"entity-type":"item","numeric-id":1823718,"id":"Q1823718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$4DB9F157-8094-442B-93B3-5496317318DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$7FABC997-5623-4069-B0F5-5D617DF55CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0262656e41c382f9f5a9a7b3bb892ab61ed599","datavalue":{"value":{"entity-type":"item","numeric-id":5270493,"id":"Q5270493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$087842E0-C52F-44C3-8455-A4907E7A0DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e06246cd6673d30ef14749aae27286b480929b9","datavalue":{"value":{"entity-type":"item","numeric-id":4501772,"id":"Q4501772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$BA512AB0-9B90-47E7-8984-BE6BA44D5186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e901d455fab444da24c50f8d2ce3b0179281ac","datavalue":{"value":{"entity-type":"item","numeric-id":3341879,"id":"Q3341879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$A8CB79BA-F494-414C-B3D5-D95876308F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7835c1e297214fd4bd7e453ab45e7d5e931aa74c","datavalue":{"value":{"entity-type":"item","numeric-id":4923563,"id":"Q4923563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$45023C0C-C3D5-4560-B5A7-06EAA9342469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ffaeccd66371adbaa0e578c9732d3bdeeb55c8","datavalue":{"value":{"entity-type":"item","numeric-id":3638186,"id":"Q3638186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$956CB2F8-6EB5-42EE-8FDA-750989DBC039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$168FE7E7-CCE4-48CF-B48D-30E7A7EF940A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5b9224fe9eaf6f3e17d33e77d59d90fc27a313","datavalue":{"value":{"entity-type":"item","numeric-id":5895240,"id":"Q5895240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$178F565A-E879-45B9-A805-77EA1C9F63CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$DE193556-2B8C-42B7-9D7C-583EBD57B608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$B2757391-FDA7-4D0F-BB87-370B32ED4A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063a3566baee927d0306df53e4c9874669d54176","datavalue":{"value":{"entity-type":"item","numeric-id":5739525,"id":"Q5739525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953240$3E4E22F8-A1D8-4DE1-935C-B79FD63D2FA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic program proportions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_program_proportions"}}}}}