{"entities":{"Q2904047":{"pageid":2914772,"ns":120,"title":"Item:Q2904047","lastrevid":42477048,"modified":"2025-06-28T13:36:10Z","type":"item","id":"Q2904047","labels":{"en":{"language":"en","value":"Nominal substitution at work with the global and converse modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063258"}},"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":"Q2904047$9490E37D-8FFD-47CB-81DB-5253FEF3BB95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f988d80885a1680186a0a1c39319c9cd9bf3ed77","datavalue":{"value":"1254.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904047$449FC81D-FE67-4F87-A909-4FC4CA355EBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2286efb444136e1100eb0b2f7ac6cc03053147b","datavalue":{"value":{"entity-type":"item","numeric-id":229750,"id":"Q229750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904047$DDA9926B-48B6-42B1-9292-A0E5C043AE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904047$A3037ECA-E5AC-42F1-9E5C-CCA9BC7FE08D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-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":"Q2904047$48C27B81-38F5-4E19-90A5-8520B4A05FD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904047$73FBABFA-2914-452A-93E0-774A0DC6B5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904047$E6287531-3573-4627-B008-4B6D49957133","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32203c46c290ee81b194c9445f9c5ab223defa4b","datavalue":{"value":"6063258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904047$FB400149-7952-4E44-9F0F-C6126496F87B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904047$001A1083-1E5D-4FF7-BD45-E2F40CCB64EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904047$F39BE7A7-F399-45B1-B9E3-BB69882B6C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6675ed5e4ecb484790166db7aba86bef24105cf5","datavalue":{"value":"tableaux calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904047$9588422B-089D-43F7-89B5-9563284658ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904047$54EB24DD-82FE-4FB0-8719-52576290C7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d3880991ea27921e7c9d530a822065e364b1b0","datavalue":{"value":"substitution rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904047$1ECA21A1-A145-4C7B-AA20-7FF3D6A41D67","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":"Q2904047$5AD17389-CFFE-40B1-9B27-905C3C6F5010","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f827dc610f515135534bdcca38ee9aad1b613ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4452540,"id":"Q4452540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3eed24e9c6c472b8ae1545aaf6d459e0b6e4b9","datavalue":{"value":{"amount":"+0.87136424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904047$8E46E08A-AFB9-4F4D-9E02-5566EFE95859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b3a0859c9420e02e8a0a6e308fa97b4023428a","datavalue":{"value":{"entity-type":"item","numeric-id":4793390,"id":"Q4793390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e285245bcc3b3c2b57eec5901378ba9170e043e4","datavalue":{"value":{"amount":"+0.8512108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904047$A78D4637-E694-4F7F-9380-7A8976CE0A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44359e1fd6fffa23ef99da00bec9c6ce0cbbf4b","datavalue":{"value":{"entity-type":"item","numeric-id":5211025,"id":"Q5211025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d28a6d5bbfff8b06126b1759997297afd2987e1","datavalue":{"value":{"amount":"+0.84996176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904047$82B82F86-8FBB-479E-B1AF-A4DDFC30650C","rank":"normal"},{"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":"148b0a931598ccb81fce52ef7069078d2d653399","datavalue":{"value":{"amount":"+0.84184647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904047$199F49EA-EAE8-41CB-9AC0-E00D532A87E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e360042de6a848d82fbe36105e6a6bc03ff4f68","datavalue":{"value":{"entity-type":"item","numeric-id":4318161,"id":"Q4318161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e287b171564ab78b58a2423f0351e01ffa7245","datavalue":{"value":{"amount":"+0.8348616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904047$22ACC862-2D57-49FC-B5B6-94A002EDC47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfe7d2711c64978eae599df3f10510ecb29a234","datavalue":{"value":{"entity-type":"item","numeric-id":3617031,"id":"Q3617031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02e1ec68404240a3b84db39ddca4237890c6b57","datavalue":{"value":{"amount":"+0.82033867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904047$248035A8-F726-48FD-A10D-8C909592F4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174d0fb3233532846fcc33e19001ccd5399b9093","datavalue":{"value":{"amount":"+0.8167238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904047$EC4408DA-6263-423A-81AC-6359A506FDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47a0f614fc2e62a287d629feffe0d12cb1fbf7f","datavalue":{"value":{"entity-type":"item","numeric-id":4856963,"id":"Q4856963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8101be4277e123c0841e0196795a164b1d478015","datavalue":{"value":{"amount":"+0.814367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904047$6864060B-A256-4E61-9315-0EFFB4FDA813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee00179d1477704645c56d4e974b5cd4bb33452","datavalue":{"value":{"entity-type":"item","numeric-id":5217248,"id":"Q5217248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a5493f07a49ab58b8779ba74fafcc07766d488","datavalue":{"value":{"amount":"+0.81055206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904047$FBABDD2B-71FA-407E-8EE0-4D147DE0E313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa841709fb57f912f9e6638b3a0435ff000cc45","datavalue":{"value":{"entity-type":"item","numeric-id":965898,"id":"Q965898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50279b1049712bbf2ce3af835b433b45e2419a7a","datavalue":{"value":{"amount":"+0.810238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904047$2777EB54-7289-4A2B-B001-FD47EE3761D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58aa7d27f35ef23d04cb6eed15e285bfb36d06c2","datavalue":{"value":{"text":"Nominal substitution at work with the global and converse modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904047$EF59C573-CF70-42C3-925B-C517BD799103","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904047"}}}}}