{"entities":{"Q4636045":{"pageid":6665626,"ns":120,"title":"Item:Q4636045","lastrevid":53071229,"modified":"2026-01-24T04:11:32Z","type":"item","id":"Q4636045","labels":{"en":{"language":"en","value":"Decidable first-order modal logics with counting quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863655"}},"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":"Q4636045$C5B7E4DC-B438-4501-AF6B-16C15989C183","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab3820a2961f7c1d306d0559e03abbafb52bb6e5","datavalue":{"value":"1400.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636045$A72DDF47-5745-48E6-8FB6-25FB62E5FADF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"addcf6d44783d1bc7ae5a6ba955d62602d552548","datavalue":{"value":{"entity-type":"item","numeric-id":295917,"id":"Q295917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636045$9A464568-A5F5-44C6-B972-DFEE9072B106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636045$82A42F2B-9F33-4114-B298-D2FDB521E190","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636045$A5447B66-FD20-4E10-8A85-CB985EC1D1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636045$1A2E530E-AD16-42DC-A0D0-C6D01EA0FEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636045$62D1D30D-FFF1-4047-8AF7-7D0C2CEB2C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636045$1B21E972-AE9D-4994-A9C4-108847F22089","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef8d9b9dfd66ee87455a80dfdd5a55aa40a99ad2","datavalue":{"value":"6863655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636045$B905B7DB-F8B8-4645-BE00-6B6B9B686A6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636045$B3912130-455E-4B73-8D4C-B61EE22E189B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636045$38E0EEA4-C198-44DB-987E-5D4D3B24C203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f254a0fd07124e4623ffba19881191539a77bd65","datavalue":{"value":"two-dimensional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636045$6589304F-BCFA-4C77-99E4-85A076B21590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2224861cbed8f8c5633e3aa539007f103afd6c15","datavalue":{"value":"counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636045$739C7E7D-DEDD-45E4-8B0C-F0A64353954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69a3fbd3ecc6cb90d0b5fdddef6f946616f21955","datavalue":{"value":"decidable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636045$9CCB1AA0-4FA0-4E08-9CEF-548714EE72B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636045$31680D26-4BD3-499F-AA66-972245A7C8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e625b72a18962a9980e9218e3557c9411a44293","datavalue":{"value":"quasimodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636045$7747DB62-4CE3-4791-A0E6-9CD757EC9F6A","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":"Q4636045$A40ACD21-03D2-4D73-B3C3-6981C2DCD7A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe432c4cbedfe36f6f9d088a1b5998db47f081b","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212f12de3d3c51b1c12e514a1962548563787560","datavalue":{"value":{"amount":"+0.7942555546760559","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":"Q4636045$796D1C76-DF3F-4AF4-BB97-0210F1B024E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428e272d36d4e5c471fa59ff18ac6b89a149661d","datavalue":{"value":{"entity-type":"item","numeric-id":2957765,"id":"Q2957765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9a7ef1fc416146d43a1a1e104007718cfac43b","datavalue":{"value":{"amount":"+0.7942554950714111","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":"Q4636045$66AA606F-EAA7-4BBC-9C71-606651C91243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214ff23f3b1d9be776a390d653a618fd8e0d2f03","datavalue":{"value":{"entity-type":"item","numeric-id":2958532,"id":"Q2958532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a1b0bd164d786de36a2969c5468926e76ed67f","datavalue":{"value":{"amount":"+0.7852632403373718","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":"Q4636045$40DF6167-FEB2-4B48-B7A5-962AB3DBA7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76349f61a752a06066d95936fea3793634d23e95","datavalue":{"value":{"entity-type":"item","numeric-id":2408808,"id":"Q2408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca4413681fc6d014cdfeda7503b76f6af83f1cc","datavalue":{"value":{"amount":"+0.778809666633606","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":"Q4636045$17BB63D2-490E-4936-AF46-876E555EA7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbae6fafa873b776d56141c1686ea0d10f5c1ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b083ec79e2a447a43713fdc421efdccf7c5b8c0b","datavalue":{"value":{"amount":"+0.77437424659729","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":"Q4636045$E7512425-1596-4942-8A0E-B58B0DB66AFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636045"}}}}}