{"entities":{"Q4318161":{"pageid":6347762,"ns":120,"title":"Item:Q4318161","lastrevid":88700927,"modified":"2026-06-04T15:13:29Z","type":"item","id":"Q4318161","labels":{"en":{"language":"en","value":"A Modal Logic for Quantification and Substitution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 706779"}},"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":"Q4318161$7BF6D8D1-2013-4B0B-A898-166DAFB8533B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08ad5bf4bddc19f87a7c283b7e8bbef00ebb5678","datavalue":{"value":{"text":"A Modal Logic for Quantification and Substitution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4318161$CA372272-97AD-4040-A965-CF5F5A439727","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b5a9893626a240dbe39b0e09db3ee73e9620586","datavalue":{"value":"0810.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318161$0F80E5A1-AFBF-4335-A018-803667900BB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4318161$DF309D17-7CA3-4960-863E-13480DB585BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e660a0dec1d1feb123666563a435538c59561d0","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26322","type":"string"},"datatype":"url"},"type":"statement","id":"Q4318161$2993F9D7-031C-4713-817A-48C2441BF33F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318161$92C0BC05-BD72-4DD4-BE11-0BEDD8C5AC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318161$C7573F4D-21BD-4B2F-BD25-34824554D4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318161$82B3DBD2-FD15-418D-8122-8C29CFAA8B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318161$E3D0677A-7FCB-4BEE-A637-E5FF5F5A675F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"039d985fb75a9551cb999995ad8d90eb02bc5759","datavalue":{"value":"706779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318161$09F21449-E1A7-499A-A477-74BFCBA535BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318161$73D73574-291D-4214-90A4-1F2FA930F026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9988e03da7bbcf49bfe4a33f18dc091f91cc68c2","datavalue":{"value":"logic with finitely many variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318161$19FEDF63-7A64-4306-9745-4E531C66377B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9428016e34173b17b11627a9ff5c3626cc949a1","datavalue":{"value":"derivation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318161$C4EA112A-EBF4-443F-98FF-B87D8CD84A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c843cbea6780c50042d507b966dbe65151c7b54","datavalue":{"value":"polyadic equality algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318161$046AE8EA-6C95-4C2A-9C17-3ADD3E122BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bfb92f6c8cf89c2e53a35b2d41e51b3560d48df","datavalue":{"value":"\\(n\\)-variable fragment of first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318161$8CCE2284-A2BE-4ED5-9521-6A51C04D957E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"246a6b98fa4a047ecf0a42edce891659c8c99c86","datavalue":{"value":"cylindric mirror modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318161$5DF97BA9-951A-48F3-9E1B-E0EBD48D83FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318161$40F68C54-EC33-49C9-AB4C-0AC75D5AD06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f7b6000cdb9654550cd3cc82708b0426d9b3ad","datavalue":{"value":"complex algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318161$42E4858C-AB67-4B81-B6F5-BACFE9A246FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318161$E2736DEB-19C6-49A0-A7B7-B3591248891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318161$EF02EE05-34F5-40DC-830C-D21F0289A3F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318161$55662242-F11A-4A23-A52A-3A3A4F8365D6","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":"Q4318161$EE2D44F0-E10A-4EAD-B682-8C2A4726ACFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c08f8eb562ac99e30ebd4af7c360b401a2ad54e6","datavalue":{"value":"W1966415058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318161$544017AE-F3C4-41C7-A61E-3B58FDC86C43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db7ef1253ff48bc9ada24e83331efd2603196fb2","datavalue":{"value":"10.1093/JIGPAL/2.1.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318161$231061CC-1A58-4473-B7BA-1DE9629F8181","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":"Q4318161$F8D9EA6E-6326-4E88-B22C-2070472D87EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b77bea443a002e318219e96f6b865f80f3bcbb","datavalue":{"value":{"entity-type":"item","numeric-id":4873977,"id":"Q4873977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d58fe68f906ebea250a91296e219c99b3ef7c73","datavalue":{"value":{"amount":"+0.995918869972229","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":"Q4318161$4F44EC9E-739D-468C-9596-1BE51AAA795C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d363f8e6a5d99d267703ea6f37a5c2ff25642a","datavalue":{"value":{"amount":"+0.8265023827552795","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":"Q4318161$9CAFCC36-D78E-4AE0-8396-224B97CD1A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25def5dae799f8738005f23beea0ae868fdfcd37","datavalue":{"value":{"entity-type":"item","numeric-id":4250037,"id":"Q4250037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d363f8e6a5d99d267703ea6f37a5c2ff25642a","datavalue":{"value":{"amount":"+0.8265023827552795","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":"Q4318161$D6E70F23-3039-4095-8E3C-170EFB5D1792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68f65bed8049922c2e37d189f073fed5574cb3c","datavalue":{"value":{"entity-type":"item","numeric-id":4842635,"id":"Q4842635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d72457663fd77d9931c90faf5ae899d02ebc4b","datavalue":{"value":{"amount":"+0.8152340650558472","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":"Q4318161$61D308FE-BCA6-4112-B0BA-5CB0DACA2A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ca845eab521e433c6d4afe342d73488fb06500","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0407102d137df277af38dde6fff4fc4e0e0d564","datavalue":{"value":{"amount":"+0.8131673336029053","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":"Q4318161$88B06E53-B305-41D8-8E54-2A630A455F4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Modal Logic for Quantification and Substitution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Modal_Logic_for_Quantification_and_Substitution"}}}}}