{"entities":{"Q2947894":{"pageid":2958614,"ns":120,"title":"Item:Q2947894","lastrevid":52353908,"modified":"2026-01-22T10:42:37Z","type":"item","id":"Q2947894","labels":{"en":{"language":"en","value":"Reasoning with global assumptions in arithmetic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6486820"}},"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":"Q2947894$C1F5E938-6309-4CA1-B492-B5AFA21D39CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5e7ba6193a71e1254345e499095b94763e12f0e","datavalue":{"value":{"text":"Reasoning with Global Assumptions in Arithmetic Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947894$57C878C3-D168-43CF-B6F3-C65CC6E37DFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cf430c7a02a141ef46d3b32d2a3ced4c55ce52a","datavalue":{"value":"1436.03136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947894$CFB668D9-6B20-421D-AC25-7B6DAE23E8AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"beebdbf2a4e53aee55558f886dab987c2f92f2ba","datavalue":{"value":"10.1007/978-3-319-22177-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947894$40B0CCD9-7F43-4C64-8F4C-1C249645BBC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$379C16BA-3367-4E82-A812-70A679FA3A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$B0742573-1126-453A-B1C1-A2BD25C68412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$6C447210-4029-446F-B40E-F2F2892C5DBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f933ea207a65c750dcb31f616ab3a85677a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2842766,"id":"Q2842766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$22EEF774-D020-427F-821C-E90EFF30066D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecd5184120b252fc4fbf5faa8556e203e05835e2","datavalue":{"value":{"time":"+2015-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947894$4E7E523E-DAEF-4826-BB01-F689608C250F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a8f3bca5377332b4605b7522cb1c7ee20ea329d","datavalue":{"value":"https://strathprints.strath.ac.uk/54523/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947894$0B329055-4032-4401-9742-AF138FBBD6B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947894$8F14DFAD-DE87-4B27-B4F1-F87481B1534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947894$4AC00A6D-E025-4C44-8E7B-852ACD6A18C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"631a770a66b2da3a29e19a0efd4f0dcc0e0b53d7","datavalue":{"value":"6486820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947894$609D6F91-1C3F-4B42-9905-086AB3C89081","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":"Q2947894$1A8E742C-2831-434E-B678-E3E7CAB49079","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"230affa6b6212b79621088136d1ffc02db63bb23","datavalue":{"value":"W2207337225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947894$1830D8D9-0FFB-41C3-BC63-E16CAE444332","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$276E74D0-75D1-499E-8B64-F0400909E453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440a350c96b0ba6c90d200bf5d05d99fc766fac0","datavalue":{"value":{"entity-type":"item","numeric-id":1407541,"id":"Q1407541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$4DA90E6F-4F99-4AC4-B7AF-A22479AA5583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2ea493cd34a03987220cc25dc5650028bb979c","datavalue":{"value":{"entity-type":"item","numeric-id":3613433,"id":"Q3613433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$BAE01DC6-B8E0-43B7-9A3C-3B43D3EE0A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95476e9979912a43de064ff1992e45b3ccac7ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2638188,"id":"Q2638188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$9C8CD966-5C20-43AD-B934-6DFD77FECFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5262823b0f5f002719e39075b00d039bff7e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":2480055,"id":"Q2480055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$2D057FA6-626C-4A16-AE8F-5BC353B1EF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ccb8c473705ab65c67365e1ffd8f1348f3c686","datavalue":{"value":{"entity-type":"item","numeric-id":4942680,"id":"Q4942680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$03C73377-59D8-4D58-B796-1C40AFC8DD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4940a5c8bacffcc4a0546f4ddcaab1553ab5cce","datavalue":{"value":{"entity-type":"item","numeric-id":4299011,"id":"Q4299011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$C2A490CB-4E07-4F3C-BBC8-4A469E08043B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$B2A163DD-5982-487B-AF1A-8C0AD623235A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add9119b5d5b905244f270410e2062630c92f205","datavalue":{"value":{"entity-type":"item","numeric-id":2542272,"id":"Q2542272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$A62EB17E-EA81-452A-8784-ED572B5D30BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$B6BE79D0-6A8D-402C-A9CA-FA3FC2AE5BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e1428d7aafa3cdc1d8ccd0765546c41a6adfa0","datavalue":{"value":{"entity-type":"item","numeric-id":3557073,"id":"Q3557073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$5885B64E-0E9E-43AD-AAAC-5BACECDEA589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d71c210a6bdada3134ea1f7d266d1bc5fbfa6d","datavalue":{"value":{"entity-type":"item","numeric-id":352943,"id":"Q352943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$BB923E9C-5C1F-45F6-A3B6-2ABB9EC49FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b88ed8cad5eb30094ae40af147a6a6d343225fb","datavalue":{"value":{"entity-type":"item","numeric-id":3541710,"id":"Q3541710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$A01EC676-E279-453B-B18F-565D19B74929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5944af26ee3b4bfdaa06cea7dcc79aa4a0536c29","datavalue":{"value":{"entity-type":"item","numeric-id":5938620,"id":"Q5938620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$1FE7AB30-5777-4C74-B588-81170D2E597B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25193b6710c306783691d70b01f842e6c0e1412","datavalue":{"value":{"entity-type":"item","numeric-id":2904057,"id":"Q2904057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$95AD3E17-B643-4549-85A5-3900553767A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$C40FE6C2-F08B-4413-9D97-688B804FD966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93970932bd7f6d4c83da854c59f14484a5035e8f","datavalue":{"value":{"entity-type":"item","numeric-id":3617726,"id":"Q3617726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$6F7AF1BD-CF02-46A3-9208-6E7BD69EB780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$A7DD6B83-FE67-4D69-B646-0AB91E4F0799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5602a712555e3999df12c4260f8589c5a167f0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$B1BC8E69-CB5D-4F25-AA8D-4495ABE2E269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50717835f7f6961b0d32328866377521644caf81","datavalue":{"value":{"entity-type":"item","numeric-id":2946571,"id":"Q2946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$B195B73D-0CB0-4C41-AE72-C130FA4230A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9959cd8e67cfdb06aaa159914fd6e32623fe777c","datavalue":{"value":{"entity-type":"item","numeric-id":3005988,"id":"Q3005988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$A6152C5A-3F3A-48B1-9D74-DA55170B9C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac7edbb9a8bc5dbb13b1b5a27b5c86f49c39c1a9","datavalue":{"value":{"entity-type":"item","numeric-id":3086934,"id":"Q3086934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947894$9374B215-B381-4A7B-94E0-6C09ABD0FBC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed96895cd561f545884e58200ba473467c1b057","datavalue":{"value":{"entity-type":"item","numeric-id":5034233,"id":"Q5034233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228a9f6f9a3792f44e300cb31c14c45335f8d70a","datavalue":{"value":{"amount":"+0.9630979895591736","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":"Q2947894$3609F2B6-D430-4AA9-A1AF-7FFC57DA5E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382400d65866ee7a0a0f26985c34ad219f3a7c70","datavalue":{"value":{"entity-type":"item","numeric-id":3557073,"id":"Q3557073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b3b07ca3d942852b6e789b67e5bbf38db1176f","datavalue":{"value":{"amount":"+0.7684718370437622","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":"Q2947894$EAEB83DB-5621-4DF1-8CDF-D78A08C4ACD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c390e4661bb3e32531209a939729c88094487d4","datavalue":{"value":{"entity-type":"item","numeric-id":5747750,"id":"Q5747750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab5e661fb864d842c02d9a801b154d23cc252e4","datavalue":{"value":{"amount":"+0.7450156807899475","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":"Q2947894$8771CFA8-B049-4CEF-BE11-7605AA3B2C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d609e65887b7053b35b9290279e088851bd4cae5","datavalue":{"value":{"entity-type":"item","numeric-id":2904057,"id":"Q2904057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95041da1091863a05d240d28505efe1c30cb4eff","datavalue":{"value":{"amount":"+0.7290579080581665","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":"Q2947894$30B3E429-7866-4BC3-A7BE-0EA2B50D87F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d70cdf3b30682ecb96981f028c2d601095f47f7","datavalue":{"value":{"entity-type":"item","numeric-id":3613433,"id":"Q3613433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace0a9588c66ae1d8271bff1221e441b504ea9b1","datavalue":{"value":{"amount":"+0.7169421911239624","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":"Q2947894$055107BC-5DCE-4473-A197-FD18FD111FC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947894"}}}}}