{"entities":{"Q1647700":{"pageid":1658441,"ns":120,"title":"Item:Q1647700","lastrevid":71084358,"modified":"2026-04-13T19:22:49Z","type":"item","id":"Q1647700","labels":{"en":{"language":"en","value":"Model learning as a satisfiability modulo theories problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6894749"}},"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":"Q1647700$33702758-EF31-4055-A9CA-944CD86421CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f85e1e72525ba99c19723129ad84c4b4935c2fe2","datavalue":{"value":{"text":"Model learning as a satisfiability modulo theories problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1647700$A269B698-DC1E-4F27-AD2F-5C8D436D98F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d672e035b26285ea51a4f1285be9d9b16432a8f","datavalue":{"value":"1504.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647700$906968DE-83FA-4B38-A3B1-AE0888264BBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fc272c2c90f529732060de405adf5a32b548b8e","datavalue":{"value":"10.1007/978-3-319-77313-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647700$4740D6BC-3A12-4EE0-90E7-549D0F55FF43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e190154a78b1f64f7a09b4446d858d196595d1","datavalue":{"value":{"entity-type":"item","numeric-id":1647698,"id":"Q1647698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647700$057CB6F1-195F-46DC-BD7F-C9CD97F6F4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e6d32e893184e1f9f276852453040d3fea6669e","datavalue":{"value":{"entity-type":"item","numeric-id":1647699,"id":"Q1647699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647700$BA111984-E7F3-47CE-A8E3-EF57AED9BFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647700$5A94BECF-343F-4051-9EC5-9DDBDBCE6914","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fae92085f1df5558a9e4103c2322647df5d6aa9d","datavalue":{"value":{"time":"+2018-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1647700$11C0E441-BDC0-469D-8A51-2F7395E2DD08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647700$3B6F7CD0-EBA3-4DF5-B10E-C7DB0C282356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647700$8D6BCBCD-4BF9-4C66-A968-237154899799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647700$C9DC5A53-E26F-4DBC-BC37-615EC91AD555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647700$72BA906D-D967-45BF-94C2-736163D7F6B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bc69180f785807bb360e4e6edd946791fd87e1a","datavalue":{"value":"6894749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647700$FACF42F4-DB19-4A34-8A8B-37950D58B6DE","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":"Q1647700$99DE2AB3-6F44-4CE4-AFBA-F8E41CCCD935","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b84042ce4af221ab7aa88f050c96823c2c2a676","datavalue":{"value":"https://doi.org/10.1007/978-3-319-77313-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q1647700$4CC4298B-D671-4FCF-A36B-72BF731091AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c66db8ece9986a9d6273ecdecc91a07bc3ca7ebb","datavalue":{"value":"W2793679781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647700$A4BF67EC-4855-42A8-B442-4F275141B026","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c52f644e47a413c8db0fdc5aaebd27ea4a4228","datavalue":{"value":{"entity-type":"item","numeric-id":1982638,"id":"Q1982638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2027baa3038a5df0862245161830b1d7ba452432","datavalue":{"value":{"amount":"+0.7429353594779968","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":"Q1647700$6A6FE362-AB3C-4A73-8A0E-512A30B76A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b99123c53ed80672ef759a3877f26ae02bd2689","datavalue":{"value":{"amount":"+0.7414538860321045","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":"Q1647700$2F2AC2DE-D8F6-451B-9F9F-00089BB97020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3828216304ac3dac258dc15c986d15b114dd5fd","datavalue":{"value":{"entity-type":"item","numeric-id":4988864,"id":"Q4988864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee548c34a8431b99cb324b7aef2978687b8c5595","datavalue":{"value":{"amount":"+0.7381324768066406","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":"Q1647700$F46C9844-4123-4F4C-9CC4-3CA4D54266C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6261676c97d898dd99ef17ea8b1e16e004249d","datavalue":{"value":{"entity-type":"item","numeric-id":6160915,"id":"Q6160915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34308c64a405273e92af26156d09a279587b5de4","datavalue":{"value":{"amount":"+0.7295300960540771","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":"Q1647700$6FA0B94E-E094-40BE-BEC6-922B6F6AAFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53817f547b33f3dcf223c9a7b249d68a22d36471","datavalue":{"value":{"entity-type":"item","numeric-id":6487924,"id":"Q6487924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c107e71d3c6e6ec0f6ba0d655a65996820e9c6e4","datavalue":{"value":{"amount":"+0.7281529903411865","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":"Q1647700$D9511C1A-1D15-4065-BE53-A6ED8D49DED3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model learning as a satisfiability modulo theories problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_learning_as_a_satisfiability_modulo_theories_problem"}}}}}