{"entities":{"Q3192207":{"pageid":3202915,"ns":120,"title":"Item:Q3192207","lastrevid":52096652,"modified":"2026-01-20T22:35:07Z","type":"item","id":"Q3192207","labels":{"en":{"language":"en","value":"Terminating minimal model generation procedures for propositional modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348252"}},"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":"Q3192207$D79A3565-60A8-47EA-B213-C33C8CE885BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bf773cf1db365c29502683c3ca9ba34fe4e8515","datavalue":{"value":{"text":"Terminating Minimal Model Generation Procedures for Propositional Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192207$BC13EEBB-4AE0-4C5A-80BF-C3DE59016C96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91d07fdde71b067e11ab96567345b3127cb00f83","datavalue":{"value":"1423.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192207$087C51AF-8694-4D70-844B-AFF5F701C1C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efab6346cbaad23465ac7318c21cada2471acc13","datavalue":{"value":"10.1007/978-3-319-08587-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192207$89B597CC-EC2A-4D06-BF72-E99381597244","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":"Q3192207$6F08D71B-3397-4D8B-801E-6E47AE2D1C53","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":"Q3192207$17CE8C4E-77CB-4F8E-B96B-D562D9FD75FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192207$69BEAB52-2002-4D34-8B9E-6E85C2453F80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-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":"Q3192207$1712958F-3E58-450E-9E51-8D4B42F4AE34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192207$87B14FDC-1D05-4A0B-944A-DABE80B5CE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192207$82B9512E-E3AB-423E-91FF-C6E6604C9115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24cfbeb4fef7520f3e8699252b3075137b63acc4","datavalue":{"value":"6348252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192207$5DA00ABF-31F5-4B95-965F-6C4498B7D76E","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":"Q3192207$710C0D67-CCCA-46A1-BF90-123D34B0D992","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ba6ae6bc0564d995703a1fca6181c536cb87e2e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192207$550D2AC1-8378-4F6E-9A18-61F10D14A919","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30566f31f0d4d84eb0d89761c6da61aeb776e688","datavalue":{"value":"W284397092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192207$06A1CDC4-9CC0-4CAD-ABBF-8ED8736554CB","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":"16543229d57e8d788acea18d334da717f6f47e42","datavalue":{"value":{"amount":"+0.8372678160667419","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":"Q3192207$865DB13F-A8D7-47AE-8346-15BF4C985312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ac58c1580b01d84b0ff2c452eefcac724d0f92","datavalue":{"value":{"entity-type":"item","numeric-id":2849495,"id":"Q2849495"},"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":"Q3192207$09750A81-75AD-4D4A-8BE0-EE3F86DD210B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94de5c99c326ae6d3babe173a21a16455362b3ec","datavalue":{"value":{"entity-type":"item","numeric-id":4037384,"id":"Q4037384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce230603a2e9a150f4ba3061a8df3d9aca58199a","datavalue":{"value":{"amount":"+0.7518534660339355","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":"Q3192207$36DAEB80-9699-4A34-B7C0-4087C5E0F7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7338c18cc75f77d2e5e7ca7a1cb1d9321e3522c6","datavalue":{"value":{"entity-type":"item","numeric-id":4263020,"id":"Q4263020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce230603a2e9a150f4ba3061a8df3d9aca58199a","datavalue":{"value":{"amount":"+0.7518534660339355","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":"Q3192207$EB248A17-5C0D-4FBA-A616-826ECA2AE0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf15a30165788009b4430f0a2e8094477d9ddd4","datavalue":{"value":{"entity-type":"item","numeric-id":2723419,"id":"Q2723419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2312f0e67e932e9a05e7ff6533e453c4214cba86","datavalue":{"value":{"amount":"+0.7505330443382263","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":"Q3192207$926979B3-747C-4D01-AA65-4305C4580378","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192207"}}}}}