{"entities":{"Q5428869":{"pageid":7458443,"ns":120,"title":"Item:Q5428869","lastrevid":96267176,"modified":"2026-06-05T10:49:20Z","type":"item","id":"Q5428869","labels":{"en":{"language":"en","value":"Model Theory Makes Formulas Large"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215626"}},"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":"Q5428869$94283589-8216-40A4-AD25-95637644D173","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a645fd01191f5fec5c58f3813a5ed6bc123ba43","datavalue":{"value":{"text":"Model Theory Makes Formulas Large","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5428869$EA03293D-7E04-4317-BDEF-FCF1C417747B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5006d62402f5e265527b80f8d62d03c21a4cca6a","datavalue":{"value":"1171.03324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428869$75C47F88-02FB-4B03-8A81-DDB221BA57DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50f0d198fab5883aa777c5029dcc9975a59a6ebd","datavalue":{"value":"10.1007/978-3-540-73420-8_78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428869$33B885EF-DBBE-486E-944A-5F34FF79B2C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428869$7384DFEC-6479-47C4-8104-B8B843096C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428869$A816AA1E-276C-477F-9A3A-6CF6262E7A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428869$552DE9E2-DE07-4177-8B2A-2ED01838469D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde056a0f6fc0570a0a106ebb1024eb76bcb30c9","datavalue":{"value":{"entity-type":"item","numeric-id":389233,"id":"Q389233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428869$014355CA-2186-427A-BD9E-59EEBDD8F5D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428869$7E0EAB25-BB34-4E3F-BFDD-4AD80F978DF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5428869$9A217DF7-46BA-4E15-B834-1309FB54DA7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428869$7BDCC117-D88D-4FFC-9D59-413C9EC46870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428869$E400E153-FFFD-45A2-A659-FBECB1D5DB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428869$AAFBEE3D-7015-414D-840F-75F8F6F7ABFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d693bf9ca2425d7caa1b206ac5f9571bed685d99","datavalue":{"value":"5215626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428869$8A42B29F-985B-48A4-BCE2-E8F6A54CF335","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9eed5641519ee0f5a1368ec7c343b415d8e54b4a","datavalue":{"value":"Q58215619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428869$FA8C2A37-AF7B-4771-9244-32209A405C50","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":"Q5428869$37EF3D32-5CFF-4836-AF3F-A484D46BCF20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba8a716cb8240463290bf93e43decb6089e614e0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73420-8_78","type":"string"},"datatype":"url"},"type":"statement","id":"Q5428869$69686E78-03AB-4DAF-95C8-B7CBA421EFF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f35addb4950190bd034e35f82feaf92745279429","datavalue":{"value":"W1780759614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428869$4D02A0C0-6B3A-4ED8-9CC0-C667A678047A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36ed1573c8804fde0f1ff769b9dfcb967244be6","datavalue":{"value":{"entity-type":"item","numeric-id":3460422,"id":"Q3460422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809b0fbfb8f0153a0a32164896be3db960c64bd8","datavalue":{"value":{"amount":"+0.756091833114624","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":"Q5428869$CD96B4D4-824E-49E7-8608-00D2EBD75071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615a42b264ecafef7c62f64d500eae7437086ace","datavalue":{"value":{"entity-type":"item","numeric-id":4635634,"id":"Q4635634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05ee95e2daff51e05111fa7343ce66bdeb344fd","datavalue":{"value":{"amount":"+0.7502002716064453","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":"Q5428869$C391007A-1956-48BD-99C5-16C32C3E0BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0082a9312a9476c471992484c0720fed0f9ff8c","datavalue":{"value":{"entity-type":"item","numeric-id":4948541,"id":"Q4948541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c3472ac839711df82d1f5a8ee45a753a32058d","datavalue":{"value":{"amount":"+0.7461653351783752","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":"Q5428869$B420283C-6A5F-4963-B569-EB98E0BD24F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88be81090168caba90cd3421c1a2afca3f08c83e","datavalue":{"value":{"entity-type":"item","numeric-id":1877096,"id":"Q1877096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12317ce98a3f5c3f8202fdb2cdb2eaf38c478526","datavalue":{"value":{"amount":"+0.7428406476974487","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":"Q5428869$62E6D236-0DA2-4D92-9370-531921544736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797add19ebdb4dc69afb5f1ee72284d6fe57c3de","datavalue":{"value":{"entity-type":"item","numeric-id":4910573,"id":"Q4910573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5a66e9e337d5bae7c55d832484d9a5bab33178","datavalue":{"value":{"amount":"+0.738223671913147","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":"Q5428869$F28BFA2E-FF0C-47BD-B12F-267DEF22EF54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Theory Makes Formulas Large","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_Theory_Makes_Formulas_Large"}}}}}