{"entities":{"Q3066793":{"pageid":3077509,"ns":120,"title":"Item:Q3066793","lastrevid":80012069,"modified":"2026-05-06T15:14:22Z","type":"item","id":"Q3066793","labels":{"en":{"language":"en","value":"The reducts of equality up to primitive positive interdefinability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835165"}},"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":"Q3066793$890155B1-EAB9-48AF-AD9F-E5FC11F97E55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ce99b0e2fca9bcc049149b14d0cab3ca95d77b8","datavalue":{"value":{"text":"The reducts of equality up to primitive positive interdefinability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066793$7DFFCB6F-4B73-429A-BF98-38AAD6DF09C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8535bda64ed46ab48e5ef4ac2caf342efaa8e82b","datavalue":{"value":"1408.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066793$A3D89EC6-B465-436C-AC0A-ECBD873AC162","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4755582e657d5373bc1841f6f1020d16c1f93d52","datavalue":{"value":{"entity-type":"item","numeric-id":259042,"id":"Q259042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066793$D1E1C8FA-82C1-4AAF-B8C0-AB3E680BAB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de68fabe0331b50e2c0babeac4b29f27d03cc1ad","datavalue":{"value":{"entity-type":"item","numeric-id":361801,"id":"Q361801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066793$2CD77FDE-ACCA-46BB-823F-9CD4AAFBF912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74c8caf34b6e74ed6e38df4ec97fc05f73ad0a39","datavalue":{"value":{"entity-type":"item","numeric-id":259046,"id":"Q259046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066793$03A20181-BF1E-43F4-B173-D79D313CC3A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"116fa09142602a6e0facf41839050cbb16a96129","datavalue":{"value":{"time":"+2011-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066793$E1513903-085E-4977-A39A-D214404439FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"625baac16e1e94addc3738205729987786880037","datavalue":{"value":"https://arxiv.org/abs/0810.2270","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066793$69761756-CAD4-405F-8C06-E33324768C94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066793$AE9005FE-B7B7-4F16-B801-A694E68677E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066793$0E015FC2-2586-4EEC-9343-7FA499E243C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066793$90B8A3A2-DBCE-4505-A9CA-0453E760F4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066793$ED2BE4DD-A953-49DD-813A-C6C434470BC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d38cb335976546495010c7740d82da1b1138f3d3","datavalue":{"value":"5835165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066793$EEAB4DBE-F945-427B-BCE2-732FB8934009","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b9210d6db36940a443d4266c2435b27948e64ce","datavalue":{"value":"relational structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066793$9757A23F-FA93-4B7D-BD22-549DE9EFA73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a4137cec8781711c568cdd66c15b894b3430ef","datavalue":{"value":"reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066793$85BDBA0A-3743-4754-9D15-DAC559458E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f34800c32b41c47d8bd8729380d12ef1dc72584","datavalue":{"value":"primitive positive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066793$614F680E-3568-435A-929E-8965CAE1513D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066793$897EA08A-F6E3-45AB-8844-3D1E984A58D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eb7100a0b05c308bdf12e70869e6ffd72a638cf","datavalue":{"value":"invariant relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066793$9B6C8E73-22E5-47E3-971D-D53C3888EB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066793$E4B6D2E7-9D5B-43E0-A1A5-5F7AFC06D119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a3ccd0c8533173f5916869e536b5234d28e54a","datavalue":{"value":"local clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066793$9C09C9EC-0FF3-4510-A279-F3B9B946A412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ce0d50ef2d3fddc856fbf9944536f0e151c35f","datavalue":{"value":"permutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066793$FE454BFD-3DDB-47BC-9688-650830F45194","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":"Q3066793$A6C5B366-0515-4DEC-9156-B558ABB97789","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7ca262bff8d6154e3804169fc18ba54ffe70d42","datavalue":{"value":"W2164778133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066793$382B8F3F-C228-4DBF-A630-B427723D4202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10ad2b5ecc756f582049293fa681139ce93f4840","datavalue":{"value":"10.2178/JSL/1286198146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066793$A2B02DDE-309F-4C6D-AD80-D88AE6ADE599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066793$1D95DD7B-9A71-48DE-BCA9-1EE711BADF92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b481ca95aea3a78af296f78d69b923286cc772d","datavalue":{"value":{"entity-type":"item","numeric-id":3344039,"id":"Q3344039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a7ab5383d4f83c11ee29de41800ddee65e7d8e","datavalue":{"value":{"amount":"+0.7794206142425537","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":"Q3066793$7CFE4B29-8640-4444-BA1B-71E86F2F290B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e5680b3874f4567d1d0191fef794af96d12f4a","datavalue":{"value":{"entity-type":"item","numeric-id":1923569,"id":"Q1923569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660536798917e0e548d93522e8dcdf7648f81b08","datavalue":{"value":{"amount":"+0.7628238797187805","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":"Q3066793$9F0523A2-830B-473B-B50A-CA1EBCAF5C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00933d78e4f60e1da76ba854c8534fc795481b39","datavalue":{"value":{"entity-type":"item","numeric-id":1866804,"id":"Q1866804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebf06c8da4abf84766666b354c5344c89697ec8","datavalue":{"value":{"amount":"+0.7592609524726868","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":"Q3066793$23109771-72CD-4AD0-A111-222E5141C66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdea2c5e71c0796f3dae95268488aaba476ff8c4","datavalue":{"value":{"entity-type":"item","numeric-id":2976332,"id":"Q2976332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39810631a9852db0667543594ac5fe53fd3fd53d","datavalue":{"value":{"amount":"+0.7381064295768738","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":"Q3066793$AFE62A93-D414-45B8-8058-C74C97D39BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c03b7d0c243f3e7fefbd4cc97d12ee766684156","datavalue":{"value":{"entity-type":"item","numeric-id":692919,"id":"Q692919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b5fbc63439b8dd28eafe28a8305998e8380dbd","datavalue":{"value":{"amount":"+0.7360591292381287","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":"Q3066793$75357819-8AE5-4740-B263-B03D7710B769","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The reducts of equality up to primitive positive interdefinability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_reducts_of_equality_up_to_primitive_positive_interdefinability"}}}}}