{"entities":{"Q5398058":{"pageid":7427632,"ns":120,"title":"Item:Q5398058","lastrevid":51933968,"modified":"2026-01-20T14:03:25Z","type":"item","id":"Q5398058","labels":{"en":{"language":"en","value":"Lazy model expansion by incremental grounding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6261540"}},"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":"Q5398058$01D86FB3-84C8-4074-A921-E88BE58ED7D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13e1718003f4a6c328766f9ba5836027de2c9c6a","datavalue":{"value":"1281.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398058$D080FA5F-8B51-416D-9E62-918F7C196415","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"623e3d14066b327fb85d777a7dc242cb21457da1","datavalue":{"value":{"entity-type":"item","numeric-id":2931257,"id":"Q2931257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398058$CFD3FB2A-8BD0-405C-B5A2-2B4C121A5284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398058$DD31FD14-5FA9-4081-A66D-2B2598FC02E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398058$490FE351-10C7-4FB6-A49E-35F79B3E44C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efe2faed09c4ec490640e4d710dd813f29d8297b","datavalue":{"value":{"time":"+2014-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398058$19D90FE9-CE5C-45F1-8D31-25414D40C974","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398058$95D5C4F0-4CFD-4552-80B7-F7F7DBFA31D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398058$1D7C0CFB-59B1-4360-8EF1-E8C5A46C9794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398058$F8E995F6-11F1-4C32-973F-363EBC5CBA25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d06fd093ab47f1b1752ef81377aaf44542488db","datavalue":{"value":"6261540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398058$FC2749D8-131A-4C8A-B443-A58033882754","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e463b9da3c84cac663d2284dafb56253b13d1e","datavalue":{"value":"knowledge representation and reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398058$6769CB49-8B2F-41C0-A352-C5256CD23AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398058$3E0C9247-ED16-4AE5-BAFF-F31E651D91F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b9a58dab445e0fa7d466f628a1781a92cdcbbd","datavalue":{"value":"grounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398058$CDF6B237-E4BB-4FB3-A4D9-D6175A04C7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e37e90ae8f0cfc79b1791824f2a78d306f994d9","datavalue":{"value":"IDP framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398058$1673F2B3-333E-4E5A-A2CB-C657408DE428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398058$1007B3BA-DBE5-4AA7-AEB5-3BF2C5C5F45A","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":"Q5398058$D3F47DB3-6D42-472A-9D84-7B6983756594","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a363f9f4fa070fb490115f84b9812c0b3e50e504","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.ICLP.2012.201","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398058$B9E7C117-2ADB-4AF7-A4AE-BA3861604674","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d03aab06db3e9f45fb7d9af9e9b27407b9bd6303","datavalue":{"value":"W2117888397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398058$A79EA519-D96D-4651-9C0D-6EA951F804FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31b6966a5847c52293082dcea67c7aab8f244561","datavalue":{"value":{"text":"Lazy Model Expansion by Incremental Grounding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398058$AFFC3BE6-A28A-4833-819D-B62648685087","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee2ed5e9fffbbe06573ffb4619a5638ec1fe61c7","datavalue":{"value":"10.4230/LIPICS.ICLP.2012.201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398058$9EC97C5F-D102-4D23-9462-A0114EB38F95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd754e89c0096837721527867a4541aaad89c25","datavalue":{"value":{"entity-type":"item","numeric-id":5176854,"id":"Q5176854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42d2ffa3cb80b2a3a1f5b1430872cf5c9297851","datavalue":{"value":{"amount":"+0.8493167161941528","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":"Q5398058$CB7E51BA-82EB-4714-9237-6D35808456CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b763b5d158366edc25f3bba7b28c9c5e383089a9","datavalue":{"value":{"entity-type":"item","numeric-id":2326738,"id":"Q2326738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b105c5f1cefa2d591bd08b114965e3e3cab737","datavalue":{"value":{"amount":"+0.7825103998184204","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":"Q5398058$6CD4BEBE-4833-4D59-8FC2-A8A663D53039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be71026c62d396fe66287e893340edddb383149b","datavalue":{"value":{"entity-type":"item","numeric-id":5140003,"id":"Q5140003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09d0925a34448b4b936752d1ea5329722a69c7f","datavalue":{"value":{"amount":"+0.7664554119110107","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":"Q5398058$F1B14345-C970-4F65-99D1-DB930ABB04B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5feb9f0e5327e924141fa866427c2c9fd356c51e","datavalue":{"value":{"entity-type":"item","numeric-id":5504656,"id":"Q5504656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bac7a7c15d9d77f1f005d9eca00211347cb5084","datavalue":{"value":{"amount":"+0.7604408264160156","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":"Q5398058$C6C05966-A26B-4FF5-A069-BAEC7AB25C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b47f3376fefddc72fd53efd6f6df0066cf4440","datavalue":{"value":{"entity-type":"item","numeric-id":2401934,"id":"Q2401934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c15e93892a23430742ce399248b605ba4fff85","datavalue":{"value":{"amount":"+0.7354913353919983","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":"Q5398058$608E2A4E-8FB1-48D6-8C11-D01F65E749C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398058"}}}}}