{"entities":{"Q1372357":{"pageid":1383097,"ns":120,"title":"Item:Q1372357","lastrevid":68756058,"modified":"2026-04-13T01:51:00Z","type":"item","id":"Q1372357","labels":{"en":{"language":"en","value":"Simulation and transfer results in modal logic -- a survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086016"}},"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":"Q1372357$69C6CE3B-9FA7-49D4-8521-ED97413646C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b1609d2ec0180a49f207dee8025df9ffa04dc26","datavalue":{"value":{"text":"Simulation and transfer results in modal logic -- a survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1372357$5A68574B-E473-4B13-A610-A9195CC10F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3647c8aeb70d8d363897ce2eabe0c43a52cf9fce","datavalue":{"value":"0960.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372357$38A3F14C-A64F-4A81-89DC-AE2E2CD57EB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4139faf596aa00fb4c396fd96b47947d3e6b06ca","datavalue":{"value":"10.1023/A:1004900300438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372357$B195581D-8197-4403-8268-F873F79F2359","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"038e797dce8577a599953ecaa64cde238c4ac836","datavalue":{"value":{"entity-type":"item","numeric-id":190342,"id":"Q190342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372357$D921CC87-6143-41AF-8BA6-FE36B978DEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372357$9364CF99-2DAA-480F-AF13-2DDCCFA3D691","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372357$2EB5C60E-819E-40D8-ABCA-6C0CCA889C82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4ed9a44f7b8041b429a53d3f8e4cfd16b6f920e","datavalue":{"value":{"time":"+2001-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1372357$32A35305-9D3F-45A6-8CC3-CB83F90CD58F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372357$0FAC3603-AECA-4414-8150-2DD00E7A72CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372357$2D49C918-AD26-447D-86B1-58121FC4BE5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8727bd3602ae22f074084631535cfab05351f543","datavalue":{"value":"1086016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372357$F7826EE8-1A20-45CC-8D58-AFADA0042541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372357$6DFE3770-4A92-46FB-8E2C-125D0D27EF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372357$96FC3699-1088-4C6C-877B-482D092BBCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372357$972E1CC8-80D8-4084-A4F9-C6F2B4EC1FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372357$19EBF4FA-71BC-46DF-A781-0824CA6F4B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372357$13E78228-36D3-4CE4-81C2-98CFD736F3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548d1f07e827d6a0aac33d5f8508c1249beecb5f","datavalue":{"value":"transfer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372357$7015EE75-4F83-4DF9-916C-4C1F009F66EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57abbe45df97623466451dfcaea3ae51c3cd46ea","datavalue":{"value":"extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372357$B24BC539-72FC-422C-9570-CE64AC76B5AD","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":"Q1372357$B6A792D9-D262-4DE3-93F7-65BA7347AE9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5de5a72ffc288368e8b218eb0da82ef63a1c6be","datavalue":{"value":"https://doi.org/10.1023/a:1004900300438","type":"string"},"datatype":"url"},"type":"statement","id":"Q1372357$D062B9BB-1B9D-44F3-BEAB-38829540D7B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"137c34120674d5258e8a5eea45c2d56813c4e280","datavalue":{"value":"W1552559776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372357$3187B852-97D0-44E3-859B-5C478C5C2599","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c898b2641681eb219ac13be5ca7e280137832615","datavalue":{"value":{"entity-type":"item","numeric-id":4254623,"id":"Q4254623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2b23749cc03043cb7e0c3c1cd65d65e9812e94","datavalue":{"value":{"amount":"+0.8501585721969604","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":"Q1372357$2E365A7E-F245-441B-96F4-F3866DAEBDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbdf3ef1e61a9f0ef702755a320c1c70f20d3df0","datavalue":{"value":{"entity-type":"item","numeric-id":3160548,"id":"Q3160548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a487756ae0795002d8744c062498f0f5d2df8624","datavalue":{"value":{"amount":"+0.8280149698257446","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":"Q1372357$A000BD1F-E233-4187-899F-3F9255508972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d979d59a9e58c7a6537acc54eeea4fa86ab922","datavalue":{"value":{"entity-type":"item","numeric-id":4218020,"id":"Q4218020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041338f3efa0744d4cf8e27c9b4c10f86e7713d4","datavalue":{"value":{"amount":"+0.7827186584472656","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":"Q1372357$733CA9D1-05A0-4243-9FFC-F0316FC0BACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2279955c93bc35d36a8e9f3c86e6c0d66b146480","datavalue":{"value":{"entity-type":"item","numeric-id":5477453,"id":"Q5477453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7256f4641b34fd563f2cfd1de065fd6d83a5344e","datavalue":{"value":{"amount":"+0.7564139366149902","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":"Q1372357$FC0A3452-2625-4BB3-8F83-806434AF0726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation and transfer results in modal logic -- a survey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulation_and_transfer_results_in_modal_logic_--_a_survey"}}}}}