{"entities":{"Q3600561":{"pageid":5630467,"ns":120,"title":"Item:Q3600561","lastrevid":50560817,"modified":"2026-01-14T09:55:09Z","type":"item","id":"Q3600561","labels":{"en":{"language":"en","value":"Commutativity of Quantifiers in\u00a0Varying-Domain Kripke Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5502952"}},"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":"Q3600561$D3D24592-05AF-4D60-82F2-477D8FD9A304","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78713931db8d48e6f300ca61e5aebb00f04aae2b","datavalue":{"value":{"text":"Commutativity of Quantifiers in\u00a0Varying-Domain Kripke Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600561$DFBE8CCB-2427-4277-8AEE-4B80F256C30D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7080ab69823af7324fc342a3fca885aa704792cb","datavalue":{"value":"1167.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600561$DB526F1D-53B4-4DA0-B552-687490E1C99A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"989d16ed153cc434e508df0bbdf29680de2b2c82","datavalue":{"value":"10.1007/978-1-4020-9084-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600561$B0087C1B-9BC4-44D0-9FDB-FD3BD0305619","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600561$462809F3-D7E0-427E-8A81-97611DB6CDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600561$F86B54FD-E607-4FDD-8709-B1A81C9944D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0df493489f1fa665b4100a5580b3693e86ec2e40","datavalue":{"value":{"entity-type":"item","numeric-id":3600559,"id":"Q3600559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600561$98AECEE6-5DFF-4C21-99E4-35F9DC793C3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fb18d8802cf3abae5e4680d2164009847fc6528","datavalue":{"value":{"time":"+2009-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600561$66643C7F-552A-41DC-B38D-B2842F978D03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600561$B98BF316-873D-4F6E-99EF-8841A0BB722C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4137d3aa5eede8cedf89740e2460bcbc770793de","datavalue":{"value":"5502952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600561$F08C31EE-45D3-40E1-8EC3-D3933B091C0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d70a62a4ca20ecdb036a4ba9bf9da4ba871d11f","datavalue":{"value":"commutative quantification law for universal quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600561$D1895382-5D75-4B4D-9A7B-4D6DD7D87AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666779a38fa937251fc61ea056c3be2b34fda746","datavalue":{"value":"Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600561$A39DAEA3-7488-48B0-8849-7CA5BD5664D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de6ddbef55cedb1f49d4e29c7a100cf0c55fe64e","datavalue":{"value":"converse Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600561$BC60EC9A-7B57-4ADE-AA9D-1F51E630B964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600561$1838C74B-1F69-489B-BF00-B241C394E84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600561$775AF263-2445-48A4-A559-1B97EA0DF1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4b1de7ffc95c4a34b5851d2c480bc077a2ef70","datavalue":{"value":"non-Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600561$E61DF0F7-B3AF-49E0-BB7B-4561A8AFA140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffd37766974e1f01d93c44b79848c86031fc34d","datavalue":{"value":"possible-worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600561$FFBE50B8-01A8-44C8-A694-159AAB8227AA","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":"Q3600561$3C22A392-2BC4-44FD-9A68-26AE450CDE24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60213b2c8982a2f94c3674a832a1ddeee87fc377","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-9084-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600561$9B623BF6-6D2D-473E-878B-E501991DAF11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"625d0f6ed6da2298dbf9164a170a0d335c018c41","datavalue":{"value":"W2227623256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600561$635A0E3F-A1A1-4086-A3CA-AE98E99F19B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"336d3281002571ab162d947d2d2e75f2adec6472","datavalue":{"value":{"entity-type":"item","numeric-id":595642,"id":"Q595642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600561$6085A75C-ABD6-4E98-935F-9731A01900DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b4d384854c2e13796ad2c51119423fa143380d","datavalue":{"value":{"entity-type":"item","numeric-id":4789451,"id":"Q4789451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600561$D1EEF697-A3AF-48F9-AD07-6E40F1E5C913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d5f543a032973696bb4d2f7c260367a1c57524","datavalue":{"value":{"entity-type":"item","numeric-id":3509055,"id":"Q3509055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600561$8E3AC1D8-5DB2-4CAF-9CA1-F9B15C636B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600561$5C55B622-3EC1-4CF6-BA95-454A7670F423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2175710971e93f48aced0d36264d93f4d020cee","datavalue":{"value":{"entity-type":"item","numeric-id":2538520,"id":"Q2538520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600561$B7350930-A985-4B90-AE15-2863FEB414DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36a616058f9c19ea3560225b8583ea5dd9baf29","datavalue":{"value":{"entity-type":"item","numeric-id":5477628,"id":"Q5477628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600561$5BA99735-E3CB-4F1E-B391-AAC663DFE074","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f000b61859c98a73965d1a75541e1dd88f938c","datavalue":{"value":{"entity-type":"item","numeric-id":4451729,"id":"Q4451729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a454c8ff2eeef6d52f639eb4dee9aed65c70ad","datavalue":{"value":{"amount":"+0.7383360266685486","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":"Q3600561$5B87823E-8C15-40EA-8E93-CFE64697123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f838ffeb787ab78c62a7b621c1a8b3dbf110458","datavalue":{"value":{"entity-type":"item","numeric-id":4854864,"id":"Q4854864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a12a102ff622390a38557d08c255c4c4776b3f1","datavalue":{"value":{"amount":"+0.7284826040267944","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":"Q3600561$9E75DBAB-828C-42C5-A9A3-F152164E5C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7ec3c6a1d9a9714a0f1adbace7ffb28f139c449","datavalue":{"value":{"entity-type":"item","numeric-id":4531581,"id":"Q4531581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a12a102ff622390a38557d08c255c4c4776b3f1","datavalue":{"value":{"amount":"+0.7284826040267944","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":"Q3600561$B7F14E3D-67F2-4E9D-A576-F32BFB9573B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0f819e1aefdae72450970f513fdaf22d72ba62","datavalue":{"value":{"entity-type":"item","numeric-id":5198903,"id":"Q5198903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2cfc0b694c486bedcedb3fac99431f2bc7afa2","datavalue":{"value":{"amount":"+0.7283226251602173","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":"Q3600561$2BB23BF0-6BF2-4187-B23F-A4A0FB165874","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":"0325f04ee066b213966ade5390ff16fa77df8efa","datavalue":{"value":{"amount":"+0.7192040681838989","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":"Q3600561$7F356A52-5377-4E1F-A6E0-17EB4A91F6FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3600561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3600561"}}}}}