{"entities":{"Q5117596":{"pageid":7147170,"ns":120,"title":"Item:Q5117596","lastrevid":58425177,"modified":"2026-04-05T04:12:20Z","type":"item","id":"Q5117596","labels":{"en":{"language":"en","value":"Distances between formal theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239860"}},"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":"Q5117596$0B98C955-AD58-4B75-BC47-4D3A10FAA089","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff2896f2724da49bc3cf4a743340724fab3e7194","datavalue":{"value":{"text":"DISTANCES BETWEEN FORMAL THEORIES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5117596$95180C6D-387C-4DBE-9EA4-CCAF14DEB9D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a6737d1cdfca983b6a84ce01abadbc0822e534f","datavalue":{"value":"1485.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117596$BD959219-66F3-418F-8E91-0DEBB2A4B0DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afdd6750a04f8836ba6e82287e1e5d0171f12a35","datavalue":{"value":"10.1017/S1755020319000558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117596$CE3E4957-2B30-49CF-BCFF-A4B2B6CE29C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4961c2cadf61da6df1215c35512b906247afc7","datavalue":{"value":{"entity-type":"item","numeric-id":1731560,"id":"Q1731560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$BF48BB4C-88C8-4CEA-ACE9-666A050E46EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b8e89d2f36913307bf86afabe2b12c8e5b9340","datavalue":{"value":{"entity-type":"item","numeric-id":383000,"id":"Q383000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$27341259-2D11-40CE-8008-CA960FB18EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51b01ac444c3b0c08c184b1b6c57df0d3688fd78","datavalue":{"value":{"entity-type":"item","numeric-id":2323695,"id":"Q2323695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$E66A9E0E-0B46-4400-BFD8-99A12AD6A4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d980a2486e51e4b5f03e607c06c88e8c5fa7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":354283,"id":"Q354283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$8DFB8A9A-96E4-4315-BB26-1D1198DA931A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$6BFAF8CD-C52B-4A02-9E53-AEAD41D83B85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d4f132e262cfd90bc6820d79fa2935957d2a6e3","datavalue":{"value":{"time":"+2020-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5117596$EF51E0A2-5FDC-4D85-A0B9-16F0557CFDA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfe47668d53240bd26792778fbdaa558bed13284","datavalue":{"value":"https://arxiv.org/abs/1807.01501","type":"string"},"datatype":"url"},"type":"statement","id":"Q5117596$53EB8DFB-402D-4396-91B1-7371BC7851FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117596$54FFCE0B-4DDB-4EFD-ACAC-46488BFF3803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d43a72a96c3e2899dba5bbed021743c1db5b0cd","datavalue":{"value":"03A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117596$0642FCC5-3497-4F96-86AB-4694FC76179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117596$E4CB3CBA-08CA-4B73-9F6C-064CB90781EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52ea4567202e4107b930e0e37ea2a5c883c154c5","datavalue":{"value":"7239860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117596$70FB79EC-B32D-40F0-9715-DACA96E475EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc9bd714dd5fc22c47339edeedecbe324cd39d90","datavalue":{"value":"network of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117596$5C7C8833-B1FA-4A9D-92EB-F09A733CC4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7955a0008e28fe37ad05fbe33e402fe8308d3988","datavalue":{"value":"degrees of nonequivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117596$E7AB62A6-A898-45C4-914C-A726C176D82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a0595fc9a40bd5ab6cbe814552dbbba7cea03d6","datavalue":{"value":"conceptual distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117596$AD9DA7D0-03D5-49A1-B27E-318D834D456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faad779f189c7ce9eca691531b1973c7ae83ec46","datavalue":{"value":"relativistic and classical kinematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117596$12A1EDB5-043B-40A8-8F21-C0BE4F2B5B6A","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":"Q5117596$AA139DBB-A550-43B3-96E0-F1E9094C3462","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7008217736bdeb9f94e618fd30903f016c4313d","datavalue":{"value":{"entity-type":"item","numeric-id":1047108,"id":"Q1047108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$D2C2A3B1-A5DA-4C29-B9CF-7E756EE6C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fbf110ca01bd83463c1228146ac21afefb63d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3367316,"id":"Q3367316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$F45467F1-CBD7-4139-9472-08750DA0DC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7277a386069e238b77d53fb9a0eabca229eb6a43","datavalue":{"value":{"entity-type":"item","numeric-id":5704809,"id":"Q5704809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$0A1B1281-1005-404C-A50E-BB43ECD31FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052dbddc03cea963768ff303a4a85c2a3c02b094","datavalue":{"value":{"entity-type":"item","numeric-id":383001,"id":"Q383001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$99515506-0186-4E05-A2FA-F921D0955EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec2443e9556c4485f023d2c186b65ba93db225a","datavalue":{"value":{"entity-type":"item","numeric-id":5367105,"id":"Q5367105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$C3D6F1C0-193E-43B1-8D7C-B9459F9BC9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$C5E8D246-A06E-4615-97A1-D67B2BE200D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe7e80c19237a27ed95f0f34a3bd6662bd3a897","datavalue":{"value":{"entity-type":"item","numeric-id":861649,"id":"Q861649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$35741A89-AAC4-4CC4-8549-279E219854DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf5f6914563d46d222e710e9b3845b54a72b062","datavalue":{"value":{"entity-type":"item","numeric-id":1791054,"id":"Q1791054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$A4C5A852-976B-4D00-A4BC-1ECE1AF6B7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5192305a0bebe8e9b1419fb3cb9202714218b764","datavalue":{"value":{"entity-type":"item","numeric-id":2397813,"id":"Q2397813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$71A81ED6-0A7A-45CB-98FC-39D18BADAC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bceb8067a35558efd29c82284096aa2c956e865","datavalue":{"value":{"entity-type":"item","numeric-id":2529074,"id":"Q2529074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$944E757C-CC10-40ED-87F8-901DFBCDA049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9738a54ce3d19f905a4c6043b7f3154bcf623cf","datavalue":{"value":{"entity-type":"item","numeric-id":1061731,"id":"Q1061731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$ABAC3F64-10AA-434F-8F61-25E1B89E1260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$FC7C02EF-6966-47AC-B207-5B95002B7FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cb270a40d665f528452f93e19bb05f9e9862e7","datavalue":{"value":{"entity-type":"item","numeric-id":5834327,"id":"Q5834327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$69C4770F-AC0F-412F-B133-B9BB68C473F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$34FFC43B-8871-4FBA-8717-8FF6C24AEF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$D7F1B48A-8FBE-4A66-ABCE-BB68FBF3C45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$22FBE22E-4E79-4F87-9105-B5F9207BCCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$CF1C4F43-76AF-4337-A5C4-96B8685EB68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a0b67dda8ab1adca756ee748c7556765b6e945","datavalue":{"value":{"entity-type":"item","numeric-id":1731561,"id":"Q1731561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$B81827E2-31C8-46AC-8B2B-78A206125B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03003042667925dd0930298674fc469385e591e","datavalue":{"value":{"entity-type":"item","numeric-id":4557141,"id":"Q4557141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$06931034-D936-4F75-BC1F-C942B090957D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8556f2831a123fb01d2f8a7bd021f1f55138f96f","datavalue":{"value":{"entity-type":"item","numeric-id":5197381,"id":"Q5197381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$A00B6C97-1A1F-4551-AE6E-A22B1FECA901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc64d5043659219d1e4286acde9854bc50a6c77","datavalue":{"value":{"entity-type":"item","numeric-id":2323696,"id":"Q2323696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$F671DC95-927C-4788-92E7-26199C69E319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25e95fd75b91ec2b0f3f17b94e3863b372aef85","datavalue":{"value":{"entity-type":"item","numeric-id":3936170,"id":"Q3936170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$5676C481-3014-443E-B90A-FE2311DE40A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f603af1c61fbf42d2443395f11d3a34efadd521","datavalue":{"value":{"entity-type":"item","numeric-id":4194943,"id":"Q4194943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$242C4FFC-BA6E-489F-A304-4BE076DD4930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be2e42643c051b6d8da4b64cd531e43ea8baeb","datavalue":{"value":{"entity-type":"item","numeric-id":5817394,"id":"Q5817394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$24D97758-5E7D-40AB-8827-8240651A4649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ad494f6753f30f6a6b9b8e016dbaa7e73069ac","datavalue":{"value":{"entity-type":"item","numeric-id":5393646,"id":"Q5393646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117596$751FAAE1-4A76-4042-B0FB-67737126491D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b88bd64de866ee9c91ecb337ca60eab4606872","datavalue":{"value":{"entity-type":"item","numeric-id":5392943,"id":"Q5392943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be963d775088fa6effb0957f99bf75e86a55044c","datavalue":{"value":{"amount":"+0.7896397709846497","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":"Q5117596$08F2735A-0A2B-478F-9344-1EF2EA1DFF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d019e6389f6ff71b28ccee9a4428e9fbc6213af0","datavalue":{"value":{"entity-type":"item","numeric-id":2277436,"id":"Q2277436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee5321d1cafb34d411b88725206b6b797f9b7c1","datavalue":{"value":{"amount":"+0.7738585472106934","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":"Q5117596$6D14EC57-9DFA-4FF7-B45C-3E2E9BFAF1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d564b0f26cb34834aed33b98981512aa158a510a","datavalue":{"value":{"entity-type":"item","numeric-id":4340928,"id":"Q4340928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc6bf3da9f061fd9d98dc13f8a92a21ac4dffaa","datavalue":{"value":{"amount":"+0.7271184921264648","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":"Q5117596$F5117DD4-A2FB-4E7A-A9E8-F1429C6B6DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e268963b89d8878af7cf513a66fa4f551bbe6c","datavalue":{"value":{"entity-type":"item","numeric-id":1707209,"id":"Q1707209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ad4f839814a40710aefc61c46578d1ef3b8012","datavalue":{"value":{"amount":"+0.7098638415336609","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":"Q5117596$570A9626-9355-4991-A4D8-6FFB1DB4094B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"072cf5ca38405d568e419921daea8fabb39dae26","datavalue":{"value":{"entity-type":"item","numeric-id":4624117,"id":"Q4624117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701e88a8c0a6bf682719ac22c1dd76dfb4be924e","datavalue":{"value":{"amount":"+0.7028285264968872","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":"Q5117596$04501299-FAA7-4E5A-A316-DD9C4C11C656","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5117596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5117596"}}}}}