{"entities":{"Q594088":{"pageid":595864,"ns":120,"title":"Item:Q594088","lastrevid":62991858,"modified":"2026-04-11T09:33:17Z","type":"item","id":"Q594088","labels":{"en":{"language":"en","value":"On a synonymy relation for extensional first order theories. I: A notion of synonymy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3831912"}},"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":"Q594088$83F71112-8DBE-4898-9F6E-358C7F77E59E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55f1080b9a3f6c5878c5f009ccc1a46486fe8da6","datavalue":{"value":{"text":"On a synonymy relation for extensional first order theories. I: A notion of synonymy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q594088$A0A836B0-91B8-478F-92B0-1696767B4625","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adef6abd7f73462db09c9f0771dd74f9428a71a3","datavalue":{"value":"0525.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594088$7C157904-1437-4B69-B4E5-A850A763443D","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":"Q594088$2C2C9115-3C4D-476D-A9A2-20850D24F35D","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":"Q594088$710F36D0-66B0-41BC-A6EB-7FF7E8754DAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6394d3731fa9c55a56a8d70107f874ae1eb65d78","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1983__69__63_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q594088$B77D24C2-A95E-4E9F-A41D-7B3FC2167053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7b7946f77807ae5a66f1746d1afcf30dd04fc06","datavalue":{"value":"https://eudml.org/doc/107908","type":"string"},"datatype":"url"},"type":"statement","id":"Q594088$8D4CA16B-4006-4483-997D-D688050400F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594088$3B2FCE84-1617-416E-BE60-50C15CE4037C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b901a1b056757c985bd90c0eb55dfe272cc1848","datavalue":{"value":"3831912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594088$FD0996EE-0E1E-4705-91C2-F02DBC539B2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f67c9f48d72fdba8fbdb584fa59139036a2129","datavalue":{"value":"extensional first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q594088$9FB58B49-E9EF-441B-9602-4E45C708A867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a779edde2c65deb4b62efc8651b1ee0991ef0","datavalue":{"value":"synonymy relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q594088$272393C1-6D93-4F9F-A6A1-AB56EBA5A136","rank":"normal"}],"P16":[{"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":"Q594088$0DF01C5A-086F-40E5-9F46-38E0E54C6B0D","rank":"normal"},{"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":"Q594088$90FE49D4-BC91-41A7-9215-C26A451144E6","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":"Q594088$0A1A0069-A6B1-40AA-8741-BF0DEE754BA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d664988dd4a7a528bc76617c0dd4cc261e1d2a","datavalue":{"value":{"entity-type":"item","numeric-id":5625151,"id":"Q5625151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$25680F8B-95AA-4F5E-AE89-3743F06CFC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2507d078c97d8cc0b0e4370f67949ff6f183c62e","datavalue":{"value":{"entity-type":"item","numeric-id":5625152,"id":"Q5625152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$DE9C3C50-E87F-4953-8CEC-896E11F94048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf370f03cc284f00e101c50058f9dc9af59fc00","datavalue":{"value":{"entity-type":"item","numeric-id":3695246,"id":"Q3695246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$58ABC5BC-947B-4DC3-82D8-E811B177C8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e212ab00dc6e36d52bb96f924cb8ab355c32e96b","datavalue":{"value":{"entity-type":"item","numeric-id":3039309,"id":"Q3039309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$9FDD135E-E61B-4DC4-BE75-FFCE2D7F3D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0d4408a7e3ca9a4a3863aa52e43b8401fcd695","datavalue":{"value":{"entity-type":"item","numeric-id":5967003,"id":"Q5967003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$CF6E3AC4-E528-4F69-9EB3-D2980651826D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c491da19b0e289c52ac628330227298729289aa9","datavalue":{"value":{"entity-type":"item","numeric-id":3255339,"id":"Q3255339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$95A33928-8429-4D83-9BAF-CABD79B2EB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b248c9a41ac79c43d6cfda81503444339c93564","datavalue":{"value":{"entity-type":"item","numeric-id":5791196,"id":"Q5791196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$59903467-D6D8-4EB7-B6BC-7817C6BEA862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354b2cc7d471094cc4082e263e646f5537463347","datavalue":{"value":{"entity-type":"item","numeric-id":4257382,"id":"Q4257382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$7A5873A6-44BF-4DF1-859C-71191AB60BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e585fc92604b79c9f7c626771eda8bbcde1614","datavalue":{"value":{"entity-type":"item","numeric-id":5650665,"id":"Q5650665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$A653E5E9-13B5-4D0B-9ED5-EEE3F4C0F9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361ee315001f9a9481bb17b7453d549ec421643b","datavalue":{"value":{"entity-type":"item","numeric-id":5672866,"id":"Q5672866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$B11C644C-A0D3-45BC-8F3A-A8D0A7D5B53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee65b5656af599919f311c8ecdd5543f7444836","datavalue":{"value":{"entity-type":"item","numeric-id":3858249,"id":"Q3858249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$3D206E23-882B-4030-8B18-F6CA16565709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ba3ea96d89c1181d699d16adfb5d07cea2af8e","datavalue":{"value":{"entity-type":"item","numeric-id":5585364,"id":"Q5585364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$C4316397-3E27-4B35-AEF2-734FBC7ADD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cceb0015f0d2b4ea5e583693643ac8a74e21cedf","datavalue":{"value":{"entity-type":"item","numeric-id":1224083,"id":"Q1224083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$7B420D03-589E-4651-8510-11FD98A94DD2","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":"Q594088$8CF0442A-D967-4D89-AE61-7A8496CDA4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19b5dec4318dca3e66a0b95e2bb5c23f92b09bd","datavalue":{"value":{"entity-type":"item","numeric-id":3229401,"id":"Q3229401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$ABA7439A-AF83-40E1-9056-2858617EF2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e3798b4aefb4cba32ca4b4e29c4f3e7b48eb56","datavalue":{"value":{"entity-type":"item","numeric-id":5513757,"id":"Q5513757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594088$4CC0E37C-4292-4E5A-AA2C-0405E5154D86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a synonymy relation for extensional first order theories. I: A notion of synonymy","badges":[]}}}}}