{"entities":{"Q793007":{"pageid":794855,"ns":120,"title":"Item:Q793007","lastrevid":64377027,"modified":"2026-04-11T19:27:05Z","type":"item","id":"Q793007","labels":{"en":{"language":"en","value":"On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855075"}},"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":"Q793007$7BF92D0B-6951-4D7A-BFC7-903A694A336C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a46e563ffc86cc42c50d4aa2a95103941e22353","datavalue":{"value":{"text":"On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793007$B106AC0D-7F35-4134-AA20-4FA6A6B38881","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bab0f803a435d2d7000de337fe5c02d151202608","datavalue":{"value":"0538.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793007$CBCE4918-A7D6-4E5D-830E-957E3AF2257A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c51f659192ae73189fc76e268b15e926b59e652","datavalue":{"value":{"entity-type":"item","numeric-id":767900,"id":"Q767900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793007$EC33953A-E282-408C-BBA4-1ABBF9D5646C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3b8a268626b88efa1a2e37272504046cc403f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1264133,"id":"Q1264133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793007$0DD9AEB5-8E30-40CD-8B5B-FBDA9688645B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793007$66D5547A-4882-48A4-86DB-35EF5823BB9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q793007$3037233B-04C2-4455-B1EA-06A1DA9AFCAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"416aeb43adc6a944ad8ddafd714191136db0ee1e","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1983__70__13_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q793007$E7959542-C22C-402F-8AAC-A3D38296A4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"07570e0b5d06b3d5a502bc2687ed5dae2cb6c942","datavalue":{"value":"https://eudml.org/doc/107914","type":"string"},"datatype":"url"},"type":"statement","id":"Q793007$7DE3312A-DA70-4B14-9AE6-28FCF76D14E0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b327e5766040f8f0ff4a05f7056df91098beafe8","datavalue":{"value":"The present paper is Part 2 of a work whose three parts deal with synonymy in connection with any theory \\({\\mathcal T}\\), formal, axiomatic, and extensional [for part I see ibid. 69, 63-76 (1983; Zbl 0525.03019)]. The definition of a synonymy relation connected with any given definition system - see Part 1, {\\S}6 - is not of the usual inductive type. This may give rise to difficulties, e.g. in proving that some given expressions are not synonymous. Hence it is natural to search for criteria useful for these proofs. To find some of them is one of the aims of the present paper. In particular a relatively simple condition sufficient for non- synonymy is given; and it is applied to two examples, one belonging to logic and the other to arithmetic. To this end generalized interpretations are introduced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793007$B5995AC9-65E8-4D77-BE9F-12F00CC50F89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793007$F8D91CFC-4442-4DCF-8608-62D950B5ADD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46b37d30b3e9f097fa57865a339f1f2a8b114933","datavalue":{"value":"3855075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793007$0259E196-4A97-497A-B54F-17370A394F5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905af6db7a8541ab8285592ac1adb4946d18fb11","datavalue":{"value":"synonymy","type":"string"},"datatype":"string"},"type":"statement","id":"Q793007$565C721C-C671-4B95-8F76-686354F4ED56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q793007$AFB1E7CC-D02A-4A08-BA2B-D0E8E6CDB46C","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":"Q793007$34F668BF-F4B2-41A6-96F8-D170E804205C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1bd3aba96326a579470cc8c0991726f4dd900ca","datavalue":{"value":{"entity-type":"item","numeric-id":594088,"id":"Q594088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793007$37E4C6E2-D577-4FB7-A4CA-D19233D03F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793007$68179BB4-B2A3-4F0D-B851-C9FBFC1B8911","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67ec78d819ecf966fe31866e05fb26526496343","datavalue":{"value":{"entity-type":"item","numeric-id":801898,"id":"Q801898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ba7aec2a395254802362dda805498586db2bd4","datavalue":{"value":{"amount":"+0.95974916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793007$552D4D90-3173-4A6E-8A69-A243C018B41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1841c0107b8bdc2b59e43c2e2095aaf7f436a891","datavalue":{"value":{"entity-type":"item","numeric-id":4305337,"id":"Q4305337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f85b0993186c6f094edcf6d29c16aecded924d","datavalue":{"value":{"amount":"+0.8396988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793007$5DA29FB2-4971-4ECF-9C7E-640307A46F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a87da5d3bcc74993014782cdbff5c432b853ba","datavalue":{"value":{"entity-type":"item","numeric-id":813086,"id":"Q813086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df536a54f6420a43770b1001c5cffb654bff1a2c","datavalue":{"value":{"amount":"+0.8396955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793007$0495162F-807E-4638-8F04-F0697EC6E8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d5e0ff55639f153e600216ceb38a439daa5f14","datavalue":{"value":{"entity-type":"item","numeric-id":5141782,"id":"Q5141782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e8bf25d59bd2405274913b4484ffdca9da65d3","datavalue":{"value":{"amount":"+0.83874893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793007$94340FC2-4B43-4B39-B525-84815FC7D958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c3c4fdb331e8e1aa76150221cea6f2268d62a7","datavalue":{"value":{"entity-type":"item","numeric-id":5300068,"id":"Q5300068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d0e45446c3691a57a9c0eaa372dcf22f105a2b","datavalue":{"value":{"amount":"+0.8352839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793007$C7FF6009-72D1-4268-9FC9-7597C1F5E2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fbe0a4a07bfdc2a9574942ec8b2afe817e78c21","datavalue":{"value":{"entity-type":"item","numeric-id":1685939,"id":"Q1685939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1102ad4354147f1c6805e27b3d72d7edd85ad8","datavalue":{"value":{"amount":"+0.83336484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793007$DAB39577-F978-4D16-8FD5-8F74C5669642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d799e30370106ddbc62b0e552a89e115f1153812","datavalue":{"value":{"entity-type":"item","numeric-id":1791054,"id":"Q1791054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cd1c6d5b726475c9ce878b4a0ded84fc9945c1","datavalue":{"value":{"amount":"+0.83189136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793007$E610FA3A-7B0C-47B2-BFA4-EF3965BE4547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a06ed4976b9b439ff439cc013460bb15e109065","datavalue":{"value":{"entity-type":"item","numeric-id":5501722,"id":"Q5501722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a99344895074c4483dacc6e9f8070a482ef6909","datavalue":{"value":{"amount":"+0.8303324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793007$C12F4384-7102-432C-A26B-AF6A35BB3838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8741baf8939d55ece68cf86baac6592ee28118","datavalue":{"value":{"entity-type":"item","numeric-id":5434201,"id":"Q5434201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f189bcd69c3d74d077ce1e0962a1e5c6ac71a1d9","datavalue":{"value":{"amount":"+0.8301983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793007$BD6A942A-60DF-4D2A-9D94-9DDC47959D71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_synonymy_relation_for_extensional_first_order_theories._II:_A_sufficient_criterion_for_non_synonymy._Applications"}}}}}