{"entities":{"Q5937807":{"pageid":8114609,"ns":120,"title":"Item:Q5937807","lastrevid":47641666,"modified":"2026-01-02T07:15:22Z","type":"item","id":"Q5937807","labels":{"en":{"language":"en","value":"A variant of Thomason's first-order logic CF based on situations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620802"}},"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":"Q5937807$70F69807-AA8E-49DE-9142-A8CB7D710A55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d6b199f4aa9753cf9d11c3e442bacad47f5481e","datavalue":{"value":{"text":"A variant of Thomason's first-order logic CF based on situations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937807$257E9E1C-E20B-407D-A129-071EED5934CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"444d846aff2c6ab46b1dec1c2b12b2ed3c624dfd","datavalue":{"value":"0967.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937807$42B71C1B-9F63-4390-84A9-A7865DBBB194","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$DF6DFB5D-149A-45DF-9DC6-4DEFCE5CDA74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937807$D2E161F5-C8EC-477A-8F8A-1C3D3818F35E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937807$5C886426-E294-4D4D-BFE4-1663538FB4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937807$3C47DC61-78FC-4A67-9C50-5F8FDCD9EFED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2ef4ed135f46b644785505eda9d05affe14dc21","datavalue":{"value":"1620802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937807$90CD9356-1D0A-4DBB-A92D-7F2F4D0B0FBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15cf84902c8eb275508495babce6785a0df6e3c0","datavalue":{"value":"first-order logic with strong negation and bounded static quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937807$947D68B1-63D2-4B3F-8E8F-7B567CF00FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937807$44FBBC3D-2EE7-4ECE-BD5A-5C898A4FE54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd20cb65bc143d483d2827f2400a38606d5bdd96","datavalue":{"value":"sound and complete axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937807$6C1F96A0-033F-4099-B250-8871460C9CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0933d8d79c2f051108903f1f66455b4ce538a859","datavalue":{"value":"fragment of a logic for situation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937807$611C9B9F-76C5-4315-AB58-33C9B56D43E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"672714df649f59907842e2a776f396e85559659c","datavalue":{"value":"infon logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937807$5948C9BD-0A7C-43FA-81DA-747599A2E661","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":"Q5937807$79713382-A273-44E8-A3A6-E7BA965D993D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81185fe891188428d7b32bf1d3d4ea131300db00","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039293021","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937807$D7F9FCB4-197D-45A8-9B96-C2595AD3DA9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2aa4284baba1c01e531fae3434c2e7d4d5e86fe","datavalue":{"value":"W1984651728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937807$608BC4CF-189B-45C2-8C11-9DE52532CCBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$0D386A7D-947F-4027-82DC-1927258D7802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738655c5e04ddb97a8badad3792e2c75c72bed3e","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$D9F6DCF6-399E-4531-BA4B-55DD5123C4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531b7197d7404b1d52bcc9b1d497b26ea2de228c","datavalue":{"value":{"entity-type":"item","numeric-id":1923136,"id":"Q1923136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$5A2B4CD5-3287-42CC-8564-F48D2DB40C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$E4FFACC5-EF6E-436B-98E4-E0EE664A4135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24dfb70f0ccfff3ed12532a7f66195876482ba","datavalue":{"value":{"entity-type":"item","numeric-id":3992554,"id":"Q3992554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$91849321-F66C-41EA-9DE9-61CFE2C26E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9002b11d3ce5a7f9f2de54d4d590fb5f5bed4366","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$2E6496DD-6AB3-4156-B7B2-936F99EC9673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517189ebeb1cc9884e1c2ddaba2f54a86ab4d405","datavalue":{"value":{"entity-type":"item","numeric-id":4951952,"id":"Q4951952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$E5EF496C-4C9C-4136-9C49-3B9B44CD4150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f000988fa170769c1376d6e16c8e429234f3d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4342084,"id":"Q4342084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$AF7634A4-C2D4-424C-88E7-372FE4DC8DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a3eed5c3aba65d71b71a3237daf2a24cb2deb9","datavalue":{"value":{"entity-type":"item","numeric-id":3999490,"id":"Q3999490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$2959194B-94BA-456D-AADF-A0DEF5055A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$436520E4-A14C-4634-8E82-2D5FB2A71F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$69E8012B-D29B-46A5-BDC5-2672887569FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$2E9395AF-A6E0-4F8C-935D-0672171B7993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$949FA7FB-AD56-4B46-BB81-1E9699CCA78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$534D8B05-1416-4B3E-9D01-D388B6DBEA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5632db167ef6c092078898c844446230d593bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5677463,"id":"Q5677463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$D469FA11-83BF-4090-B5A1-ACB7F983DB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$87BD8AB4-C4F2-4805-AEAA-B720AA8C47BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92106e7769c717dae7741849e4c7b9f1270a7321","datavalue":{"value":{"entity-type":"item","numeric-id":3257770,"id":"Q3257770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$45DFCCB3-4FA7-41D0-9469-733C7CED9F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fae066ab52947e678be762a4f273865d1c4958d","datavalue":{"value":{"entity-type":"item","numeric-id":1237778,"id":"Q1237778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$3FCCC754-67DF-43DA-9C66-10576EAE43A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$635E54A9-C7D1-49B7-A431-BDCDA1CBE44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5705a2bc71a85b7bb2d856c1cde9b4da8d7426","datavalue":{"value":{"entity-type":"item","numeric-id":4126323,"id":"Q4126323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$CF5CA8B2-E99A-48F6-94A8-61B74B775AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$0367EDC0-8740-4BB6-A2DD-8D3BD026D0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$80BEB8E0-B0EF-44B3-A5CA-CDBD5340BEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e17b3c0b42328891462fa84e03b0ace3632518d","datavalue":{"value":{"entity-type":"item","numeric-id":1918912,"id":"Q1918912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$0B33000E-1B79-4001-9E9C-DA2D70043D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c048ba9eda1ea036e5a67e736564f9a88964bf","datavalue":{"value":{"entity-type":"item","numeric-id":3988060,"id":"Q3988060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$58F10308-533E-45A9-99BF-361342224A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$C9E6B1A6-2EA2-424A-B17C-144A3445A8B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"390b72f1969af9dec3a6af05801cead5b6a1dabb","datavalue":{"value":"10.1305/NDJFL/1039293021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937807$7698DEAF-F002-4EF0-AB8A-5DB9FC324695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bf0d6ce5d46314d116ee278ae216cb9cd2ae55d","datavalue":{"value":{"entity-type":"item","numeric-id":689219,"id":"Q689219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$A54554C1-84D6-408D-AEA1-0F6EBA231E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f2ffe275212eb2c8213d78a89bf31fdb54b26da","datavalue":{"value":{"entity-type":"item","numeric-id":1201081,"id":"Q1201081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937807$3A359549-B326-4F54-B505-9960D71E957D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c864ac7b2e4c634e6e143b423a47a4ba464dd95","datavalue":{"value":{"entity-type":"item","numeric-id":5490623,"id":"Q5490623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa7da4dc340bbf5334b237d31989dbeaa19a15a","datavalue":{"value":{"amount":"+0.7370355725288391","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":"Q5937807$0D3A9A6F-45C9-4CFD-9D6C-D8D8DC44534F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64212ab7daf092d1b07c3ddb36ad26f98e7ff51d","datavalue":{"value":{"entity-type":"item","numeric-id":3360156,"id":"Q3360156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821672ab31961bc3b724120eab1dba2a8200e6d6","datavalue":{"value":{"amount":"+0.7038265466690063","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":"Q5937807$1E08AC1F-1B4C-4B9D-9626-4C2EE95095E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd90fda805691e636680605258ae7cede07fe80","datavalue":{"value":{"entity-type":"item","numeric-id":4925849,"id":"Q4925849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a13fe5b452a16ec2b18d8d2738bb22dc963e73","datavalue":{"value":{"amount":"+0.688152015209198","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":"Q5937807$7569E45B-242E-4F84-B395-794E706F29B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c39f0a505cabf03a93c55f1689c460bec6524cc","datavalue":{"value":{"entity-type":"item","numeric-id":3992554,"id":"Q3992554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e33eb5c6314709b1e770ed7b0cb39a4e0cae41a","datavalue":{"value":{"amount":"+0.6822589635848999","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":"Q5937807$BAC703A9-836C-4DDE-B9B2-09B37CD730E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8660990294c93e0ec23c979c613470e2a6f111","datavalue":{"value":{"entity-type":"item","numeric-id":1274556,"id":"Q1274556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d230151593b324e76a97a10ef87374072e4ff7","datavalue":{"value":{"amount":"+0.6821033358573914","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":"Q5937807$3FA50378-D2EC-4C6B-B326-66831E1E06FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5937807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5937807"}}}}}