{"entities":{"Q2849495":{"pageid":2860215,"ns":120,"title":"Item:Q2849495","lastrevid":51829448,"modified":"2026-01-20T06:13:24Z","type":"item","id":"Q2849495","labels":{"en":{"language":"en","value":"Computing minimal models modulo subset-simulation for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210147"}},"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":"Q2849495$6FFDB62D-B430-4D90-87CD-F77FA247C84A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d383a431356bf6ca712aaf43184199c686719838","datavalue":{"value":{"text":"Computing Minimal Models Modulo Subset-Simulation for Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849495$931501B1-2F59-49DF-BBE1-EDA3DA915C35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc3e07da4ed2b51286ea44aee0aeac4025f9aeca","datavalue":{"value":"1398.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849495$BC24368B-E0E9-4388-9194-30B063C00310","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faab504f1e2ee631e2bb81bf642901c8f1f799d4","datavalue":{"value":"10.1007/978-3-642-40885-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849495$75F4836A-573E-41C7-A8D8-0D358E0E95F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a0bdcaa33e6b607823dc2d5b7383b94bdb05ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2055844,"id":"Q2055844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849495$D855E2E3-EED3-4419-8D5F-42BA425E5C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849495$99277292-8415-4617-86CF-357249714BE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849495$1F4227E5-9B76-4E82-813B-882640ADE16F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849495$C2271F41-5D34-4372-B59F-A38838997932","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849495$4BA7C063-3479-41E1-A5B1-85EDA77152E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849495$EE56078E-56F4-4C41-B2AA-DCEA23E79C39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb601c801888fa050139def80dfb513795d6745c","datavalue":{"value":"6210147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849495$DFDCC0BC-2029-4552-B552-F348C455DD73","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":"Q2849495$5693BF1D-BE56-4DF9-99B9-739D70F64B49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87ecdca3e89c7eb1fdfd535929f0c992d29a2dcd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40885-4_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849495$DD9EA8EF-A945-457B-8F80-F59284E11A81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"994940ce66c75e975885b20aedf3170d7bbd1908","datavalue":{"value":"W135315522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849495$E755622E-A712-4C0F-A1AB-1A712016CB53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5343a256059c90413c367a04bdf27b286c85de5b","datavalue":{"value":{"entity-type":"item","numeric-id":2825415,"id":"Q2825415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257e6ee53c235a8b742a3aaeab4bebc48be2acfe","datavalue":{"value":{"amount":"+0.8163917064666748","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":"Q2849495$96AFF219-7DE3-4D99-BA33-0E9D47DF5F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acfa38c8f514970a3f03c79cdbdc0ef00c6d2f03","datavalue":{"value":{"entity-type":"item","numeric-id":3192207,"id":"Q3192207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84538cae41b58378e0ee3a3bcc6c4e6d7492ab79","datavalue":{"value":{"amount":"+0.8036299347877502","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":"Q2849495$6C9621FA-6AA1-4F06-A5C6-38F12A4CB141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53662f7d469e3946380eb22df706dc7c81ce8d8","datavalue":{"value":{"entity-type":"item","numeric-id":4645243,"id":"Q4645243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a7dd4f7d94006bd5f3752f57486120b0753020","datavalue":{"value":{"amount":"+0.773144006729126","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":"Q2849495$3676986D-9DFD-48A5-9F0D-9BA7511988AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a1298735b112548078970047add90b2d29788b","datavalue":{"value":{"entity-type":"item","numeric-id":1380414,"id":"Q1380414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea056f3e36c61c806530ec9105d7b2261c381408","datavalue":{"value":{"amount":"+0.7529637217521667","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":"Q2849495$7D9E4483-B247-493C-A25F-B1082D09F6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c45dae8a6fee73916709a72362f686828cc5d5","datavalue":{"value":{"entity-type":"item","numeric-id":5436989,"id":"Q5436989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137a50d3c7d8d379ae65d09cc0d7ff466972b706","datavalue":{"value":{"amount":"+0.7414523959159851","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":"Q2849495$C7C5A971-8FBF-410E-940D-E21F70B47B15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849495"}}}}}