{"entities":{"Q1272831":{"pageid":1283581,"ns":120,"title":"Item:Q1272831","lastrevid":70526934,"modified":"2026-04-13T15:14:23Z","type":"item","id":"Q1272831","labels":{"en":{"language":"en","value":"A Gabbay-rule free axiomatization of \\(T\\times W\\) validity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1228497"}},"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":"Q1272831$E049DE00-48A7-4265-81A6-B01D9DDDD26F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35c48782bf0f1cfd084199493abd568f3dd7ea83","datavalue":{"value":{"text":"A Gabbay-rule free axiomatization of \\(T\\times W\\) validity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272831$B24BE91A-EE46-45F0-96DE-92C7C2B5F46F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc040bab7e2ec27b023090e6800721b3fd23ce89","datavalue":{"value":"0920.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272831$0022CAFB-4E51-4393-BD19-8AF38ABA8C0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6974f1def772d07b34ea799837f36df6b6ade488","datavalue":{"value":"10.1023/A:1004284420809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272831$17589444-6847-43E2-8D8A-76CAC4E5F99A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d86dda610ec83d62d7791c5ccf7b986013c465e","datavalue":{"value":{"entity-type":"item","numeric-id":1272830,"id":"Q1272830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$1EF3DD3E-B1D1-48A9-B09B-E8A80151A4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceb85b48ec12d7f6a6d7ea0e4b9c87f925bd00af","datavalue":{"value":{"entity-type":"item","numeric-id":585185,"id":"Q585185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$60AE3F8E-B481-4B7B-BF1B-A464C3A9927B","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":"Q1272831$6F2E14D2-940E-49B6-91DA-A9ED5CB60E54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5130c74a15596fd3ed0f01aac43106f5d32fc17b","datavalue":{"value":{"time":"+1998-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272831$8D62CD60-9703-4C86-8140-838680433277","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272831$DF68713E-1882-46E6-BC73-FFD4B4A5510E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c766c4610cb91fb155ef607d2827524ee1c372aa","datavalue":{"value":"1228497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272831$BAF144E3-9EBF-4F04-8671-2397DF54510F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef02fa3b99d04d4ccbfe09e67aed437424dd191f","datavalue":{"value":"\\(T\\times W\\) frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272831$7567422C-A660-4366-8220-A602E98738DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70b11e6627fb22d65bb620b1beb073b990f624b9","datavalue":{"value":"cross-history simultaneity operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272831$E3C7F0F5-B242-4D4C-A837-3B9CD784EA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272831$388D6FA6-0013-42E0-9D31-5CB1583B6378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b233c887dd94ecd19186a7517f258ccb36e4432","datavalue":{"value":"branching-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272831$49E15C97-B29F-40E0-9176-C46BA714F6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272831$91A4812B-BAB3-4995-AC91-7F8CF9C77228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51509e76f0cbf51f3f81f1d6c9e43e222e436c0","datavalue":{"value":"synchronism among possibly incompatible histories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272831$D992A0ED-F07F-42EF-A8C5-71231DFE97CB","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":"Q1272831$D6318E90-1683-4DF1-A1ED-A5AC76266EB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ce5aa56258788dfb3777204e4d711600da6de7","datavalue":{"value":{"entity-type":"item","numeric-id":3856738,"id":"Q3856738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$6315DC1A-D585-4F22-8A01-02F17C38F135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b3e7554c5b9ad3a018588230332941dd1bfea0","datavalue":{"value":{"entity-type":"item","numeric-id":1207433,"id":"Q1207433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$48E05E7C-DA2D-49A8-A03E-6A67D9198B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22cae326ca6782a9a0cf6ea4636c52afcebb5ab","datavalue":{"value":{"entity-type":"item","numeric-id":4518428,"id":"Q4518428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$2612753A-2F92-4441-864A-744B882D8985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$B5F08A6A-9E57-4868-967A-04F4682D22F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8515414e75e094937d6e5df3b3292f9b8bcc8d2","datavalue":{"value":{"entity-type":"item","numeric-id":1310622,"id":"Q1310622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$86CDA02B-13AC-4586-8E8C-3F109D1FB279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65eccfbc8697df514c56fc0b5164f8796af3eea","datavalue":{"value":{"entity-type":"item","numeric-id":1362587,"id":"Q1362587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$FC163440-C0A8-489F-9E6B-5BED5547BC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$7DBB942F-9028-4C06-B895-21DA09A1B8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$A38758E8-7DE8-4510-B2DF-8324E97541CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4625a8b175c798b9b816252c4eb7b84249a3d851","datavalue":{"value":{"entity-type":"item","numeric-id":1066884,"id":"Q1066884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$1740450B-9B31-4A91-BBAD-E3A36FD25500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e4537b0757ba21c738936714d08bad554bee31","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272831$27D5CE35-5207-43DC-8771-A9FCF9AD0EA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bcd5e7624cd666b70d63408d5bd00add4854e04","datavalue":{"value":{"entity-type":"item","numeric-id":1362587,"id":"Q1362587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f08fd370d8948063959cd2af79728513c61b76c","datavalue":{"value":{"amount":"+0.7628858089447021","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":"Q1272831$87D8EDD1-0980-4EE0-BDD3-4EAF718DEE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d20900a630ddbacefa6789716c80c528b7a269","datavalue":{"value":{"entity-type":"item","numeric-id":1066884,"id":"Q1066884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af00f4fc5c19d906e80b2a51f90b1650e6ce7f67","datavalue":{"value":{"amount":"+0.7435328364372253","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":"Q1272831$0346E39D-098D-4340-9B65-6438A1F956F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff33e647c396314d924690dbbac22206b69df5a3","datavalue":{"value":{"entity-type":"item","numeric-id":3772182,"id":"Q3772182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb6f93bb9111ccb5454fd681bf8bb85095673d9","datavalue":{"value":{"amount":"+0.7261849045753479","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":"Q1272831$C7462A88-6167-4819-9623-E415B13FC65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b0f048830b5858cf7bd8523c2da2ba3917d7be","datavalue":{"value":{"entity-type":"item","numeric-id":2276945,"id":"Q2276945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171a6f7f6ebe27573bd47d8b2dc372fa9820ec86","datavalue":{"value":{"amount":"+0.7172480821609497","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":"Q1272831$E22D3327-294E-4A07-8350-9C0B98056A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4371b83fd6f817342e0f3bff17e817d9eaf038dc","datavalue":{"value":{"entity-type":"item","numeric-id":1288173,"id":"Q1288173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da87c054aeb8a12f7218c0a6b1297afc771bc309","datavalue":{"value":{"amount":"+0.7163360714912415","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":"Q1272831$15A74A66-93E2-437C-B14F-DE5805DAC806","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Gabbay-rule free axiomatization of \\(T\\times W\\) validity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Gabbay-rule_free_axiomatization_of_%5C(T%5Ctimes_W%5C)_validity"}}}}}