{"entities":{"Q2118302":{"pageid":2129045,"ns":120,"title":"Item:Q2118302","lastrevid":43521105,"modified":"2025-07-30T13:45:38Z","type":"item","id":"Q2118302","labels":{"en":{"language":"en","value":"Efficient SAT-based minimal model generation methods for modal logic S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495576"}},"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":"Q2118302$ED2FC16B-8390-4315-B351-2CFB9E99F411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64b6ff8cc4c27db6acca74cd68acbe42fcf47da1","datavalue":{"value":{"text":"Efficient SAT-based minimal model generation methods for modal logic S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118302$3D6F330E-1C1C-4EEA-AE29-AB4CAF4E7B05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e9ec4920dbee3358dc9019dd82e3c07fb32c888","datavalue":{"value":"10.1007/978-3-030-80223-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118302$836D52E8-85C9-4677-97A6-4B55987BA742","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"708ffc9eaa0b92f80a5ab19e484622e656fae4c8","datavalue":{"value":{"entity-type":"item","numeric-id":1799095,"id":"Q1799095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$AF024FAD-2910-4972-84BE-7623419D543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96db62605ad2622cf921bb55e4f4680ee0307ca2","datavalue":{"value":{"entity-type":"item","numeric-id":2118301,"id":"Q2118301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$CDAE5FE0-20A7-4FB8-AABF-22102DC318CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c48d2d75861a9e85f12cc8fe57692b2481ce8090","datavalue":{"value":{"entity-type":"item","numeric-id":1685162,"id":"Q1685162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$0874CF0C-C4CD-426E-8726-A288D881136A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b88acf0bfa46feaad4f7fc85bddc739c2a861958","datavalue":{"value":{"entity-type":"item","numeric-id":1659993,"id":"Q1659993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$AAD78673-168E-41EE-871C-05DE1B783958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f074f856fc3634e0cc07cdd3551e1ea32a5214","datavalue":{"value":{"entity-type":"item","numeric-id":963406,"id":"Q963406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$091F87C3-D7D1-495C-B7EE-574E2CB82482","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118302$E9B83051-76E7-470F-A471-A461C2A8E95C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118302$244DC5B5-1D5A-47EE-BDCF-3D540D90C0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118302$80F3C8F5-CF64-4EB6-AF4D-E977B8A6D028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118302$76B61501-D53A-4740-BF7E-EA4847C0AFF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1cd18487eabc32387ac5813dfe70322bdda2f64","datavalue":{"value":"7495576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118302$BD4F3D62-83F9-43C0-A97A-9731FADBAA2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118302$FFA0F378-85D5-40D8-A14C-CACC8B9C7F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118302$2105DB65-347F-4815-BFC7-2F39FBE4D9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4fc300135272819ca8d44a23bff86b0f2235a9","datavalue":{"value":"modal logic S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118302$9E33D1FC-C16B-4525-B426-00487114DC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118302$0AA0E433-2179-4051-9A1F-45EAB7787CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db152ea6f5f1d941a96190ff027c3df9b3519","datavalue":{"value":"symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118302$1D752368-B934-436A-80CC-3D60FF10DE63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e24672fd2b7383bea2d8e146b0851e7ba67dce1d","datavalue":{"value":{"entity-type":"item","numeric-id":51750,"id":"Q51750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$124E6C80-C9C8-4AAB-B691-948C3BBEB281","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":"Q2118302$62DF6DE6-7A4C-4FF6-B8DF-D0F1FDA91784","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41ce8321d8bfd00409c6d6f36ebe7c581dd41cc3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118302$3E872D9C-5C79-41A9-9491-FA831CDE8933","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"639dce114cf059f7b8f934f5f3667ca4a1b278e1","datavalue":{"value":"W3194823730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118302$081385C3-DEC6-4C57-84E7-90FC3195083F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d0bf0a6cc5352e93ae868670d4f1ac2906a84","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$F29810DE-065D-4089-899E-062CAFF76D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79206fb1e92a8e539052b066bee1320999715bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4636023,"id":"Q4636023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$8D9F9128-C4F4-4D08-94A6-5B6BA03A11D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7672984695ebd8205b2327d3a9eb3180fc9209","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$3E5CF19A-ADFA-49C6-9C21-54305C121B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$262AC5BD-6CE0-4F04-BFE9-B9FEE7636ED6","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":"Q2118302$F10E1BE5-FEA9-4D8B-A170-BE183E502DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675fb831e174b00534ac41ceae05f864cb19fce9","datavalue":{"value":{"entity-type":"item","numeric-id":2721181,"id":"Q2721181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$3DDD44AB-242F-4967-B4DA-41CFB6EAE643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd10df8aadb4fd23e6a44589cc7b4541609eac41","datavalue":{"value":{"entity-type":"item","numeric-id":5918244,"id":"Q5918244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$A74A2E0A-25BD-4F60-A06B-4C6088F68F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fced662d092146739767f429e22d65ae5d6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":5015603,"id":"Q5015603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$4E5F733D-00E5-42FE-B578-DE33B4E16741","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":"Q2118302$3D6338E3-9659-4282-9B80-2EC5FE962267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7387585320538b22efa71ea2f7a017d3578c9407","datavalue":{"value":{"entity-type":"item","numeric-id":1799062,"id":"Q1799062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$8AE43447-6CEA-49FF-AB15-18487E66D4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb8a71ed91596a61653984ae9726f35a62e6bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2180535,"id":"Q2180535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$767BF44E-D26B-4138-B2F8-8036D94208D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b5e7518a897a720f47d8f0a9f8e2749fd6da12f","datavalue":{"value":{"entity-type":"item","numeric-id":2825415,"id":"Q2825415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$A9A91586-4779-4CBC-80D5-5181471AEC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb28bf3273fb3bcda51489c4279439fdba427ee","datavalue":{"value":{"entity-type":"item","numeric-id":3192207,"id":"Q3192207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$18D5DDAA-9813-47C3-99B8-F0C2C062DD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef08cd0a1d05ccffb5af081dd9e597665e1458a","datavalue":{"value":{"entity-type":"item","numeric-id":4411160,"id":"Q4411160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$8B88C83A-9B40-4375-9338-77B296142D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069625451ce35e0a9b4089292619ab6ff3e4d555","datavalue":{"value":{"entity-type":"item","numeric-id":765327,"id":"Q765327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118302$61335731-11ED-4DC1-B484-838B58EB9FC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118302"}}}}}