{"entities":{"Q1355131":{"pageid":1365870,"ns":120,"title":"Item:Q1355131","lastrevid":70227846,"modified":"2026-04-13T13:20:00Z","type":"item","id":"Q1355131","labels":{"en":{"language":"en","value":"On elementary equivalence for equality-free logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1011148"}},"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":"Q1355131$E25E691B-8780-47CD-BD1F-583858F08F1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ac2f728d4fd620adf69c5ea94c9d00e41d6c3fa","datavalue":{"value":{"text":"On elementary equivalence for equality-free logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355131$62478292-1E5A-4C52-B770-86D122293A69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f08fe9e907337f01911ba3ef80a17563498acf21","datavalue":{"value":"0869.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355131$FC1F4199-4DC8-4A3F-A1D6-D1FE7BC0870F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$C9FD5651-51D6-4143-8CB0-B633AC9E79F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d49c30924372f1021c513a4e40eb72fe98cfd7d","datavalue":{"value":{"time":"+1997-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355131$261DC547-CE38-42DE-83F8-42CD26843894","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355131$DAA83FF8-4265-4101-B8EC-8F8BB9376377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355131$97485290-DE0A-464D-ACF6-8F4F99AC5246","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"709f1000023a12561003eeb282a42dda1aaeb476","datavalue":{"value":"1011148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355131$272D1D12-43E3-4F3D-B19A-D9C35B840EEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355131$42750778-EDA9-4E3F-82DE-75ED599491DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f835f62272d319cf6695cd61841b9d311ef9b2d2","datavalue":{"value":"equality-free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355131$8E57C0DE-3719-4E25-9540-97701DA6CC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11a24cfe952ca14ca0ed21e3037cd500d9737405","datavalue":{"value":"first-order logic without equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355131$16BC1152-4722-49AA-85B8-D56EFC0C7B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355131$1A4FBB98-0F92-4621-8275-8E38AEA097FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ccbcc8b9303147cca122cf94f1800c070f1799","datavalue":{"value":"ultrapower","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355131$2101AF60-3627-4CF9-B185-C7B2DCC05518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9a3310f80033b04c16295b49944cc8d524a1cf","datavalue":{"value":"elementary classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355131$165EFB5D-3CEB-42CF-BB05-9E5FC125D2ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c0f2b1fd84cbb85ff06875faec7209ad397b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":190311,"id":"Q190311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$122C1475-AACE-4B8A-90BC-F6BE9F7F70C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8580f05770d3cedcc20752d465da7674298288e6","datavalue":{"value":{"entity-type":"item","numeric-id":1577360,"id":"Q1577360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$BDEC33D6-0B87-40E4-8E68-A351C2C711FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82afb292bf891852f5b53b1b9f9735fc6a064c8f","datavalue":{"value":{"entity-type":"item","numeric-id":218968,"id":"Q218968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$E5F8200C-11BA-471F-8D7B-95BED8C64B45","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":"Q1355131$6D2C9DC7-73DE-4407-9964-4EF78960DDB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a5dd152630e271f743cdf8effa9c0b09cf3886d","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039886524","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355131$7F89BB75-EA54-4343-811B-00725018A2C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"790c3b3fff2519d7b75b49a0dc17481da6696ee7","datavalue":{"value":"W2006385373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355131$B522D205-1E05-45FA-BA8A-C20D807E84DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34f084b292be64219d879c7254d7f79a37dff10","datavalue":{"value":{"entity-type":"item","numeric-id":1219264,"id":"Q1219264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$63541B6C-4241-43C4-8765-B6E42363F7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$16BC346D-D5D6-44F4-AEFC-851E5A8B9134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f38cc3486862f4f727ec2639f902b53015e009","datavalue":{"value":{"entity-type":"item","numeric-id":4029628,"id":"Q4029628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$26F6FC8E-2EE4-49C7-AE2F-05E8D25AB19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e76dbdde1f6c0140c066a99f1add9b458d496b","datavalue":{"value":{"entity-type":"item","numeric-id":1159628,"id":"Q1159628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$CC58AAEC-E68B-4FF3-A4B5-DE7F340B1899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$D04B743C-FBC1-4A51-A259-A95C35899C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$B8BB82CE-62E9-4D7A-B2EF-76BEC78C351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$20083682-6249-45B2-B2F0-59F30C78DBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c118da62becbc2a9e95e3ad9dcf3fe3b9729ad12","datavalue":{"value":{"entity-type":"item","numeric-id":2548251,"id":"Q2548251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355131$440A7C97-BB76-43C2-B970-95440F1E7155","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be3c428d232d93809dcb11944c2804eeabe883c0","datavalue":{"value":"10.1305/NDJFL/1039886524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355131$217A55BF-8A91-416E-9B41-A499558BB952","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43edba7a579df09160c287c55e2f8f7d8e08f208","datavalue":{"value":{"entity-type":"item","numeric-id":3837726,"id":"Q3837726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4151de3246a591253b7bef72d382b510ead86f8f","datavalue":{"value":{"amount":"+0.9105437","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":"Q1355131$893AB405-AFB4-4191-824B-6ACCAE9B243C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792336ff1c3b24bda0a585498d74b554cb5ee6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5864202,"id":"Q5864202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ea6cc90071d74023f633bd677b7f22d6cfcde1","datavalue":{"value":{"amount":"+0.9041815","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":"Q1355131$6A5C0174-1749-496F-948A-67CF9D4F1351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c71b2c8b62ec58ce788d4f9493878ad8b935d4","datavalue":{"value":{"entity-type":"item","numeric-id":5240950,"id":"Q5240950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a582f5a37a8d90acd21aebc21c352b245fbdfb","datavalue":{"value":{"amount":"+0.90169364","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":"Q1355131$256BF742-C706-46D7-A8AE-5BCA610D1BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580cb92ce36cfba768229e1f44215fa4017ebf20","datavalue":{"value":{"entity-type":"item","numeric-id":4934882,"id":"Q4934882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eda49d9f8ec4ee0b9e84728e725f6d477d07f66","datavalue":{"value":{"amount":"+0.9008045","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":"Q1355131$A4EEDACE-E5DD-4508-A68F-3F9EBE7405F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e97016efd4ddd6da251c66ef051e3ee4988182","datavalue":{"value":{"entity-type":"item","numeric-id":3449222,"id":"Q3449222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e357851739a097f788b1f6e28be8bec792fe1d","datavalue":{"value":{"amount":"+0.89512837","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":"Q1355131$D6A24728-5E6F-4EC5-AFBF-F6B1B120993D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b54ec3d11a4b8a63a3fb62a11dfd85164a29f52","datavalue":{"value":{"entity-type":"item","numeric-id":2751362,"id":"Q2751362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2997b9d19fb9a72dab6b6619c880e8964e1d681d","datavalue":{"value":{"amount":"+0.89294976","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":"Q1355131$0F3BDF75-7040-486F-980D-B7DC48DE783B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11fd8e5f522b469a954b7d947c2dc0e627c52e3e","datavalue":{"value":{"entity-type":"item","numeric-id":2563460,"id":"Q2563460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e552a3890e9541fcd1deb9b9acde5d3fbbf272","datavalue":{"value":{"amount":"+0.89135325","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":"Q1355131$8D02E473-D4C6-4423-ABAF-C4E4CDCE071E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37075a1917e2553c5f07df3e33a3ba49fe52029","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05b0e2ebf4e1272b508007123d5ec4f4ab38036","datavalue":{"value":{"amount":"+0.89047635","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":"Q1355131$A666D87F-E1C0-47DA-A36D-FB7E3514DBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f3d2fb82462748952e75213b86ae0104a742f6","datavalue":{"value":{"entity-type":"item","numeric-id":5901672,"id":"Q5901672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3907c045e52e3c2aac950497e2d0524cc6b00b91","datavalue":{"value":{"amount":"+0.8903274","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":"Q1355131$042CA8E3-8FEE-4275-96EF-668B8F667434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3260d99a7a47922e0a128a281b2b9b3f96c3b722","datavalue":{"value":{"entity-type":"item","numeric-id":5311271,"id":"Q5311271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974298b4ff4aed8488cc1618938684fa4826a4a1","datavalue":{"value":{"amount":"+0.8891913","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":"Q1355131$7ABE2678-8E7C-4AFC-BADC-A2CC54F1AF83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On elementary equivalence for equality-free logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_elementary_equivalence_for_equality-free_logic"}}}}}