{"entities":{"Q6124973":{"pageid":13259280,"ns":120,"title":"Item:Q6124973","lastrevid":102378305,"modified":"2026-06-06T04:19:00Z","type":"item","id":"Q6124973","labels":{"en":{"language":"en","value":"Anti-unification of unordered goals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7830393"}},"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":"Q6124973$2AADC292-0DBB-487D-A1A5-52D73F698CE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6f99c5b445a89dbb7d20ad8e0d85b357a4e82d8","datavalue":{"value":{"entity-type":"item","numeric-id":5097638,"id":"Q5097638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124973$ED1874E5-F185-4517-9905-B9C24B32E0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d2a20ae9908cdd5ce01b798243591507a77cf62","datavalue":{"value":{"entity-type":"item","numeric-id":2039952,"id":"Q2039952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124973$B777381E-451F-4345-B9C1-16382E54C6DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0aaef9e7e62e4d5052aa36b93d814a95d302adc5","datavalue":{"value":{"time":"+2024-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6124973$FC0B4FFA-9CA0-4D8F-84F4-405BB142572C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1d1638cfd88e8feb3d7b77649c8b45e9a823662","datavalue":{"value":"https://arxiv.org/abs/2107.00341","type":"string"},"datatype":"url"},"type":"statement","id":"Q6124973$951C1CB5-54F8-4128-953E-24EE37B659E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124973$49EDD60F-FA4C-4096-B12B-2E8A260E4650","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08a986155fc86b1a52d2fb6bafa0209c6d70b3d5","datavalue":{"value":"7830393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124973$F5B1DC9F-0BB6-466E-91CB-6686B6DBB625","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124973$804C008C-440F-4519-B576-14DE6EEA8FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124973$96CAEE49-41C5-427F-A4AE-545297B35355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124973$9F1A1A61-3B1A-4E52-9BD2-D02F15C27813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124973$B0CBFA45-223F-41E6-BE04-59D90088D187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124973$303B1E77-8A1D-4363-A2FB-B0ACA388EAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124973$A5B6DD3E-4307-41BE-BA9A-43F0BB640DDD","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":"Q6124973$80E24B14-CC66-4BDE-A5CB-3AFCE9244CE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9bf50bd2135767d4f42dab30a7ef79f0c6c9e49","datavalue":{"value":"10.4230/LIPICS.CSL.2022.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124973$F956FF14-AFFC-4290-8D68-CBC3FA924AF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188523ab424567855a041230f5199e2deb8b8cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5108501,"id":"Q5108501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8210df5c8b79ae0bbec023ed307b8bf2378193c","datavalue":{"value":{"amount":"+0.9161992073059082","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":"Q6124973$7BCADC3C-14B3-4FD9-8982-1FF3F0697D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785bcfbd5bf81407ea8020c4db7a5044b1d38544","datavalue":{"value":{"entity-type":"item","numeric-id":3184519,"id":"Q3184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1109db66e031d76414f751ae523564e604b2dca5","datavalue":{"value":{"amount":"+0.7986449003219604","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":"Q6124973$FB4A215C-1ADE-463E-B620-D6C00BC9D81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dca6fc765d95da1d1a1ee901a4c3cff310ba6a2","datavalue":{"value":{"entity-type":"item","numeric-id":2938520,"id":"Q2938520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77305a23774b88adfec665e8543d97449d4f76a4","datavalue":{"value":{"amount":"+0.7957137227058411","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":"Q6124973$5222AF5D-554A-4F6B-AB5D-DFF9437DF893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a5367b13413b6874ee6fc5da4cbcf0accb4dca","datavalue":{"value":{"entity-type":"item","numeric-id":5389083,"id":"Q5389083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b451e29e6b52698c9fb0c96785decd98ebc4cf76","datavalue":{"value":{"amount":"+0.7955304384231567","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":"Q6124973$E88EC6AC-E698-4447-9C24-164DA7AE4FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcec3cd3bafb40fbda27567ce6db63b9c0ac559","datavalue":{"value":{"entity-type":"item","numeric-id":2352488,"id":"Q2352488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e304fad6b745fb164a4a8f134e70fcff780a3a","datavalue":{"value":{"amount":"+0.7909882068634033","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":"Q6124973$6BECA2D4-FFF0-405A-91FA-201553E56EAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Anti-unification of unordered goals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Anti-unification_of_unordered_goals"}}}}}