{"entities":{"Q5224561":{"pageid":7254130,"ns":120,"title":"Item:Q5224561","lastrevid":53486090,"modified":"2026-01-25T01:04:48Z","type":"item","id":"Q5224561","labels":{"en":{"language":"en","value":"Frame-validity games and absolute minimality of modal axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084827"}},"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":"Q5224561$2AA7615C-23E2-4DAF-8B5A-704401E6B975","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba0a125c73aea5363cbc5c50078093200dae5c1f","datavalue":{"value":"1418.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224561$6BDB268E-2DD5-449D-9D05-5ED409DF703C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224561$3CA63351-32FA-4727-9891-2AE38C0B8088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224561$49C7EA5E-E94C-4B7D-A455-BD26B263F0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224561$E775E31E-261F-4D0A-B268-14795A795624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac7857abe81e7661e1a785d3a69b9cde83e42312","datavalue":{"value":{"entity-type":"item","numeric-id":360051,"id":"Q360051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224561$0AF175EB-10B8-47BF-BD8C-49925E362C7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224561$A9ABF1AA-B33E-4ED8-92A9-A4FD5FB466EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224561$CC236D26-1FC4-4AF5-B66B-07EC8C6869FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05526e70fca6e18159eee81a6b7e6a5af1047362","datavalue":{"value":"7084827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224561$0DF81873-058E-4A08-997C-EA02ADE57CB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224561$501A8065-B0A6-4F3F-9F35-FCCD81CEEF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224561$278DDFCC-0AA3-4506-82E6-802DC6730326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df0a68f83d66920ef0061cd71436a029b2c7a790","datavalue":{"value":"formula-size games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224561$4B30B1B6-D1AF-48F0-B5B8-5879C512864E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bbf9f7a09bacf7aee0000fb39955ee47ab51a0a","datavalue":{"value":"lower bounds on formula-size","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224561$92F0317E-0FBE-4060-9548-5921FAC2D574","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":"Q5224561$141B02A4-5FE2-4FB7-BF70-A2C900300A52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4c52113db1528d525ea49e1f930af36eadbf531","datavalue":{"value":{"entity-type":"item","numeric-id":5066806,"id":"Q5066806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeab4ea0cc2a94224fca0c1cadbd9a0242eddd7f","datavalue":{"value":{"amount":"+0.8897641897201538","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":"Q5224561$1B15A29F-4F85-4052-A5CD-7B035A083444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f28e2d02ab087a15eeab9d44d3fc525bc0116d3","datavalue":{"value":{"entity-type":"item","numeric-id":4333475,"id":"Q4333475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cae94db94549ca2e84ba5034b47118dd8b93ed","datavalue":{"value":{"amount":"+0.7497767210006714","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":"Q5224561$62412E60-18A7-4136-8C30-80F3127F03B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c165bbff6cacf8fbbcec45ad4a4fc8b100e8a4dd","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a5d7208d2305009079242a2cb985de6b38477a","datavalue":{"value":{"amount":"+0.7125573754310608","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":"Q5224561$624B5EF8-762E-4B92-9622-42DEDBE1869F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dce7c84e782719acf493847535fb127d67b1a5b","datavalue":{"value":{"entity-type":"item","numeric-id":761445,"id":"Q761445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d82ca835c760b58e95a32c6631f0a3b33fbbc8","datavalue":{"value":{"amount":"+0.7101333141326904","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":"Q5224561$E5844D7B-AE84-419C-BF16-799D000DE44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5c92eb41b4215338245323fadb881f0b04b372","datavalue":{"value":{"entity-type":"item","numeric-id":1407589,"id":"Q1407589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502b714134993ce50fd132a8dafc4749d063edc9","datavalue":{"value":{"amount":"+0.709238588809967","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":"Q5224561$89CBC4C0-6A9C-4F63-A73F-541200A4C408","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224561"}}}}}