{"entities":{"Q2694545":{"pageid":2705289,"ns":120,"title":"Item:Q2694545","lastrevid":82766090,"modified":"2026-05-06T21:53:52Z","type":"item","id":"Q2694545","labels":{"en":{"language":"en","value":"Modal logic S5 in answer set programming with lazy creation of worlds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7671875"}},"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":"Q2694545$5BDFF9C7-212A-4584-8EE5-24AC85F5F27E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51b2df3616091c064e50cf9a8c14deb5712ec528","datavalue":{"value":{"text":"Modal logic S5 in answer set programming with lazy creation of worlds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2694545$1E2B5F34-0CBE-45C8-AB9D-560AD419D138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42d5d57dd051783b90a6707ce037f30bb0ba9bde","datavalue":{"value":"10.1007/978-3-031-15707-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694545$6A4C7801-5D56-44BD-8337-4B4A39519845","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a97ca6b9aa27ff9ea5b9e923a7697bd4e8c876","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$71A531F4-D3C7-459B-A095-1D9AB0D03EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fc534a63f502528e7b6f10e7d083f729c3205d","datavalue":{"value":{"entity-type":"item","numeric-id":2694543,"id":"Q2694543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$EF1B34D7-C6AB-4F82-87FF-FD3E72D4CD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f89eb615a7a85e9d5b5ce37eac306bbbc3a3964","datavalue":{"value":{"entity-type":"item","numeric-id":2694544,"id":"Q2694544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$A5781865-6165-42F4-923B-52454B091455","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3231911715c88eeda68ab5624fcc2c3ec367b8db","datavalue":{"value":{"time":"+2023-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2694545$ECCE8216-4985-4DE5-BA34-C82F588B5AE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694545$9EFE7150-1C99-4C05-9EF4-413F4D6A9BF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fcb5af585d250e4e9bc7b3417ea18785664023d","datavalue":{"value":"7671875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694545$39DDEA6A-A6C2-4ADB-9282-082E230B101F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694545$990C1685-37AB-4A5D-8CFD-1E72C3544E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694545$2474488E-C5CD-4921-9D21-2CFD15485EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694545$C333C579-9576-40E0-AFAB-12886E99CF19","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fda00351a02a5ed7eb6fc4872361840bcbd6feb3","datavalue":{"value":{"entity-type":"item","numeric-id":21872,"id":"Q21872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$78BE5494-93C5-42C6-9706-7A3B35159648","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":"Q2694545$EB9F6989-A099-4C10-932A-C57E47F5579D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6be716e508ae6338b2c8d77e5f9117ee07c1ea4","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15707-3_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2694545$A8C4AAB5-5BE9-4046-A622-CCAA5880C666","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9182065d08cfba7ce2bd950e9a9c96e4f6378bf","datavalue":{"value":"W4293179600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694545$4C6CCD2C-5F6C-4906-AC96-C0199CB32C80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83560387e6da44698552d56b25a2f3d01d6727d8","datavalue":{"value":{"entity-type":"item","numeric-id":5019595,"id":"Q5019595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$6BF224BB-F1F8-4455-A3CD-568C312A56DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d56b18a7ab6082e57429251f118b09846cd8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5140008,"id":"Q5140008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$60E2556A-C433-4FF8-931A-12827095847D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b227d243a12d1f2ac14d5f6704fd513f5a699b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4559799,"id":"Q4559799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$A8F75977-D07C-4CEE-A022-5AD291C803D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb21afd36ce282508c2606e7ec78f126cae9c7f","datavalue":{"value":{"entity-type":"item","numeric-id":1295438,"id":"Q1295438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$84CECE7B-3C7D-485B-839A-316691730071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$12B97FDF-C5F1-49D3-A147-E372DD3C5809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$F8FBFE65-C5F2-41BC-94DE-92B4246C100F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$D4187FF8-B12D-4107-BA82-AC64CBE855E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec1d0fdd3fd9fde2d7e31c1dead171c9fdc9a74","datavalue":{"value":{"entity-type":"item","numeric-id":814504,"id":"Q814504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$4290A28B-6D0F-435D-B3B0-A08045B4E3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43e73eadad7694a29cdbc5326249f6adc814f12","datavalue":{"value":{"entity-type":"item","numeric-id":5230475,"id":"Q5230475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$5598239C-580C-4C3F-A232-98D07123E37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d22e95cfb08114972c1514e26bef4d87d04d8a","datavalue":{"value":{"entity-type":"item","numeric-id":5524918,"id":"Q5524918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694545$3FF69725-7E2E-4DE0-94CC-423FEBC39ED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logic S5 in answer set programming with lazy creation of worlds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logic_S5_in_answer_set_programming_with_lazy_creation_of_worlds"}}}}}