{"entities":{"Q4008746":{"pageid":6038552,"ns":120,"title":"Item:Q4008746","lastrevid":55158880,"modified":"2026-02-04T06:14:04Z","type":"item","id":"Q4008746","labels":{"en":{"language":"en","value":"Learning via queries in [+, <]"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63177"}},"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":"Q4008746$3EF8AB48-A487-4DD6-A787-F31AAC73EF90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d79009557f75328b0938cf32f597544a98338e53","datavalue":{"value":{"text":"Learning via queries in [+, <]","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4008746$1A888E8C-7320-4539-BFEC-0841EEA0B8BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2e14d83a1fda055453b5f037ca46e9d7a60ca80","datavalue":{"value":"0774.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008746$B052EED7-D79F-4080-B289-DAA903DBBA79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f3c7a5e0474156caadb5f2d331d858f87bb60f9","datavalue":{"value":"10.2307/2275176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008746$FDAB4C90-C9C2-4074-B551-F00480AAAC97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16558898f6ff2389cd1e94afa4cbc641e460cd8e","datavalue":{"value":{"entity-type":"item","numeric-id":1273757,"id":"Q1273757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008746$83C11695-8C2D-4409-9A0C-805D449033BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a1d77722b6fe6caacd97594ec637c99ed191138","datavalue":{"value":{"entity-type":"item","numeric-id":912093,"id":"Q912093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008746$AA661D38-EB95-4A79-AE55-CA352C36A466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d63fb644043f68eec80a16990f4f5c12af2bb809","datavalue":{"value":{"entity-type":"item","numeric-id":811135,"id":"Q811135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008746$BC1EDFD1-7EF2-4347-8D44-08C229C46384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008746$14C48522-B071-4200-BE65-7F3D25845373","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4008746$7DCD574E-3F1A-4C41-AE42-840926CBEDA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008746$FEECF162-675B-45BB-B677-9F228794AB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008746$10EFE574-56BF-430D-B19A-D87A2480684B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008746$873B8E12-A480-4285-ACC0-D9AC3B9EA011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008746$54EDEAD3-7FB0-4375-B4A9-1F8ADFD66FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008746$57FFF023-C983-4493-B003-CEA6A09D690A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008746$4DA08000-9FFA-4742-9AA2-CA6BDA36FEA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db264c5953db08b1dc48425aace9cbc177f3fe02","datavalue":{"value":"63177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008746$13337BD1-25B0-4DA1-9266-89A9D69983CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e8d2213e6c0e42e1cf1c889839e4fc0cf8fc4c","datavalue":{"value":"query inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008746$1FF075AF-83A0-426E-B96E-225EB22A5559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71aa77e1afdb91138d6214b6be3f6a9d84257acb","datavalue":{"value":"inductive inference machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008746$3C65FE53-D801-46B6-973D-E78DAF73C2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008746$67A2D977-2077-40E4-A124-6FDD5F0BD50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639e3036ee3cf99493df9a2c2c344d30601cd964","datavalue":{"value":"effective procedures for quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008746$43D8E301-0481-4ED3-ABAF-57D1471F7903","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":"Q4008746$4192D61E-A0F2-4F28-A65F-73C14550B281","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"114ae4033986c1f90bce6d600fa62300ef94db7e","datavalue":{"value":"https://doi.org/10.2307/2275176","type":"string"},"datatype":"url"},"type":"statement","id":"Q4008746$81F2522D-A604-415F-ACE0-7B65462229CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ea38662d7e791014ead4842ab6e2a7a0e9ee18d","datavalue":{"value":"W2117977375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008746$7B5052CA-3B9C-4633-A764-E85E8EE7B06A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008746$D4C73B38-CBF7-4485-BE11-ED70ED1FC698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087910b2c3f8696c96e15e213146b12484348cf3","datavalue":{"value":{"entity-type":"item","numeric-id":1115637,"id":"Q1115637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008746$2043FC7E-1BAD-47CC-9B72-D5C5710935F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffeb253077017578b514058dad4897c327ae3f54","datavalue":{"value":{"entity-type":"item","numeric-id":3960153,"id":"Q3960153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008746$8C208072-B9DC-4EE8-88E8-74244B00BE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e837991531b852a20824be234340c277a4f6451c","datavalue":{"value":{"entity-type":"item","numeric-id":3793755,"id":"Q3793755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008746$290A5D57-0ADD-4E3E-BC4E-EEA5F6B09D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8156ff69f84d7a9e58cf2bb80d1d5006ab10e1b8","datavalue":{"value":{"entity-type":"item","numeric-id":585192,"id":"Q585192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008746$7CD41855-16C1-4F9A-976F-E88D8A32BEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd637f26f1e64fbfe0a8853f39f20db21b3f308d","datavalue":{"value":{"entity-type":"item","numeric-id":1104113,"id":"Q1104113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008746$8CDA5036-618A-479B-AA5B-B589AFCDF519","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3283b7fa61eebf9460451641bafb2d3c59ab882","datavalue":{"value":{"entity-type":"item","numeric-id":4302807,"id":"Q4302807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84979f96b75ba5a2d3d3a656b607f1ed7c22bfb","datavalue":{"value":{"amount":"+0.8091645240783691","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":"Q4008746$4BB98E74-9A50-4A91-9B6B-8B8C422B4BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854b24e7d8dbb1ecf82e1e1ec07b4832061b5a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1849855,"id":"Q1849855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9120afcc0174c9c9e7aae529babc557ced30f256","datavalue":{"value":{"amount":"+0.7985153794288635","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":"Q4008746$000675EF-CAA1-4D4C-B916-E2B371886CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1a878d8ff1bbf9fba97832146c1be8a1fa8a1d","datavalue":{"value":{"entity-type":"item","numeric-id":812396,"id":"Q812396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9120afcc0174c9c9e7aae529babc557ced30f256","datavalue":{"value":{"amount":"+0.7985153794288635","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":"Q4008746$7FE1FD98-095F-493E-A00A-EB5DEABB4EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9776726ed39e9073a7a15e7edd598961d5dbbb06","datavalue":{"value":{"entity-type":"item","numeric-id":4348129,"id":"Q4348129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0104d128fa2552dda7ae36be846d5df86a6ff9","datavalue":{"value":{"amount":"+0.7950425148010254","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":"Q4008746$A6DA51F4-733C-447A-9BB0-2550897F8ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7fb176d51c65337d03a3ff03be7575d13e88cb","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd0764326f398df980099b347bdc9b67e43f111b","datavalue":{"value":{"amount":"+0.7864829897880554","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":"Q4008746$2B437416-514F-4DD0-AE6F-9D6E3C01B7AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4008746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4008746"}}}}}