{"entities":{"Q1761295":{"pageid":1772037,"ns":120,"title":"Item:Q1761295","lastrevid":74351016,"modified":"2026-04-14T19:41:07Z","type":"item","id":"Q1761295","labels":{"en":{"language":"en","value":"Local properties in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6106689"}},"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":"Q1761295$41623E95-523B-4ADD-8769-98E0C5487401","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6cffa936f5d673c0c72eb5ce83d0949acbff226","datavalue":{"value":{"text":"Local properties in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1761295$245DE0A1-5776-4FB6-9DA7-794A75C45F21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a3de34102611a3ccc0495154246f0b2caf8652c","datavalue":{"value":"1251.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761295$2F47C466-A14F-46E2-B4B6-2E1E14CFDB7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$17759F35-26A8-458F-AE23-6EC9B19F84B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acc91f928e2b1e0c530416c02d7de319da4a675d","datavalue":{"value":{"time":"+2012-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1761295$BEA77208-4D13-499B-B6E7-12869504E77E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761295$81F5CE06-D4C5-433F-9679-10BA39B29047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761295$30BD4FC2-127C-4E14-95A0-23EC789F6CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761295$B1D47D6F-9912-4D23-BCF2-F4173FD5DDD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"674cd683ba39850790687bc1ee57a1d5ba5721fe","datavalue":{"value":"6106689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761295$974B98FD-5C7B-49E7-9FDE-604BB21DD644","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761295$972AC150-DDAC-4F88-865C-4EEA58FA7C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761295$ABE684D1-8730-4CD4-85D8-ECC22EDBDBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253991f8f2099459340ecb25796b731e725a2eea","datavalue":{"value":"correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761295$6B351FA5-69E0-4F50-B4B8-083F1D389810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761295$DA8779F0-9A76-4055-A32C-DBAF3BAA5F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fefc6054b21fb286ed6afa39bead36cfecb9eb80","datavalue":{"value":"local properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761295$C0322C63-24DF-421B-B54C-5B3C9B6E8904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761295$6EA5FA5E-415E-48A1-A3C7-0079816C4733","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$43B529CA-7C76-45CB-A847-217F6D0FDA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$F59DB44A-A9BA-49C3-ABCB-AE945DECB996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad8a4a4842ce7e9395fec03d07820d80de9ff9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1403402,"id":"Q1403402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$1A30FD02-AE2C-4BC5-B813-F12C6DDA8198","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":"Q1761295$319F4A36-B678-42C5-BE9A-602A849D3045","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b02fb9bb3bc006aa924838939767bc786309afc3","datavalue":{"value":"https://doi.org/10.1016/j.artint.2012.04.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1761295$ECF59453-F81F-41FB-AE5E-7EBA28516BA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fde87965ba7137b90e5d3c1fc4373e18f1efcc18","datavalue":{"value":"W2100016193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761295$1E7526F2-F0D4-4D34-A316-4125F48A4A96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$3805C0B4-B9CA-4CCA-904D-C25794F1F3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907e61bf9dc64405c632f5635bee6bb57f66b8ba","datavalue":{"value":{"entity-type":"item","numeric-id":5740436,"id":"Q5740436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$0C03418B-1DD8-47E7-9FC0-C8B824E7BD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$10AB1312-E654-4316-B975-88876DA526F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$AB2E4B21-1433-4541-8323-3D63A85E48C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e33c87246e1b6e5e51298556a1997b3486676eb","datavalue":{"value":{"entity-type":"item","numeric-id":2640592,"id":"Q2640592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$CFF4663B-A9E2-495F-BCF4-C3B49202F039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9784f0b5b1e69bb83368467e8ad61c7ce436931b","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$85D75E4B-A16E-46A9-A246-F5430924E1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$0F954286-5E40-4358-8129-066383EAE3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$DA063003-C952-4460-A6D4-057041779A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$4CD6CAD9-EB4A-4681-A7CB-5844DFE79388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$4DDEC8F6-ADC3-4570-BA18-8D407E0FB0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$C226E05E-A950-4A5D-B8F3-D417F641181A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5099e4b39a28ab9c369c0581cecfd3024362c1","datavalue":{"value":{"entity-type":"item","numeric-id":1580652,"id":"Q1580652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$C92B12F3-6EBD-48B9-8C84-E8E92B95A984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$4F049CD2-B556-449B-BA64-42A4D08662C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$6857BEBA-3D51-46E6-9891-D80983CA6AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f722d8c2ba841a697ca759614ea3b487d05042","datavalue":{"value":{"entity-type":"item","numeric-id":4835902,"id":"Q4835902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$C4F17D1B-5464-4377-8829-05D63452DACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564fd9e8b23f01c7a64fcaac1de814ffa56a5025","datavalue":{"value":{"entity-type":"item","numeric-id":4028821,"id":"Q4028821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$949747C0-5777-4354-9F50-2119DE4D42A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29914b3e56cb84cb7b0a226433f420ce4b8adcae","datavalue":{"value":{"entity-type":"item","numeric-id":1332142,"id":"Q1332142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$22073947-EBF8-45B0-BDCA-CC3142A607B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$360BA693-561B-4894-BAFC-54FB595372FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$498CA6A8-0985-4B19-8D86-29D4E39B7EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877dbfd98d1091c872e438dbecee99833e130eea","datavalue":{"value":{"entity-type":"item","numeric-id":1863823,"id":"Q1863823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$28351519-B118-40AE-AC9E-1257DC0DA81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$CAF8C860-87FA-4A76-9AA9-EBDDAF70590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e12ebc4beb0a2509586b59f5001ca0b126ecbbd","datavalue":{"value":{"entity-type":"item","numeric-id":4276034,"id":"Q4276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761295$5799C4EE-A66E-48BC-92EE-4A3A07292152","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76837058e57c6f3d7831633c0cb401aae0f1df49","datavalue":{"value":"10.1016/J.ARTINT.2012.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761295$8163B687-8C85-4B57-921C-78A07320576E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e20b3e0c79ccb12f2ae8f5c16ad239c02502c1","datavalue":{"value":{"entity-type":"item","numeric-id":5016796,"id":"Q5016796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fad45e671850004450a89f0cbc9cf7933f4904","datavalue":{"value":{"amount":"+0.7451230883598328","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":"Q1761295$950011D4-C1D1-4BED-8A7E-3C368A435FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e698678e7cff0e91a0b90bc4da081f7d935c350f","datavalue":{"value":{"entity-type":"item","numeric-id":4982127,"id":"Q4982127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82986da99800042a10d020502d9202f4899ac1ca","datavalue":{"value":{"amount":"+0.7091596126556396","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":"Q1761295$8188BA45-D928-47F9-AA89-89FCD97EA2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d88b2012102cdb5004ebe87de048b7f8051b15c","datavalue":{"value":{"entity-type":"item","numeric-id":5465433,"id":"Q5465433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bc1e7c2caf5e1362b879f07ac69e48c689a80f","datavalue":{"value":{"amount":"+0.7059884071350098","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":"Q1761295$7423FAF9-0457-47AE-BDBD-2E9E7F3DCE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c89ff044bbc8ec2c846d78b64561df6fe18f6b8","datavalue":{"value":{"entity-type":"item","numeric-id":2940872,"id":"Q2940872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0941b2c9a2f4e35400ecdd6f7b7f4650db20682a","datavalue":{"value":{"amount":"+0.6993576884269714","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":"Q1761295$50404174-4651-4142-8908-BF3DF1A12010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488b2402f40791c15f0218098328eb32bfee0042","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2817a4d3bd370b6a0b16f8dd704e6125c9763cfb","datavalue":{"value":{"amount":"+0.6963167786598206","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":"Q1761295$9929F387-4F42-4F01-ACB6-987525388311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local properties in modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_properties_in_modal_logic"}}}}}