{"entities":{"Q6083916":{"pageid":13218223,"ns":120,"title":"Item:Q6083916","lastrevid":98868200,"modified":"2026-06-05T18:40:52Z","type":"item","id":"Q6083916","labels":{"en":{"language":"en","value":"Analogical logic program synthesis algorithm that can refute inappropriate similarities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774828"}},"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":"Q6083916$16A7914B-BB89-4D1C-BC0D-9801B9273E6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51d3e9a5eab14d68b4eeb715bfa0ca563af5b99c","datavalue":{"value":{"text":"Analogical logic program synthesis algorithm that can refute inappropriate similarities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6083916$678E8498-DDE6-4190-A5E9-06EAF8D666E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b55446a512eba6e2438ae9b185dba52275b33bb","datavalue":{"value":"1527.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083916$8211422E-1A1B-4829-A812-A2CB8854E478","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c73d8a25580e59d5fc3cee2dd29bf31bd7e36148","datavalue":{"value":"10.1007/3-540-60454-5_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083916$E4FC0BAE-54A1-4A98-BA26-FCA669E74494","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f020e43d1a9d02a1ed8c6f08f10afa18a4a7e25","datavalue":{"value":{"entity-type":"item","numeric-id":4473546,"id":"Q4473546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$37C126AC-BEC8-45FB-A93D-2C9832F3CFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bcbf32afc5709013fc9e6a8ba8e2d61b9b3ade7","datavalue":{"value":{"entity-type":"item","numeric-id":1273760,"id":"Q1273760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$E04AC2DB-D597-4358-A2DF-F9A67469CE7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$532A080D-EA80-419D-906C-A3F8DE33AF9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6083916$7CF89534-17B2-471D-A8F2-8ED09DD01501","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083916$BFE2FC42-18D8-46F5-9D3D-5E3F768D359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083916$FF490295-B8CC-4894-B2F6-944D6A403E01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32a15a4f34dcc81d926904d4cd2ba09bfced8238","datavalue":{"value":"7774828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083916$F40C8A36-D5E4-4B9B-9DA7-FC340E1EDD6F","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":"Q6083916$39767818-0D9B-4D57-8062-9E2DD921DB6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be1c4bd44f5c53b5e44fb8f00736b759b721210c","datavalue":{"value":"https://doi.org/10.1007/3-540-60454-5_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q6083916$1BCB77A7-F09A-496F-A9E0-EC260D0BE694","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1024c10807f9b474c9435932979593fe1e7fe977","datavalue":{"value":"W85027486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083916$3988AB8D-8253-4E6D-AF24-0C1C8C51A3A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6621a6a4ba89fb20704c1215762f8c5d5e3844","datavalue":{"value":{"entity-type":"item","numeric-id":749227,"id":"Q749227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$32D613FA-9B50-4C16-97D8-33E9A7615CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0bbfa311690e67620bcf8f541ccd70930910017","datavalue":{"value":{"entity-type":"item","numeric-id":3823818,"id":"Q3823818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$01D8B58C-D88A-4D15-8367-8B5FEAEB9028","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":"Q6083916$7D036AC9-7FB4-406D-8206-8FE89FBBA13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb6855ef389bf054811a011cc0d541ef395a32","datavalue":{"value":{"entity-type":"item","numeric-id":4004339,"id":"Q4004339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$33BF5A8A-B5FC-4157-B04A-A90953369DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa494b39c76258676a457e919c831e7a95eb0c93","datavalue":{"value":{"entity-type":"item","numeric-id":674404,"id":"Q674404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$CE2F964C-0D34-4234-A4F9-E23CF56C69C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd37a31c5ce9eb3310a3d2861b39c852af91e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":1149799,"id":"Q1149799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$0D8D0D65-8DF8-4ED7-BA89-3EC41B43A855","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":"Q6083916$B97F5F9C-8790-4D0D-A65A-674785E4B287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4826f03fdf3d1e2235e07576725d21c33ce7f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189660,"id":"Q1189660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$D96BE76C-3985-47B9-92E4-C6CCED5CBACE","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":"Q6083916$CA7C308E-A187-4C5B-9D0B-8AE513BF7719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$C3D2F412-5EA1-4C90-85DB-2D3B6FDE2290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bdb75ec365c35865b857edb6f7bdbf1609700b7","datavalue":{"value":{"entity-type":"item","numeric-id":3126946,"id":"Q3126946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$4E5A4490-A483-454A-AA7E-B85890F8CB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b8eeca82692314d8b3059251361e4badcca405","datavalue":{"value":{"entity-type":"item","numeric-id":4208851,"id":"Q4208851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$C3CDF440-F6EA-4629-B963-4B6C6AC186BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c675a4c04e251722e8a872ad279b5487ac370eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3992228,"id":"Q3992228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083916$A685E48B-0C27-4EFE-9ACF-0230257B933F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e842f78335a2ce5c5c6328e066bb4eba26d5ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3028367,"id":"Q3028367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26115f1105100866c4c8dad4049a2efe889b6f39","datavalue":{"value":{"amount":"+0.8654233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083916$F4FD2D74-EE66-4FF5-8771-ECCDB859E6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf7e0dcec1b23bbcc2536b4cfe5f84df62a3012","datavalue":{"value":{"entity-type":"item","numeric-id":3804243,"id":"Q3804243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daac918ee00adb28005a9b8b5ac095658a5d37ae","datavalue":{"value":{"amount":"+0.85246485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083916$5BBD5968-44DB-46DF-9E4D-491CF35E9A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6450847d289e8eafafbeeee66f37888d02e01737","datavalue":{"value":{"entity-type":"item","numeric-id":3198864,"id":"Q3198864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94441057f8e607303a77d5e651c217395224f358","datavalue":{"value":{"amount":"+0.8421187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083916$6817AF7E-F906-4473-8CE3-A2371DF12191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3a3bd250d70911a393ec7a6bcbf0cbc47bb6a","datavalue":{"value":{"entity-type":"item","numeric-id":1929363,"id":"Q1929363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d40b703ad85ed19a83962523a3683a9ef59c0ecf","datavalue":{"value":{"amount":"+0.83846414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083916$A44EEBF7-9770-4041-8A39-49045F68B137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a666456026cbeb2b2c1988334a1396c6b0dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":5739522,"id":"Q5739522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8150b72fe106d4d8523308600f0f43d06f2abe0d","datavalue":{"value":{"amount":"+0.8379803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083916$9EF398E5-8A93-416F-9E8C-53C43F342241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c05df91054586399a27cfb8a6aa529af0d034a","datavalue":{"value":{"entity-type":"item","numeric-id":723251,"id":"Q723251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d7f58b1cce8616f3f3fe04edf2c9b3021763c0","datavalue":{"value":{"amount":"+0.8359661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083916$D186964E-DD1D-4918-903B-2D309C157B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5d8f4e4ce131a532516c7ada2fb9de4c066ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4930750,"id":"Q4930750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249fa11f0ca66c2625529c878c1cea625e43760e","datavalue":{"value":{"amount":"+0.83557844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083916$ED8AB12B-88F1-4FDD-A7A9-D42603C74287","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analogical logic program synthesis algorithm that can refute inappropriate similarities","badges":[]}}}}}