{"entities":{"Q920980":{"pageid":922828,"ns":120,"title":"Item:Q920980","lastrevid":65397078,"modified":"2026-04-12T02:18:52Z","type":"item","id":"Q920980","labels":{"en":{"language":"en","value":"Elementary equivalence of partition lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164822"}},"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":"Q920980$5E32A769-1EB9-44FD-AA7E-A6FF1782F041","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec73bb69b781133dc25d86a6f4c67aa72a7517e6","datavalue":{"value":{"text":"Elementary equivalence of partition lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920980$47EDF668-C4B4-4CCF-9A00-20E444C6A865","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00979ee9c20bb605f1c9ae1ded64bce25e6da03e","datavalue":{"value":"0709.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920980$F45278B4-969C-49C1-88B3-AC5DD3C4CE2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0420c58f957149f2685bbe08cbd88fbd169f39d7","datavalue":{"value":"10.1007/BF00969667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920980$474A0569-F736-418A-B0AD-40E268756EF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920980$676827FC-2BC3-42E8-AEBE-FA1B123E572F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q920980$47C59627-15D9-48E5-B5B2-14BCF3A4B48F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb168afe33d0f4db5b324e384c710c1a67ab3653","datavalue":{"value":"It is shown that the expressive power of partition lattices of infinite sets in first order logic is the same as the expressive power of the sets in full second order logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920980$9616408D-F94A-4505-8A0A-C09E24147974","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920980$15A700A7-FBFB-46D0-A090-537F56195ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920980$62A9833F-4906-4895-B376-A429288C0E0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0685e508970b3ca19579d181cc73c9d7029a1b74","datavalue":{"value":"4164822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920980$997859EC-0C26-4AC3-B7A4-A6D82EB27DAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q920980$9A393D38-7B69-4363-B147-5F50B1F22A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q920980$BF425996-C5E9-43AF-B431-80E824DB44EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1adced1f287b4dcb4f9a8e52d6019ee13cb14c50","datavalue":{"value":"partition lattices of infinite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q920980$F35E30BC-081B-4925-BAAC-D60D847D2FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920980$10C1CDDB-02DB-440B-8DCD-ED01F537A1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea811d864a984b410a67df5fbc1ccbc3b77db799","datavalue":{"value":"second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920980$34D5CC56-873E-4EA2-99AD-0818F44AEFE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920980$1A187BFE-4F36-4EF9-94C9-1CAA93FAABB5","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":"Q920980$05447725-5773-4973-924B-3C97A16F6B07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708edf481f5504c3c7a1bbe0ce2035ee105089c","datavalue":{"value":{"entity-type":"item","numeric-id":3875978,"id":"Q3875978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920980$DFBE3735-9CB9-4C1B-B9BA-629C3A1E44A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95b3b21a11f703c22fc9b4fdbc938ec71bf2ded","datavalue":{"value":{"entity-type":"item","numeric-id":1058535,"id":"Q1058535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920980$6A9173EA-CBF4-4F15-804D-F24FEFE5F235","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6be9fac5f886e0341b87554bbc83eb63cce968f","datavalue":{"value":"https://doi.org/10.1007/bf00969667","type":"string"},"datatype":"url"},"type":"statement","id":"Q920980$8A340161-1E73-4A2E-B57F-B790DC0E4BB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80890265a40dc6a0c4b2fd1bf9e78065e6dfd221","datavalue":{"value":"W2089201013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920980$3D429ECE-34A8-40D1-9C2F-C4464ED6C071","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e8ceb5ac8111b27cdc94a52f77759073dcdb8a","datavalue":{"value":{"entity-type":"item","numeric-id":1058535,"id":"Q1058535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb7e694bea6fe90121b663277b90da1a53cf844","datavalue":{"value":{"amount":"+0.852705717086792","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":"Q920980$637BB192-05C1-4101-9BF2-1ACEBABAE5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8508c6eb95868ebbcd452155f77f0682f16bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1398501,"id":"Q1398501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd10dfd1a80adcaeca4a06acaea1684c0caf876","datavalue":{"value":{"amount":"+0.7412829399108887","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":"Q920980$A8C14C9C-8D7D-4D20-B784-18EA31B60156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18bd8c4a96f25beef03880296775f8e1cf60063","datavalue":{"value":{"entity-type":"item","numeric-id":3328527,"id":"Q3328527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd10dfd1a80adcaeca4a06acaea1684c0caf876","datavalue":{"value":{"amount":"+0.7412829399108887","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":"Q920980$D1B409F5-EF52-44B1-BFF1-CE73CE851900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e97bef476ab5e8fb9a6d5d11dc8ab2cf27c8f5","datavalue":{"value":{"entity-type":"item","numeric-id":1909437,"id":"Q1909437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ce512571799f13010a56be1364875379474a06","datavalue":{"value":{"amount":"+0.7321224808692932","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":"Q920980$0C8BD078-D72A-4D06-914C-4C7E333F01B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058469a400dd9582aaf857ecdabdc7c07b73e463","datavalue":{"value":{"entity-type":"item","numeric-id":3125031,"id":"Q3125031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a445aa8356f8246d55e42ec59ea8dbc6e2e83bd","datavalue":{"value":{"amount":"+0.7284166216850281","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":"Q920980$C2AD90B8-B7AD-4D38-B52C-535D124758AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary equivalence of partition lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_equivalence_of_partition_lattices"}}}}}