{"entities":{"Q4986511":{"pageid":7016088,"ns":120,"title":"Item:Q4986511","lastrevid":58387455,"modified":"2026-04-05T00:12:36Z","type":"item","id":"Q4986511","labels":{"en":{"language":"en","value":"Satisfiability vs. finite satisfiability in elementary modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7340145"}},"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":"Q4986511$B3B72F5F-505C-4AEA-8EE6-B0E39C231306","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cbdc97ba2531827701e06877aeec5b40afd2fc8","datavalue":{"value":"1469.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986511$65D1AEAC-5060-4FAB-B504-087261A1EB78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"602031367905da417140a473efe6714bfd2f9fda","datavalue":{"value":{"entity-type":"item","numeric-id":2009650,"id":"Q2009650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986511$23C2AFA6-FFF6-476C-8EF1-69F169C1FA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"476d873e743ed0d43ed015c057bd3889fb6de797","datavalue":{"value":{"entity-type":"item","numeric-id":438583,"id":"Q438583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986511$83D53210-4902-4B3C-A9E6-11FD01794A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d18650a5e9899bc95ab6c4da94e429f6e171687f","datavalue":{"value":{"entity-type":"item","numeric-id":734667,"id":"Q734667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986511$572A4395-5B30-47D6-8243-5F5C2CF37319","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4986511$E01FCA1C-5C57-4CA1-9C8B-1C77CF24FAC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6155a54f18ce84d308a072783eb471a218744186","datavalue":{"value":"https://arxiv.org/abs/1210.2481","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986511$9A00535E-9223-4461-B604-D9A92C545B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1254e82ab782f9434120d8c6f26e7cb2bb9ac011","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2012.11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986511$9BCFBE9C-020E-4D74-9B2B-01999E83012F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986511$6E29D242-8F59-4E91-9EEA-CC3B8584D6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986511$2FEDCB4B-76E8-4E48-8D6D-B17ABD6D5FD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea8da3e59ce940ab4353a45dc0d218d29f8b105f","datavalue":{"value":"7340145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986511$0C7CF019-A913-48BB-8331-8C3725E669E8","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":"Q4986511$1D8B07EC-1700-4659-BA47-F1FB385321EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b36897ac062cea1d8f6f72414e75480c38ad9f9","datavalue":{"value":{"entity-type":"item","numeric-id":4611207,"id":"Q4611207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa33ec31a882b33f2ed78ea268a9149b63c6ec38","datavalue":{"value":{"amount":"+0.9885629415512084","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":"Q4986511$5082992A-1508-4948-9387-CC8103ECFA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e443bdf35439f30dfedd070bd1642e96585b35","datavalue":{"value":{"entity-type":"item","numeric-id":2986825,"id":"Q2986825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de9cc2dedac9e1551c3cc738f69216223c446b6","datavalue":{"value":{"amount":"+0.8575226068496704","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":"Q4986511$A16A5007-22F1-457D-B021-9EF04A46E6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f79898ee459935eba972eed08296ee37c90f89","datavalue":{"value":{"entity-type":"item","numeric-id":5277903,"id":"Q5277903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23a2bc5365a04f0e6fcdf88b9e92aa0e726989d","datavalue":{"value":{"amount":"+0.8382801413536072","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":"Q4986511$2B7B83E4-093A-4C56-AFC0-00AA6132259D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d8644a4dd388e166658c76bc2ad40333776403","datavalue":{"value":{"entity-type":"item","numeric-id":2958545,"id":"Q2958545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd17aa4f14641801b8c476c7e4869a0564c4c0e","datavalue":{"value":{"amount":"+0.8167023062705994","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":"Q4986511$30A727C8-E039-4FD3-8AC4-33D2E8C2596D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed15f871465f65c5a528e18848fdf275867cbcc","datavalue":{"value":{"entity-type":"item","numeric-id":2911630,"id":"Q2911630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b278bc0f9d83a934eb51644f464e9ef301646c14","datavalue":{"value":{"amount":"+0.8152884840965271","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":"Q4986511$A93A2E38-13B7-4F5A-98C0-715A213651C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4986511","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4986511"}}}}}