{"entities":{"Q1389537":{"pageid":1400277,"ns":120,"title":"Item:Q1389537","lastrevid":71053803,"modified":"2026-04-13T19:10:21Z","type":"item","id":"Q1389537","labels":{"en":{"language":"en","value":"The common order-theoretic structure of version spaces and ATMSs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1170224"}},"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":"Q1389537$31B33967-C0A6-4061-BA54-0FAE0F3AE48F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f703aade68738c9b4cabb289912b0dbb82fc9e90","datavalue":{"value":{"text":"The common order-theoretic structure of version spaces and ATMSs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389537$0E7E915F-AC01-44BE-A6C6-9BF81F50DAE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be3114d51dd7381bfc269edb541450143cdc3c79","datavalue":{"value":"0894.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389537$77A19B41-BEE4-479E-A909-86CD41C700D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b19d9c16a74989312dd34790010b6c17e7504469","datavalue":{"value":"10.1016/S0004-3702(97)00033-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389537$306721B5-9BBC-4333-95B8-E45E84DB18A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99c4c7fa1f64a7258f2aa54d49357871694cd6a","datavalue":{"value":{"entity-type":"item","numeric-id":812047,"id":"Q812047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$0042A9F8-F056-4F3E-9004-744A7CD7A698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f3e35f2fab47f4372cddb10576704896fcdd984","datavalue":{"value":{"entity-type":"item","numeric-id":1389536,"id":"Q1389536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$FC927F82-93A8-42A2-8B51-8B484F8A65CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4726f19f24aff67ed189e4df88ad229928872f8e","datavalue":{"value":{"entity-type":"item","numeric-id":698476,"id":"Q698476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$3FB28E29-B010-434B-9A5F-BE20EDCE7D18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$03CB50B8-11D1-4701-AF17-A5AF52EFF7F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98f219d7d1f0a69180d363f24f243049839e281b","datavalue":{"value":{"time":"+1998-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389537$63FE5F94-B3F9-4034-82B6-DFC19C58E665","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389537$75448F91-364F-4276-A663-EAFE785ABC91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2522ac94e64e1821fc8b6b4eed6cd23ba028ebd9","datavalue":{"value":"1170224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389537$798B00F4-23B3-4517-904C-97AF2AAE2369","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b62d063218271a76605d6cb2f494cfb7eee534","datavalue":{"value":"version spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389537$1645C645-9154-44AD-ACAC-3EBF73DF046A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534e25064b4bb9dfea061e3aca8c1e80462be067","datavalue":{"value":"ATMS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389537$EB287CB5-71DC-4A4C-98FB-54959D2412B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b594998544fac43c1876c244b51749b1c2b65426","datavalue":{"value":"concept learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389537$D7076E17-9F1E-4BB0-8D24-13F2F4827DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49f10393c8aa650c332ff66825401aced2c5f5ca","datavalue":{"value":"truth maintenance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389537$C5F701C2-CE53-4719-B1DA-335B8213E88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cea4b2078197a7e6bdb46c43689c6b6788c4131","datavalue":{"value":"label update algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389537$8E936064-6F4E-4A03-9538-0145E3FE3BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a41e96d6a7c8f989a6232833fab553d9f5f4742","datavalue":{"value":"anti-chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389537$054B696A-21B9-4C02-B948-284DD9FFF436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389537$E027C084-F778-404A-9FEE-FDB8CC2D666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c73b4dfc0427979554d1aca095ddd271434f90","datavalue":{"value":"admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389537$E3850C22-978E-4556-9E2E-41DD8C8A126C","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":"Q1389537$F0A36072-83A0-4907-855E-DAC34DB9F6AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$2C63D6C3-2D35-4433-B72D-346C76C035E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737c142cf6dd8a5b3c2bde5323ae9a9556e9057e","datavalue":{"value":{"entity-type":"item","numeric-id":4321736,"id":"Q4321736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$DB60CF85-A748-41EC-B4CE-4D1C9B7170AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$1288D7B0-A525-4F8A-8BEA-A52EEBB4D639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935ed7edb606d76e6df68a790d5a37f05de37302","datavalue":{"value":{"entity-type":"item","numeric-id":3998050,"id":"Q3998050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$6CE548B1-0907-4F45-89B1-107AEA1B2225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5005b13d7dfa8cafeb5dd82c224492972a34e9f3","datavalue":{"value":{"entity-type":"item","numeric-id":1190795,"id":"Q1190795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$AC8582AF-CF54-494C-887D-B69A331BE5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$B2FD824F-FBE2-4DFE-8983-7CED326973CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c35efdedf31f460ef4d0153d0733fb5fa9f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$1565BCBC-1348-4EA4-B0D4-A9B5B9A7AC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389537$4997F0A4-DD2B-4669-8130-A29C97C36042","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5558a45417d831642e171f151d8344f381d24a3","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(97)00033-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1389537$76759929-C8E6-44FF-A344-1FF5723993A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f310f7f9fc96f3550c1d89ab892521577e69339c","datavalue":{"value":"W2005440437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389537$FF530F58-20AA-4B88-8907-C8F1C59BBD95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcb4dbaa40886e6c031a0374d011e2cb8803d67","datavalue":{"value":{"entity-type":"item","numeric-id":4268450,"id":"Q4268450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ef55a82df2e59aa23b27a0d0570a89aa7a0940","datavalue":{"value":{"amount":"+0.83239406","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":"Q1389537$646A9DCA-A924-4106-9EB3-F64DB4E2E77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94795f519bd4379fc4f4cf6ffff3f274ee7231d0","datavalue":{"value":{"entity-type":"item","numeric-id":3377764,"id":"Q3377764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adc751ee7a50bc3560bfa8134923bccf615f2f4","datavalue":{"value":{"amount":"+0.8319291","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":"Q1389537$BC9FC8EB-6DF8-486E-9658-6C6E7A0F31BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1f68c63bc4efc50eee6fa82b2bf32258aca5ee","datavalue":{"value":{"entity-type":"item","numeric-id":2318170,"id":"Q2318170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f587a2cb2576e189bc29fcb5a187c24f34a089","datavalue":{"value":{"amount":"+0.82886696","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":"Q1389537$9168C13D-861F-47C8-AAB1-2E4C3221AEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d32c646ca2c99497dbbd49ab712f9001f96064","datavalue":{"value":{"entity-type":"item","numeric-id":5152045,"id":"Q5152045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0886a4c3b0e70173a875f050218b6e5d0c5682f1","datavalue":{"value":{"amount":"+0.8267373","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":"Q1389537$275BE66B-C488-491D-9481-CC42E624021C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3503c0c9e4f23b77190f052f077f43e9ca3147ec","datavalue":{"value":{"entity-type":"item","numeric-id":891194,"id":"Q891194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d008f9838a86942e535104a525675ae5accd704","datavalue":{"value":{"amount":"+0.8266586","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":"Q1389537$20350C8E-ED8F-4B13-9274-B0727501C1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5f18a9247acecc9f3d7f0a9506f0c26309b8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4415078,"id":"Q4415078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8b34502f3ca7bbf5e02d5130dc6c34be9061ec","datavalue":{"value":{"amount":"+0.8237345","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":"Q1389537$6AD73F38-F302-46EE-B48E-4A273A74926C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c3c4fdb331e8e1aa76150221cea6f2268d62a7","datavalue":{"value":{"entity-type":"item","numeric-id":5300068,"id":"Q5300068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ca8931086e9a2e7facdc6f80cf323b5325ef4d","datavalue":{"value":{"amount":"+0.8237293","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":"Q1389537$1245D7AC-75B7-4115-8686-17152CD8A04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa59dfbf24f5a728f84e5ef5282eed4cf4c0e38","datavalue":{"value":{"entity-type":"item","numeric-id":1267553,"id":"Q1267553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c46b0dbd8b9e069ad9bd76487b71ee4f56c3cd","datavalue":{"value":{"amount":"+0.822801","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":"Q1389537$FFD8F248-3DE8-4741-875C-C4A524D347C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1d14d32962e596aca90a06bb9244dc6680c968","datavalue":{"value":{"entity-type":"item","numeric-id":5293198,"id":"Q5293198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6daffe05bd853c4c77985b4621a4e3c7d01a42","datavalue":{"value":{"amount":"+0.8222648","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":"Q1389537$5513D3B1-3A9B-4668-AFF8-3AC9E4D71536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1aee2454cd3e174ecd7e2c46aa70adc43fcbdc5","datavalue":{"value":{"entity-type":"item","numeric-id":687178,"id":"Q687178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cadb2476111a7e11f665930320705426dc3f36df","datavalue":{"value":{"amount":"+0.8221728","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":"Q1389537$0D1C05F7-E88E-435B-BF96-9014A7E398B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The common order-theoretic structure of version spaces and ATMSs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_common_order-theoretic_structure_of_version_spaces_and_ATMSs"}}}}}