{"entities":{"Q3542061":{"pageid":5571965,"ns":120,"title":"Item:Q3542061","lastrevid":58200297,"modified":"2026-04-04T05:15:16Z","type":"item","id":"Q3542061","labels":{"en":{"language":"en","value":"EF-equivalent not isomorphic pair of models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374853"}},"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":"Q3542061$AFA3CF6E-7447-4BE9-ACF8-95D88C08FD83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf0213c85978e8c15fe6eb1c379cc9bd151373af","datavalue":{"value":{"text":"EF-equivalent not isomorphic pair of models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3542061$72E6EAB8-0FFF-41DD-BB24-32CF5DE6C67F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00968a0bfbaff0419cb22092b1f4e6fe99c6c744","datavalue":{"value":"1204.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542061$CCF20B57-4892-4963-93F9-9E199F443499","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91726f4d6f963bd6f3d6e6a5d8fb0cd348ab4bc8","datavalue":{"value":"10.1090/S0002-9939-08-09362-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542061$57DCE69D-768D-405E-8393-73333A3F7CFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542061$EAB6AB6C-1F57-420B-B7CC-EDE57916DC3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542061$ACA7F839-9D4F-444D-A2CF-43C8763A6645","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3542061$E1B3ED86-01F6-4646-B2A0-49A93EC0D77E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e00a608e951d8671117376e1417a2a528e45f509","datavalue":{"value":"https://arxiv.org/abs/0705.4126","type":"string"},"datatype":"url"},"type":"statement","id":"Q3542061$BACB8A4A-0066-4FFB-87A5-9FE587EB404A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542061$057F5737-5AE6-48ED-BE1E-FF1EB3299A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542061$B1BD100F-5CB1-4C55-9319-6C749E92F1D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b33fb855d214c398d664a8cd68108ef2e8316af4","datavalue":{"value":"5374853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542061$982EAB00-BBC3-43B4-8611-3F25C9DC0834","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6f73e8abc67f354136816ca2795d5738ec5db5","datavalue":{"value":"non-isomorphic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542061$09EB7F2F-F979-4556-A594-35E7504BBF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542061$99B68BC7-379E-408A-9E77-E57B0A21EC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e333355af22d5b0644158d885014ed13b056fc75","datavalue":{"value":"isomorphism player","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542061$8C9080B7-1126-4985-AA11-636D2A57ED25","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":"Q3542061$F42D2589-7E93-472E-8B90-35511388A15B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"981778b4ab273432aa7f4aeae0a1a887422b469c","datavalue":{"value":{"entity-type":"item","numeric-id":3437036,"id":"Q3437036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542061$74DEC468-AD69-4B8C-BC36-183ED3F278FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e981992121b6f6d0bae6b0ffdd0a5694351fed4b","datavalue":{"value":{"entity-type":"item","numeric-id":5477364,"id":"Q5477364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542061$B11CD801-F2E7-44A1-8CDA-DCAA2A6515BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1c8ad388c5748126ae418e5b297acf43372184","datavalue":{"value":{"entity-type":"item","numeric-id":4395557,"id":"Q4395557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542061$DA07B62E-B74D-4B72-A21C-7C0363E111E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f654bc26c076dd968327178fc662424ded929cd","datavalue":{"value":"W2001822758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542061$FA027171-CD9E-4729-9E60-CA8E5AE4CD39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3542061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3542061"}}}}}