{"entities":{"Q1289100":{"pageid":1299850,"ns":120,"title":"Item:Q1289100","lastrevid":70593444,"modified":"2026-04-13T15:38:40Z","type":"item","id":"Q1289100","labels":{"en":{"language":"en","value":"Labelled modal logics: Quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1290122"}},"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":"Q1289100$1571B2B2-2F60-4B8B-9F6B-1B9B5C129FCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f14e219f625b2a45206c47b705ffe51664d6ce3","datavalue":{"value":{"text":"Labelled modal logics: Quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1289100$905A398A-3425-454E-BA26-D9BDD0A95F2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"744d915b07153bec8cfc02bc41c50c8077c7b31f","datavalue":{"value":"0933.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289100$EBD6C4FA-2B23-4549-9B34-0D9850D4EA30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d13a17e4cc2e96ae15c09364c8962a59f1c9c389","datavalue":{"value":"10.1023/A:1008278803780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289100$66E182FF-DE32-4B02-B4AE-A09755943119","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc7b5b12b893092752e25f19fff9284b5a1df19","datavalue":{"value":{"entity-type":"item","numeric-id":1289099,"id":"Q1289099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1289100$2006CE22-7947-4003-8EE1-6574FEA909E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1289100$D41875B8-EF8F-493B-BB1B-A9D13CD3704C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1289100$000F7B7D-FA04-438E-BC45-0639A70572DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1289100$F6D43332-CF1C-4533-AC57-5A3FF3ABEA91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"396a489414c9e9e8aedfbc8af9c03c0dcd267f27","datavalue":{"value":{"time":"+2000-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1289100$630205FA-BF0F-484C-A0DE-F7108328CD5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289100$18992051-5E81-46E8-8FE0-3D63C310EDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289100$F03DE141-E1BA-4C3E-AA5D-7BA9DA9F1531","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43d2c4da976c9782cd2c6fdb48c5369e3873df9a","datavalue":{"value":"1290122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289100$A362AB78-D166-4178-8385-CFC837879566","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289100$A6F60058-2189-43F8-BCA3-02A10FFB9A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6d645c45f0a8bf710d638ba22831599423f9c0","datavalue":{"value":"free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289100$170985D8-4E5D-48E4-860D-407885CAE7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0cac515cdca1fd8e8a7b1987157f7cb9f1e116","datavalue":{"value":"labelled deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289100$147E52E6-745F-49D6-8F0E-F22816E56791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83fdac3184ba5fe1eb985ec4b2547ca4b979920d","datavalue":{"value":"labelled natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289100$8042BA53-941E-489E-A8ED-18A08471EFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289100$A5CEE532-E707-47FA-9678-CFB902A75E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a7e739f973b63f3306db5e269e91a351005507","datavalue":{"value":"modal logic theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1289100$424F4B22-38C1-4D9E-85A4-CB544812AA76","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1289100$51E72EF8-3CC3-4F56-9656-F65F28B00D29","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":"Q1289100$5E758190-ADB6-4F8C-B60D-E4B97D4DFFED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47fce45f6523463d5cacfc6d960e212c2b4cef1b","datavalue":{"value":"https://doi.org/10.1023/a:1008278803780","type":"string"},"datatype":"url"},"type":"statement","id":"Q1289100$C2AF05E3-2144-4802-835F-11F134999ACB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8cedc7d9b467dd55838e9aafc087ea657d95ea7","datavalue":{"value":"W1566446956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1289100$AD6060E4-1C50-4080-83B0-ED9EEBDF6B62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1be5758624164995209218217ceeac68a9abbe1","datavalue":{"value":{"entity-type":"item","numeric-id":5235254,"id":"Q5235254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9edc8e36f405b36fe24faa0c489afbb0de71b9","datavalue":{"value":{"amount":"+0.8472617864608765","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":"Q1289100$DBF2A2BE-5A8E-4FEE-BFC4-5FEC104BC12C","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":"2443d95259968bb3af0a2d11b39db14b64560e23","datavalue":{"value":{"amount":"+0.8378685116767883","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":"Q1289100$6FA9440B-80B6-4DC0-A99C-4AF223382BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a03572de652f67ad7c945fe1f137838c1386c25","datavalue":{"value":{"entity-type":"item","numeric-id":5865562,"id":"Q5865562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbc610ca3ff562d046dfca7b954768a8011458a","datavalue":{"value":{"amount":"+0.8330482840538025","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":"Q1289100$E9ADDF42-77A0-4B28-9AFA-7AD794D11880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490635eea00a529d2308f724680db1f19cfda3ce","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7d6ff457ab182c43b5c08aa964bdc5b78c1e1e","datavalue":{"value":{"amount":"+0.8239860534667969","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":"Q1289100$A7CB78CC-9B8B-49EE-9AE1-1368FF1D21F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled modal logics: Quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_modal_logics:_Quantifiers"}}}}}