{"entities":{"Q3724299":{"pageid":5754205,"ns":120,"title":"Item:Q3724299","lastrevid":50734562,"modified":"2026-01-14T23:45:55Z","type":"item","id":"Q3724299","labels":{"en":{"language":"en","value":"Linear reasoning in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954873"}},"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":"Q3724299$5BFECBEF-A64F-4CFC-87CE-815B7EC09F57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa2d93ddc4032fd99c51ecaea653bcd5e0c0ae5f","datavalue":{"value":{"text":"Linear reasoning in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3724299$E09E5988-D35C-477F-BB71-895AA8C8018E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c882857093149c390f4c80fc260bc6ba5d80e618","datavalue":{"value":"0594.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724299$DEFB6933-B554-4619-9FAC-301F4907043F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92b5852a9c23fc57b046ed2e8aa4dde3951c7852","datavalue":{"value":"10.2307/2274285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724299$384BD49A-71DB-4F8D-A2B7-A99152D28076","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724299$158F468B-FED1-4F0F-A132-FC2D2189B22C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724299$7CB1EB80-0F65-4AC2-BE0D-26C306D4082B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3724299$D00DC74A-5B5B-4D98-A5DE-D1AA3EBD0AC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f444266e0eb3cc3dde3ca995b36eaf5c0807dfb","datavalue":{"value":"https://semanticscholar.org/paper/37d547e7bfe21d8da0d311979c9aa48357a2eb60","type":"string"},"datatype":"url"},"type":"statement","id":"Q3724299$AB27E667-36BB-4296-83C4-46AFD331F4F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724299$0A44FF25-6AC4-4FCF-866A-58671E8B1457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724299$DC95BA10-2356-471B-A1CB-7E9FDB60E04F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e56ef2256e2f8a9f964bf20abaaea6c31b9df3a6","datavalue":{"value":"3954873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724299$E2581C9C-6FAC-4F68-9408-029034D317B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724299$7BAC72B7-F90F-4DCE-8A4E-00355292B73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724299$A6B3B1C8-DBFE-44E4-BAD1-B06EA88D072E","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":"Q3724299$88553352-B247-4B59-9065-B8CC0AA3DF4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44fc6a77389ba7eec309cb444a53b7b67f62980d","datavalue":{"value":"W2124243186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724299$5CDA6C0A-E162-4E55-B830-762A1FBBD4A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724299$89D131B4-9DF3-4EF0-BD4A-22943F9E0217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724299$3799F7AF-1E86-44C8-B828-470639D65623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724299$68C4EB01-E7AC-4DBE-8AFD-53A843BF624D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724299$1EA952D1-3012-4909-9786-8023C5FD94C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033624a7007e7f19014ffd926803b277854e28c1","datavalue":{"value":{"entity-type":"item","numeric-id":5729293,"id":"Q5729293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724299$DE919E25-60A6-4119-8653-9491456C6CB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d06c8db1e40f7eaea9591f257fd20af960d9d1","datavalue":{"value":{"entity-type":"item","numeric-id":3784046,"id":"Q3784046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf039055d135efccadc8e28496d9bafe16605af","datavalue":{"value":{"amount":"+0.8179745078086853","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":"Q3724299$E6ACC633-61CB-4E6E-934C-F5800FC26DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c27305000bea7ba6c5da6ca84e621a2e970a46e","datavalue":{"value":{"entity-type":"item","numeric-id":3768872,"id":"Q3768872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b449474adb6761a2a392d4b596eb2ce65eefed7f","datavalue":{"value":{"amount":"+0.79623943567276","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":"Q3724299$63629E9A-90E5-4808-A6D1-D4662B4FE003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47bec7424a5abac0ca736c8300da50481dcbc4af","datavalue":{"value":{"entity-type":"item","numeric-id":5184887,"id":"Q5184887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bcbe9e0c1cffded293bfe7d97c43aba5191c1c","datavalue":{"value":{"amount":"+0.7831472158432007","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":"Q3724299$E2B0F9BA-C256-44D8-9284-C4CDB5DD4F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2ccd60c5e23f000baf6e4682c97670f7decdb0","datavalue":{"value":{"entity-type":"item","numeric-id":3331199,"id":"Q3331199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9add28e1a5033df0d7297a52ea12a013ab3b8b","datavalue":{"value":{"amount":"+0.7761996984481812","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":"Q3724299$5F615E92-4107-4439-A1C1-87B9C3D8C73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539e23ec5166ab3b7fc08770c8ddc5f14fcca256","datavalue":{"value":{"entity-type":"item","numeric-id":3358708,"id":"Q3358708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29de4b07ed94b47b8eb1cd9f60bf506cf74ce0d","datavalue":{"value":{"amount":"+0.7751632928848267","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":"Q3724299$99748FFA-EB5C-43E7-8A84-E9B169AE3824","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3724299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3724299"}}}}}