{"entities":{"Q1075757":{"pageid":1086509,"ns":120,"title":"Item:Q1075757","lastrevid":66792606,"modified":"2026-04-12T12:53:18Z","type":"item","id":"Q1075757","labels":{"en":{"language":"en","value":"Theory of symbolic expressions. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3952000"}},"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":"Q1075757$0E6DB395-E5A5-4B11-ABDA-579B053D1CCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d72fb65f87b9c88113c570cb8951c41418c73eb9","datavalue":{"value":{"text":"Theory of symbolic expressions. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1075757$81FF3FF0-002D-4309-8A6B-A278DCB86AFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3594ac111f42c33f14cf31c321814735678cd50","datavalue":{"value":"0592.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075757$C7153377-23B7-48BB-AAE8-B5FE80DB295F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075757$19B79382-D3E9-4E9E-9944-1544884B54C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075757$C87EDAA0-535B-4C50-BC9C-A98827CEA543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1075757$46B9EADD-9C36-4DEA-B9D8-533C2C2E0C64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4acd18c4985ac28f6785a9804ab43aec9a099b6","datavalue":{"value":"The paper continues a formal treatment of the theory of symbolic expressions which was introduced by the author in Theor. Comput. Sci. 22, 19-55 (1983; Zbl 0535.68013). The author slightly modified his original formalism based on Lisp-like structures into a system which is substantially influenced also by Prolog. Within this framework several formal systems are defined, formalizing first order theories and symbolic arithmetic. To show adequacy of the theory, a formal proof of G\u00f6del's second incompleteness theorem is shown within this system. The theory of symbolic expressions provides a natural means of encoding metamathematical entities such as proofs or programs. Formal systems closely correspond to logic programs in the programming language Qute, which presents a framework for a theorem prover for the formal systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075757$33A2958C-4746-4DE7-A0C1-B7EA06011473","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075757$9227366E-C757-4FE0-BCF3-C6265699BC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075757$B06DEE7D-B8F2-4E5F-8766-CA46AADF66D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075757$068AF534-097C-4855-BB45-DE0B2B1CAC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075757$CE32EAD9-4436-4009-B37D-835FD3AEE867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075757$ACFE55F7-E030-4953-9868-0A70F46BEBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075757$B93855E2-DFEA-4A02-BFC7-F842A6E1BDD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"183736199da58bd9d4b28cfb528c6126bd14449a","datavalue":{"value":"3952000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075757$15E752DD-6371-4A66-A3F0-617BB75B3FAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075757$6AE36901-CCFB-46A4-88EB-867BEB05530F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075757$9F5814F3-2577-46B1-8C83-52AD81BE952E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93922606c0d3d810f706f852859cc871fda84dc4","datavalue":{"value":"constructive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075757$2985E9FD-5DA1-4910-8636-DAFB3CAB0902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d17d010388cb04935f92af523f2efa4c0132548","datavalue":{"value":"first order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075757$C2E7994B-088F-400A-8BCB-137B22920388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e68c17d0a786bab18913cfaf2bdb20931f23eb00","datavalue":{"value":"symbolic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075757$2B649CB4-6FD9-490A-8359-2C7FDD2253FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075757$FADA1781-3334-4953-85BA-9E05C73854E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075757$F7DAC7BC-B9DB-46A8-8494-34E7AFAE5075","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"828dfc38786d2049fd79af4c315ff0a16e6bc429","datavalue":{"value":{"entity-type":"item","numeric-id":1188836,"id":"Q1188836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075757$407C59F2-E267-4855-AE19-57F4B3435F0E","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":"Q1075757$0959307D-0B29-46B2-8096-10498B0A7234","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d87179cb55a829a41c56648f47de5ac8571622f","datavalue":{"value":"https://doi.org/10.2977/prims/1195179055","type":"string"},"datatype":"url"},"type":"statement","id":"Q1075757$48DBF500-ACD8-4264-8EFE-E194888AE19C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c8461bb351c1731f675f604a879a3f2469fc3c0","datavalue":{"value":"W2025895925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075757$55DE02B9-1641-4261-A6E4-A3E5FC34F02B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b23a97ce774716408e549b38e8ae3927ecc1340c","datavalue":{"value":"10.2977/PRIMS/1195179055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075757$4F2CB557-C996-40F8-83A8-DD2907655CFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f83230c69083f61e2d9886d83a2411b571109c","datavalue":{"value":{"entity-type":"item","numeric-id":791311,"id":"Q791311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a347bdc6e65d6c82e09964a7f942760904ff7395","datavalue":{"value":{"amount":"+0.8168927431106567","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":"Q1075757$21BD6CBF-8658-4D7D-91F4-F89D3B01E79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eebdf485c1ad7f7b30ca2e308c926b46b09ac74","datavalue":{"value":{"entity-type":"item","numeric-id":1893141,"id":"Q1893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab6951a319fc9750284ec37fceef51acadeefb0","datavalue":{"value":{"amount":"+0.749132513999939","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":"Q1075757$0F4DE245-22C1-4AFA-BDDB-49543FA06777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e03c0799c06483a4ed26a0db5e891d777d2b8b0","datavalue":{"value":{"entity-type":"item","numeric-id":1110495,"id":"Q1110495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781f758b7ec8d02929c0214eb11ea9956ef59ba7","datavalue":{"value":{"amount":"+0.7423245906829834","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":"Q1075757$AA800EF3-93EF-483A-907B-AAB9433C2934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f4aae526e20b9309e6af8e88049bbed25ec267","datavalue":{"value":{"entity-type":"item","numeric-id":286772,"id":"Q286772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"640d6f97cad6a17f38cf78b33f626b9d2e7c9bfc","datavalue":{"value":{"amount":"+0.735517680644989","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":"Q1075757$A6B58342-96DC-404E-965C-8185C48093C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2d156d27ba4ac79a032d9500aa1accdc2c7720","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f4d8dd40240ffb91a58a40dc3299a35b9b0b4a","datavalue":{"value":{"amount":"+0.7304304838180542","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":"Q1075757$D388FB4D-F920-4570-9D51-77B81122AE68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory of symbolic expressions. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_of_symbolic_expressions._II"}}}}}