{"entities":{"Q4812255":{"pageid":6841835,"ns":120,"title":"Item:Q4812255","lastrevid":74549475,"modified":"2026-04-14T23:17:33Z","type":"item","id":"Q4812255","labels":{"en":{"language":"en","value":"QMML: Quantified Minimal Modal Logic and Its Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2097503"}},"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":"Q4812255$4842B998-9A49-46AD-B81A-7C345F2B770E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a942b07ab2e26bd8bea5608aa710ea0f34955cb","datavalue":{"value":{"text":"QMML: Quantified Minimal Modal Logic and Its Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4812255$5EC4831F-B5D5-4A8B-9FD9-D8D96353C918","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48706f20aa3d401450a7b225cc9d341d24861f0e","datavalue":{"value":"1054.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812255$F8C1A6B7-77D2-4894-BEBF-01D0508DCBC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a677ced242846a4d8f7fb84c20e6e76085d0c1e3","datavalue":{"value":{"entity-type":"item","numeric-id":898775,"id":"Q898775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4812255$AF36760B-1DB9-4A9F-B2D5-884BAD714028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65aed4952f0ea543318f530fb41d65bb13a32cde","datavalue":{"value":{"time":"+2004-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4812255$14862BB4-88C8-4A7E-9BF2-C86C4A4D82E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812255$8197162D-2BE6-497D-9317-EB26BA8C1C39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e005e286ec4136d191581c64c79eefc7eea3a3b","datavalue":{"value":"2097503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812255$204A6758-18D5-44D4-A2D9-3397704F97AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812255$CCE4D9D5-6C34-45E7-9B61-AD6F97DCDA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812255$11CA5FDE-91D1-4FD6-A42E-5071DC16F926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c690e60ee533519910eb068b3e141085575ad1a","datavalue":{"value":"neighborhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812255$033C45C8-BFFE-4ECE-A13F-341505D26BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd55c749ac8b235f1d7758cd0f618406d08d94e","datavalue":{"value":"permutation principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812255$86D987EC-22AF-494B-A76A-9D90BFA23678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17811fc2a9482e487bde4207074b89eae427acfa","datavalue":{"value":"Barcan formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812255$BE92185A-ED44-46FC-8C75-D5F61B10E4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38313993633a0611a2805d0e7911de9bcc0083c4","datavalue":{"value":"first-order quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812255$6AD78812-9D48-4211-834A-10B484811083","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":"Q4812255$24E994B6-2D05-46D9-B803-BF2F0C656265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eb9b222589243da00d6ac272e34e4dd72ce82f7","datavalue":{"value":"https://doi.org/10.1093/jigpal/11.5.557","type":"string"},"datatype":"url"},"type":"statement","id":"Q4812255$55B025B8-4317-43C5-B18F-052EB016B313","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a791332c6ef690dcc35ec7817dc1082370e4ba66","datavalue":{"value":"W2102405627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812255$91B660B4-2B69-47A5-A493-98F999065CE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d535c19edc85635ea69bb0be396237196cf0dff","datavalue":{"value":"10.1093/JIGPAL/11.5.557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812255$90F5B484-E758-4DD3-A2BB-D9684B9CD381","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4812255$27F0AE37-BB45-40E6-8246-0F43FF92A897","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e792364c294919b1c161c4b40bffa5c64cd106ff","datavalue":{"value":{"entity-type":"item","numeric-id":2851832,"id":"Q2851832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b89975822c6b3693e1a8d3e07323e1ceb327c5","datavalue":{"value":{"amount":"+0.7779161334037781","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":"Q4812255$62785501-2CB9-46BD-9501-CB44120C0F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1421697fa8bf5759a7ff616e163870e3e0a2a46c","datavalue":{"value":{"entity-type":"item","numeric-id":1685158,"id":"Q1685158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4685583ff19b79c8ddb387c5d9c553a38e722381","datavalue":{"value":{"amount":"+0.7568579316139221","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":"Q4812255$262D2F03-8F53-4E8C-8336-A41BCB0ACB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba1b377992dbecbd6b4c271252338e77edacf57","datavalue":{"value":{"entity-type":"item","numeric-id":4295247,"id":"Q4295247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76306b2ad1d977185763de5a49da0a6c1485d52","datavalue":{"value":{"amount":"+0.7565796375274658","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":"Q4812255$2BA7CE23-2A5E-475F-A8CD-48C7C33529D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb13c298494d3609801ef230bac36fccb531e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":4314073,"id":"Q4314073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ec43d4a375777351633c252b6a8f1deab9bd82","datavalue":{"value":{"amount":"+0.7434163689613342","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":"Q4812255$989ACAEE-54C8-4274-9517-3225BB6741E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932681efaaf8eb3441d76a79611a0df681bf1dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4796510,"id":"Q4796510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ec43d4a375777351633c252b6a8f1deab9bd82","datavalue":{"value":{"amount":"+0.7434163689613342","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":"Q4812255$72D50023-7EDF-46FC-B0AE-4A056AC5E77E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"QMML: Quantified Minimal Modal Logic and Its Applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/QMML:_Quantified_Minimal_Modal_Logic_and_Its_Applications"}}}}}