{"entities":{"Q2454876":{"pageid":2465619,"ns":120,"title":"Item:Q2454876","lastrevid":50188838,"modified":"2026-01-13T11:12:57Z","type":"item","id":"Q2454876","labels":{"en":{"language":"en","value":"A two dimensional tense-modal sortal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5202417"}},"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":"Q2454876$5622089F-2D60-4A03-B178-5EBD5227D7B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e1d7a3041dba959540c43a1658cfa4fee4daf2b","datavalue":{"value":{"text":"A two dimensional tense-modal sortal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2454876$F2BC8ECF-A972-460E-9A35-16371086DCA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75ce82adb1ea66400309962d265afaf98d1edd64","datavalue":{"value":"1126.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454876$0792ED64-A902-493A-8ABF-AC25FDCD1C42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1f077132f1071112466af503c7bd0066d0fc492","datavalue":{"value":{"entity-type":"item","numeric-id":238920,"id":"Q238920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$DB81866F-5879-4290-ADBE-64BB56BFE1BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$8AC4A46D-71A6-49DC-B66C-87220AED0A2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d51bff7266eb0f39f18b2fdc3f96cb8c3e56c83c","datavalue":{"value":{"time":"+2007-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2454876$E1420FC9-63E1-459D-9191-16328EF488B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d4608bc2b39bde067cb50d80f4220ac966d0f23","datavalue":{"value":"This paper consists of five parts. After some introductory remarks, in Section 2 outlines of conceptual realism are sketched. These remarks are intended to motivate the semantical definition in Section 3 of a two-dimensional modal and temporal predicate logic with relative (sortal) identity, first-order sortal quantification, and second-order quantification over sorts. In Section 4 an axiom system for the language under con\\-sideration is presented. The main part of the paper, Section 5, then consists of proofs of soundness and completeness with respect to the semantics of Section 3.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454876$8F91D500-1663-45F0-842C-55F3E99BE9CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454876$F687A7AA-6027-4A75-8043-B55108588CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454876$31C4ED60-999B-48B1-8914-2C08CD3C4552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454876$AC660CB1-1DC4-4E6A-8E25-0A4538958AEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70d41823cd08b67937eefc01a4a8336500437278","datavalue":{"value":"5202417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454876$4036ADC2-EA9D-489A-9DA4-02DE8676FDBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"521eab52ae3f214b75986ac4567e2b305b3b0f30","datavalue":{"value":"sortal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454876$32172F40-E3AC-4E04-9BE1-79CDA9759299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f938d04338c98d5712ea00a0fd831beeadb522b1","datavalue":{"value":"second-order monadic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454876$7D7D8697-AC95-4480-9A6A-09EB30581418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454876$38E7BDF2-57D0-4735-B7A2-DEE0E5192319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454876$3A8C1B3C-3BC3-478D-A0F9-3EE9E0DFBF75","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ac137399d9f2a1340fb827cf9bcada44aa811f7","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$A778B0D8-5D98-4751-B109-569DC7983B56","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":"Q2454876$F6130CDE-75C8-446F-9144-2D3CD9B3E11E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40f8bcfacbd4f47871e6ce04c585abb8d3473d2f","datavalue":{"value":"https://doi.org/10.1007/s10992-007-9050-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2454876$61E8834E-D807-491E-840A-1B61142DD282","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb0e9b86cbc362f3ee4108cedd0e0a4fcd7ccc99","datavalue":{"value":"W2163927396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454876$36E0EE69-D345-491C-9666-39F0EECF6DF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3538e7e4999f4c190835fe5f38ad33a923aa32","datavalue":{"value":{"entity-type":"item","numeric-id":4170698,"id":"Q4170698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$9C2470FA-4566-41FE-AC61-582BDC77847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc21615f870ce817966487e4270fb67f96746e2","datavalue":{"value":{"entity-type":"item","numeric-id":4342098,"id":"Q4342098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$CBFF3C9E-C919-403E-98DC-9A8AB525A395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be141bc59ccbc9b087b4110f420b2b75bb8ba704","datavalue":{"value":{"entity-type":"item","numeric-id":4722029,"id":"Q4722029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$B9DC23F4-FFF4-4404-B4AC-823110D7225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73cc26e913c1cd4fbc814250843d2f9875733952","datavalue":{"value":{"entity-type":"item","numeric-id":5959761,"id":"Q5959761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$F9AE4130-04EF-41CC-B298-96E52ED5DFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2365131041f950fc3984ae484fc375de8b339206","datavalue":{"value":{"entity-type":"item","numeric-id":1876083,"id":"Q1876083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$9494A877-D8C1-4894-A8EC-5E45F5D11AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$E95A5D9C-6BBD-479B-888D-D6DA3439DE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad7fc4826c7c7ae3e6c717f5c39d400c401d104c","datavalue":{"value":{"entity-type":"item","numeric-id":4497721,"id":"Q4497721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$3F9BFD02-EB2D-45F1-A9A4-A3D30D094232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29cd75591f75d706367298dc5b436665a4ae46b","datavalue":{"value":{"entity-type":"item","numeric-id":1303794,"id":"Q1303794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454876$318C8BFA-6EB0-40C2-8E1B-8C70594CBC2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad19d896957b715a8aa715dd603559bcc78d75c0","datavalue":{"value":"10.1007/S10992-007-9050-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454876$E6CE18E7-6610-4FD4-A146-AE120F8F2558","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55900647b8ce04bfdaafbd72aa88ed4bd765d2c9","datavalue":{"value":{"entity-type":"item","numeric-id":5959761,"id":"Q5959761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76e180dc138f5edb1900a89a5fe6defc979df18","datavalue":{"value":{"amount":"+0.874334990978241","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":"Q2454876$0921D5A8-E905-4CB4-8D78-956CCCD6047D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd114187318d24f67c8f2b31c8bdfda541a22cb","datavalue":{"value":{"entity-type":"item","numeric-id":1876083,"id":"Q1876083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261ac82fbdb34bb2d088374790f0e6e302b14625","datavalue":{"value":{"amount":"+0.8528562784194946","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":"Q2454876$5245CEF8-55A8-4700-8BDB-B23A30C5B1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c7a7751b444c96112bdb712d0aa776a510da9a","datavalue":{"value":{"entity-type":"item","numeric-id":3466627,"id":"Q3466627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a947976ea8aeca16bb58666ebd8e21dce0bc11","datavalue":{"value":{"amount":"+0.8449862599372864","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":"Q2454876$A2F77FC1-0217-4A0D-9AC8-CFC74A6DBCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693207e5ac7355657b0442ac87030a9239440700","datavalue":{"value":{"entity-type":"item","numeric-id":1591344,"id":"Q1591344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aeb8485c45ba455def0ffa6a541675412dce760","datavalue":{"value":{"amount":"+0.7793413996696472","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":"Q2454876$55649383-C7DB-4E78-B018-2D82BCE2A451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"342deff2648c97580bb7b486c3b3c7867ec812fa","datavalue":{"value":{"entity-type":"item","numeric-id":3695255,"id":"Q3695255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ceb1311e1f729b6b9b1533032e82e02e2d7991","datavalue":{"value":{"amount":"+0.756228506565094","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":"Q2454876$60268AE7-56CC-4D21-8CB6-BBEA92430DD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2454876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2454876"}}}}}