{"entities":{"Q1090673":{"pageid":1101425,"ns":120,"title":"Item:Q1090673","lastrevid":66430875,"modified":"2026-04-12T10:02:14Z","type":"item","id":"Q1090673","labels":{"en":{"language":"en","value":"Concerning the semantic consequence relation in first-order temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4008365"}},"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":"Q1090673$30689592-5266-4267-A71D-4FC5FEFCDBE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1359b38c16db1527f97f7a3e63605dcd893702c","datavalue":{"value":{"text":"Concerning the semantic consequence relation in first-order temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090673$D5A41088-8B38-437C-B85B-60129A91CEB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28dad5df4a629c655c28d8e6d8c77cb137fd9d97","datavalue":{"value":"0622.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090673$323C1E29-F6D8-4C66-B24A-88BF441EE489","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec551548c9e0ac675b018678cb02bd7f24f9ba1d","datavalue":{"value":"10.1016/0304-3975(86)90157-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090673$140DAD29-EF55-4989-B64A-EBBAC943932A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090673$D882583A-A747-4CD4-AAD8-0B1CC60EA347","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1090673$1F47AA05-E119-469E-9035-CE3CFEA04336","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0082d398beef075530a87902621f936ae27f2b8b","datavalue":{"value":"The author considers first-order temporal logics for linear and discrete times. His main result is that these logics are of no finitistic and complete axiomatization as long as the language is sufficiently rich. A similar result can be found in a paper of \\textit{M. Abadi} and \\textit{Z. Manna} [Lect. Notes Comput. Sci. 193, 1-15 (1985; Zbl 0567.03004)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090673$F93BE3F5-95C7-40C1-A9FC-06C0EF066484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090673$1E99F0DF-5F99-4AD1-83D3-C118537707C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090673$CA2AC41A-72FD-45F5-8FC9-B5A2D2D83570","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3409ea4136478b2bfc64844053589556057a4f86","datavalue":{"value":"4008365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090673$4426389A-A42E-47DE-A16F-AD58C01A75BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090673$25E04E6C-11CF-4510-8656-40BB84C088E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2cfc5887b46f7898a4b5f2d08ba2d8f6a79fdb","datavalue":{"value":"discrete time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090673$C30EED6F-8F73-4ECD-8026-37BDEA1F4CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090673$B335FEEE-9BB1-4FDE-945C-0751B569F3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93be55146f0971f10ec402bc6e1743eaa50d2ac6","datavalue":{"value":"semantic consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090673$D441011B-E00A-40F1-9C77-02BDDF1A737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090673$A45EBE99-4EC2-45FC-B73D-CB902275E7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090673$34E82508-8FE9-4061-BBF8-9347CEDB3B2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090673$C54444C3-EC5B-4384-B2EC-077CEA5ACA8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090673$47F71604-9D42-40AA-AA42-3C76527BA820","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":"Q1090673$E08D6440-86A7-4942-BCFD-D366F27916E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8604220f0faeddc925050a4b84461fa4317e71f4","datavalue":{"value":{"entity-type":"item","numeric-id":3682464,"id":"Q3682464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090673$B5649DDE-CDDC-424A-BECA-47CDF75F232C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c73db8b3c2a0a30e7c3eaaca382d1ea005a940","datavalue":{"value":{"entity-type":"item","numeric-id":3677141,"id":"Q3677141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090673$951297C5-639F-45F3-8E44-51BA7E7C1732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b4c95f53b57f2eb31607a9241c4b370cdcd831","datavalue":{"value":{"entity-type":"item","numeric-id":3939208,"id":"Q3939208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090673$141E1BEB-AA29-4C4D-8C13-6BA12711B163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9456d9b3e59e143f5e55b694b92114428f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090673$8C4CE701-574C-4DE1-8FC4-7B9A75CA68EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4830157769fb9d0d21da283fbc1d9159a8920f6","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90157-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090673$A7E39B52-69BA-439D-926E-787BD5D8B8EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82b71f8e2a735b2d6f89938a71aed74b7c7b91bc","datavalue":{"value":"W2031440740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090673$E66315A4-4E11-4CCD-8DA3-2EF43EB96FB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6aca9a5039fba5f216bd8e6614355e9eea4c82","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23aeec3dc1ae9c297a3aa96ee61c5907ada3223f","datavalue":{"value":{"amount":"+0.8358518481254578","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":"Q1090673$2102B5DD-2E16-4EC8-B8C5-07D032AA7336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f99d9245cfcbdf2c1764188bde5f5ead0d0eb7","datavalue":{"value":{"entity-type":"item","numeric-id":1350524,"id":"Q1350524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535eec3ddd7160bfcdcce8dedaeb2a9213d6010c","datavalue":{"value":{"amount":"+0.8354326486587524","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":"Q1090673$229CACB1-C06E-4213-A747-9CAE635C354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081bd63286da1909b7245ea381f5077097f31ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c77e4b92e776cf1860c91ce4120cfd63f7d1e96","datavalue":{"value":{"amount":"+0.8315199017524719","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":"Q1090673$6B8AD591-CA22-4ECE-85F2-557843868197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ba7597552f4d235072d5a833cc94413be77496","datavalue":{"value":{"entity-type":"item","numeric-id":1101100,"id":"Q1101100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0640c5a3683ee83ef55e50e921295a4186129fd0","datavalue":{"value":{"amount":"+0.8024729490280151","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":"Q1090673$A5DEEDF6-237F-406A-BC91-F194E4792337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf473c9db566695247ab3f0587faa9d503c8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f173b127ce984b9b04d6d483e20182309d44719","datavalue":{"value":{"amount":"+0.7983084321022034","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":"Q1090673$1F74DBB9-1250-46F8-90AD-7AA621DD4644","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concerning the semantic consequence relation in first-order temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concerning_the_semantic_consequence_relation_in_first-order_temporal_logic"}}}}}