{"entities":{"Q915718":{"pageid":917566,"ns":120,"title":"Item:Q915718","lastrevid":65350953,"modified":"2026-04-12T01:59:21Z","type":"item","id":"Q915718","labels":{"en":{"language":"en","value":"On the interpretability of arithmetic in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152341"}},"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":"Q915718$93D38392-DCDB-4749-919C-602CB449DE9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7c467cd246c802bba8223d1588018dda9eb4811","datavalue":{"value":{"text":"On the interpretability of arithmetic in temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915718$FCDA76E9-DC24-450B-AC5D-28BD9FD85108","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b67fb3ccacf4a11df4a89135194ac25486b890","datavalue":{"value":"0703.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915718$A63D57E1-C712-4155-9E4D-B06F25862414","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94063e4de481bb1cd27690804bedde95890e0cc1","datavalue":{"value":"10.1016/0304-3975(90)90161-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915718$21F3BF3D-4EC2-45FF-9C58-9408250301C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29295b78062d89208beb4b3a7a6a8caf799d0531","datavalue":{"value":{"entity-type":"item","numeric-id":915717,"id":"Q915717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915718$453F2E71-8FE4-4AA6-A901-B42F33989016","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":"Q915718$920BEC5B-437B-4829-8CA7-5650A7E15DE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q915718$9D52F314-899A-43B3-927C-435D23775FB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8c41d6e737467fb6546f3d990ae45a96c337857","datavalue":{"value":"In this paper techniques of extending first-order temporal theories by definitions of new function symbols are developed after the manner of classical first-order logic. These techniques have enabled the author to interpret classical first-order theories, including arithmetic in particular, in a temporal one. The results of \\textit{A. Szalas} [Theor. Comput. Sci. 47, 329-334 (1986; Zbl 0622.03012)] are strengthened as follows:    There is no sound and complete finitistic axiomatization of first-order temporal logic with equality (with \\(\\bigcirc\\) and \\(\\square)\\) in each of the following two cases: (a) The language allows quantification only over global variables and contains at least two binary function symbols. (b) The language allows quantification over global and local variables and has an arbitrary (particularly empty) signature.","type":"string"},"datatype":"string"},"type":"statement","id":"Q915718$DA34CE22-919B-4184-A8EB-54194DB22432","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915718$C2A3CB52-DA0D-4658-913D-A2F3352747BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915718$C248DAB4-D228-4225-8F09-AAE46F91EE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915718$28D402DA-0831-4493-B595-F9E5554674A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"240b6c7169407ca11664f293a3f756b65ac3d749","datavalue":{"value":"4152341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915718$D5CE9A3A-EEAF-41BE-AAE5-93CE169F6E85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cd4b197d65061a9714b96f8a646f3717c057157","datavalue":{"value":"extending first-order temporal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q915718$DEC3A38F-949E-408B-8DD7-E154B51E61C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q915718$BD61ED5E-6B54-4EC4-911D-CEC30E39E36A","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":"Q915718$529B31F7-3BB3-4E94-8480-82CAC9B6F8F1","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":"Q915718$F7796F2D-C40E-4FA4-8B1C-9D50B5FF78F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915718$48577E53-49F4-4005-9A8B-166CCAE431F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915718$6249E0C5-97EF-45CA-91D4-6DD7BB7EA5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20badd249e83a83b42df65d534c90a8a5e715cec","datavalue":{"value":{"entity-type":"item","numeric-id":3785898,"id":"Q3785898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915718$67925F39-44D1-48A6-B758-855ACEB7C963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915718$DF503E69-ABCE-4FC0-B3D7-C947AB9432BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915718$D4E33588-3BE9-453C-B88D-055EF2511D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa7c2a801938246bc5b9c35ae533855c08aea3","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915718$BA7CCBDC-ED15-4F2E-8757-F7ED8E8BBD3C","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":"Q915718$7EE02953-4D70-45BB-AA47-9A474F8E147D","rank":"normal"}],"P1643":[{"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":"405204df22e0dff82fe83ff2e7fffb6d275ceb2f","datavalue":{"value":{"amount":"+0.91664374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915718$D363EE74-3BCC-4581-B6B9-3EFDC26C5808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c6d13aa064c7837313912929ff517e42f36f45","datavalue":{"value":{"entity-type":"item","numeric-id":3337454,"id":"Q3337454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f289196852bc1d5b87dd97573a28d642dff639d","datavalue":{"value":{"amount":"+0.91281915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915718$A32FFFDF-0B6C-4C63-8BEC-3FDB1BFF464A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a618978de43dd5bdb8d7dcee52b55763a730591","datavalue":{"value":{"entity-type":"item","numeric-id":689212,"id":"Q689212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5371ac4ff7ef4e9d0d057a11fe28768fb4e36f03","datavalue":{"value":{"amount":"+0.9008314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915718$D88C1488-D664-46FA-8524-C2C9B0EF76D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b02fc15a62bafa14b0b36824e7388f205c26ff9","datavalue":{"value":{"entity-type":"item","numeric-id":944387,"id":"Q944387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda816584219c9e69e5d0bff49dccab35d204e86","datavalue":{"value":{"amount":"+0.8996892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915718$5C8310DE-AB2C-4AFB-8E7E-363D12F3F6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61748321335b9d0a06b81e76f9948d3053f2c78a","datavalue":{"value":{"entity-type":"item","numeric-id":5104700,"id":"Q5104700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c743ce2a97a97e4e3e5457b357215d794e0fb2e1","datavalue":{"value":{"amount":"+0.8993372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915718$FD202D76-5B4B-4705-A00C-C78F673AEFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3856f2d93ddc264da26bb60c678fe35a045c32c9","datavalue":{"value":{"entity-type":"item","numeric-id":688859,"id":"Q688859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab37fbde97b040ebdb1793082a3e31ba1d7c632","datavalue":{"value":{"amount":"+0.8957375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915718$64162169-7D8B-45E3-9F41-6434E759F42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74b096b14add1551489d93cf2e4fdcb78b5a654","datavalue":{"value":{"amount":"+0.89313304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915718$78026442-DF0E-4CDD-A78A-700DB4B5D14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33d09c814e04cb802ca98b66c2aa9a226c3bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5902190,"id":"Q5902190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0930c6bbac34ff0cd86a4a2c6cd6be560117dd","datavalue":{"value":{"amount":"+0.8874918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915718$24C3AC15-D0C4-4BCC-B819-8769E60B2C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff2fa52f544dffe4627d58a6885a6b6dfba98c7","datavalue":{"value":{"entity-type":"item","numeric-id":5111181,"id":"Q5111181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c4fcebf5e1deefc1c5d784899d84533eb54da0c","datavalue":{"value":{"amount":"+0.8869422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915718$D466F2CA-980A-4765-BD0C-30E518945A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72211653300131d81cff354d1410fa3cdbd7ded0","datavalue":{"value":{"entity-type":"item","numeric-id":3726110,"id":"Q3726110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52039e246b46c7b73715135df4c2806af43b920e","datavalue":{"value":{"amount":"+0.88628817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915718$6D90BF05-CD9E-46E8-A96A-D23613F18ECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the interpretability of arithmetic in temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_interpretability_of_arithmetic_in_temporal_logic"}}}}}