{"entities":{"Q6173099":{"pageid":13307987,"ns":120,"title":"Item:Q6173099","lastrevid":98800943,"modified":"2026-06-05T18:31:11Z","type":"item","id":"Q6173099","labels":{"en":{"language":"en","value":"SAT-based invariant inference and its relation to concept learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7714973"}},"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":"Q6173099$B11D1C26-7EDF-46A1-8CE2-3603B1EBA525","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"886397c538c66af6d0cedfea01031c8e29e54b49","datavalue":{"value":{"text":"SAT-based invariant inference and its relation to concept learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6173099$7BBC210D-6066-4508-B91F-024B10C753DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7f3eb06c9c49e1a32fff877c5a3ebe481d7aad4","datavalue":{"value":"10.1007/978-3-031-19135-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173099$6A1E1AC8-C672-4BFE-9A1B-2A48491C90E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c22d5c521eed0274338a690fb46b58ea42148e","datavalue":{"value":{"entity-type":"item","numeric-id":2961564,"id":"Q2961564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$E20D0E8D-2941-472F-A3DC-7E693C43A540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$880C6760-9D19-4C01-A95C-F86A71CB3B73","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":"Q6173099$661501C1-9739-473F-99F8-915D1914CFB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca9f8142551b5159c71df5982bbefa0ef87fa1c3","datavalue":{"value":{"time":"+2023-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6173099$D395E082-57DA-45DC-A908-7176BE4451E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173099$C8252063-1126-411D-8082-6CE9500EB865","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40e6bf0e7c1381d54555ae74f7cb4529ab8a79c7","datavalue":{"value":"7714973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173099$EEDCA3CF-D974-427A-A0A6-17D8C2C2263C","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":"Q6173099$FB2F98E2-E1C8-43E1-9C33-6DE9694AEFBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fb3dda3ed4d928f4b7d6c1ac1cd31375d22336e","datavalue":{"value":"https://doi.org/10.1007/978-3-031-19135-0_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6173099$9D4F84E2-D172-4BD0-811C-DC1FCE52BCCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8033e18fdb5d60798ee56061616d98f92e0a02ad","datavalue":{"value":"W4312759040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173099$CC0B4EA4-AE44-437F-808A-309B8D8BBDDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1546b73f479557e7920218735f277b28599d8c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1900981,"id":"Q1900981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$080C19A7-772A-4A5A-9D9C-82EC64726FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$E13D4770-6AE7-4955-ACE4-CA9386322A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$FA671651-C680-4EAE-916C-4333E9E5F1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f275b0c7960baec2620149acfd97bb31ebbe0b06","datavalue":{"value":{"entity-type":"item","numeric-id":2506483,"id":"Q2506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$068E71E3-0065-4221-9B7B-0FB19C1CCA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2287235136efdf82c45ebd44af45e58f3280370","datavalue":{"value":{"entity-type":"item","numeric-id":1355381,"id":"Q1355381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$84F9329B-86E4-4E1E-92DE-DAE1A08C5C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$5DADCF4C-B49C-422B-96BD-091AE9C99340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$05D29614-F0D6-4F54-9301-F904894C4E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1287ce212309ee4ddd9b507d9a84e962109b2c30","datavalue":{"value":{"entity-type":"item","numeric-id":1674868,"id":"Q1674868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$D9B3ED76-20F2-457B-AF4C-50F7901A1B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131cc9ec9b6de3914a4746548c7d2f69bec3a59e","datavalue":{"value":{"entity-type":"item","numeric-id":5453494,"id":"Q5453494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$FF71EF71-8E4D-4E71-90BB-0DFB83AEE30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8f47b13e9bf6c14eafb655479f0051bd4d0e16","datavalue":{"value":{"entity-type":"item","numeric-id":5191104,"id":"Q5191104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$6C0604F3-6744-4BD2-9893-46DFE88D677A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$EC8DB38C-E605-4C34-9B4A-7C0BC3ED5097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$4FCF65FC-7997-4635-BE1C-858662AB557D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2615fed8e1c317553aca1da006b2d9580dc4bb","datavalue":{"value":{"entity-type":"item","numeric-id":2208307,"id":"Q2208307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$8752EC50-5484-4488-A4A0-196D6AE9C09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574a6599f545ec08b9afa71a7573eae29e700904","datavalue":{"value":{"entity-type":"item","numeric-id":5166888,"id":"Q5166888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$4F1606EB-DA2B-4C4D-83D7-670502095154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba81c30cda24c3d605c0679939d82fa6643c181","datavalue":{"value":{"entity-type":"item","numeric-id":5822054,"id":"Q5822054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$4AFF222E-43B9-42DB-816B-1AD19CF7F679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622597836737f5c116b557ce1aed5e10431f4f36","datavalue":{"value":{"entity-type":"item","numeric-id":5901913,"id":"Q5901913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$CF6F8593-899E-48E4-9259-22F0F1533519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707165a093156462bd4a3f8762120c7cb6201ae5","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$4DBD02E0-2C13-4236-B6EF-216E8456E51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5543be9943ed5afa4e775fa2b368abaa7788d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5326308,"id":"Q5326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$EFFD993A-A617-483D-B9BF-BF4A47FD41B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$878ED68D-A796-4EBD-97D7-DDD171D08401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849f31ca775bb9f4bae5905d144cdcf9bb147671","datavalue":{"value":{"entity-type":"item","numeric-id":5326333,"id":"Q5326333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$DD18AD5B-86E4-4CE7-8FE6-1299EC6EBD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51e7f09253c42c681c594648e00a23eef5ebe9c","datavalue":{"value":{"entity-type":"item","numeric-id":2961586,"id":"Q2961586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173099$4F99393A-991C-42C8-A826-F01FEF5A75C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT-based invariant inference and its relation to concept learning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT-based_invariant_inference_and_its_relation_to_concept_learning"}}}}}