{"entities":{"Q878156":{"pageid":880004,"ns":120,"title":"Item:Q878156","lastrevid":65065371,"modified":"2026-04-12T00:05:10Z","type":"item","id":"Q878156","labels":{"en":{"language":"en","value":"An institution-independent proof of the Robinson consistency theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5146182"}},"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":"Q878156$21382F4E-5487-4790-989B-9B754E82AF68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4102bf029bf0868d14f600019033a8a910d28ca0","datavalue":{"value":{"text":"An institution-independent proof of the Robinson consistency theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q878156$216B2CF4-39F5-4678-B0A1-CF9E04BF6047","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d01afd0c6a8eb0685af31a05f94cd4d87e4dea00","datavalue":{"value":"1123.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878156$8334AE23-C62A-4DF9-9680-1CE5E2A20159","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d638021660716db5787978cf34b6aa4aef754d","datavalue":{"value":{"entity-type":"item","numeric-id":878155,"id":"Q878155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$C8D04505-2BA7-4EC6-BA55-B5737246577C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$88CB2CD7-D27D-45A3-93A3-B96A0BBC3BA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$06303C3C-206A-496A-A950-C40C023AD967","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"018eb3d5a1529ba4d911dfe810dafc033402deeb","datavalue":{"value":{"time":"+2007-04-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":"Q878156$3B33F10B-D15B-4538-B67A-72BB7F771BF9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e96b7b8f2ed176310f5d303f2038c47be4135542","datavalue":{"value":"The authors develop a very general proof of the Robinson consistency theorem within the framework of the so-called `institutions', a categorical abstract model theory which arose within algebraic specification theory.  This effort is part of the grand project of institution-independent model theory, which attempts to develop model-theoretic methods and results independently of any commitment to any specific kind of logical systems.  This proof, which of course subsumes the corresponding classical first-order result, has been instantiated to a large diversity of logical systems, thus obtaining a rather impressive array of concrete Robinson consistency results and consequently of interpolation results. Most notably, through this approach a difficult conjecture on many-sorted interpolation has received an elegant answer. Other remarkable applications include interpolation results in infinitary logics and in logics with partial functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q878156$49EF7EC5-FBEF-4FC3-ADE0-4F1390E49E37","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$10414323-02A1-424F-9452-A519447256C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878156$03BFCF21-D18A-4037-8BE2-6E950E81B14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878156$B1E23C7C-D795-416F-91F1-1A1125F50E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878156$9AAF416D-2908-4304-8699-00C571D523BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9690e1734c9355b3a456b6eb04d9fb8ea70eea0f","datavalue":{"value":"5146182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878156$6968A4D5-1756-44D9-B729-E5E8D10DB185","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q878156$919D288A-7A78-419F-8E39-B9FC0B36259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a5439a100475f00aa9af0904c67bb02882336f6","datavalue":{"value":"Robinson consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q878156$54D9C852-1573-495A-9733-70B15DFBE223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q878156$851630C6-40BD-4F18-8CDE-BF657021F757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10cbdf1484a514758621c0544b1b6aa6d286d9b9","datavalue":{"value":"elementary diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q878156$CF5436F0-5B21-4098-B20D-987DC4D9EEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ecffce69e012e992539c6ecbfc71770f0c43c05","datavalue":{"value":"many-sorted first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q878156$FC346308-F485-4584-88F4-8A33952B68C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80d02d2f6373abf33342f157a5ae53ab7fb08ee3","datavalue":{"value":"categorical abstract model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q878156$F31C9223-BDEB-43BF-BA44-4FA87ABEDC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7a0a30587ad2b5ef001c60a6789c65e9579a897","datavalue":{"value":"institution-independent model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q878156$430F1739-F1D7-4FF0-AB71-84BF21097987","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$E38F5489-DBD9-4B6C-ABED-31448AF28C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$991B8A4C-F18C-42A7-A8D9-7F1D51234F2D","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":"Q878156$00719E97-755D-44F1-AF69-9CE6AFD35521","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f35bc0d183618b0aca6adae07bbe93921d6ebc81","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9022-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q878156$27D84D11-C3D2-497B-8493-2DE161B1AFE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f792fc4141ac85592d4642c9e611b864604f904","datavalue":{"value":"W2094090571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878156$7C5C1F1D-F635-4C7D-9B42-7884B1C5702D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$80D25C16-9E9C-49D6-9451-F9CE62EA1B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13135fa50c92369f5593c5c60b5fb964b14c4c04","datavalue":{"value":{"entity-type":"item","numeric-id":3474270,"id":"Q3474270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$80D49D5C-1BF8-4547-91F9-948FE18CCB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"084688740ea4b7ca8c9361b02f6d35efb3e492c2","datavalue":{"value":{"entity-type":"item","numeric-id":2716926,"id":"Q2716926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$230E7EFC-B824-41E2-B2E0-1CB9CAF8F58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fcc1e1b34c312ad9358ca50b3ec2aa6dc36d22","datavalue":{"value":{"entity-type":"item","numeric-id":851912,"id":"Q851912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$73EFC6FC-CC84-4027-B945-A6BD8C7FFEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c17e9c215d704efa02ed5bd1aa04a456963392a","datavalue":{"value":{"entity-type":"item","numeric-id":1853454,"id":"Q1853454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$C5BA8F64-7022-43D3-80F1-BE644F827B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$55C681B8-FEDB-425C-A0AC-61D0FC1F4AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f843d3d20a3156c4c33147dd32e4cf397942a8","datavalue":{"value":{"entity-type":"item","numeric-id":4875304,"id":"Q4875304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$EDB56F7B-1F93-4AA2-B825-09E7B71F285E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$4A6DA434-2ADC-4895-8899-1FA195C3629B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$A222A47B-416D-4962-B70B-AC0FA285F7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e5ee6c74446bb1d563024cf0c4d96e7f826eb","datavalue":{"value":{"entity-type":"item","numeric-id":4432964,"id":"Q4432964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$8273D936-CCF6-4A70-BAE2-1DBD7B211B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe3f980fc119b002b487bf3081d6fb285e26cf0","datavalue":{"value":{"entity-type":"item","numeric-id":4659504,"id":"Q4659504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$99737ACE-CF2E-43FD-8746-284A39DDBD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5213c52509acdb57ac43c8b8a97a79eb060f12c7","datavalue":{"value":{"entity-type":"item","numeric-id":2390213,"id":"Q2390213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$F65BE214-03D4-453F-B232-E3ADF2F63E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe52c95d628037676106287986652872dfa341d6","datavalue":{"value":{"entity-type":"item","numeric-id":1876090,"id":"Q1876090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$28F10645-A44C-4894-B49D-7B11B9895DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2060ad4d5f9e7fcb4e769cc5c2db1543ebd800","datavalue":{"value":{"entity-type":"item","numeric-id":1884940,"id":"Q1884940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$31A321F7-B884-4D5A-82EB-59EA8C457FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9127a08ce1284444c7abbb6644461d8d97e072","datavalue":{"value":{"entity-type":"item","numeric-id":1607048,"id":"Q1607048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$43004DDA-286A-42B1-AB6F-6BFA5C7867C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687285a3f6cb7651dc9e5232788fde5c05cf3112","datavalue":{"value":{"entity-type":"item","numeric-id":5661851,"id":"Q5661851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$946CABD2-39DF-48E0-891E-F87DAB651C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f310382c1893f74ce43344f63b6611c55eb4818","datavalue":{"value":{"entity-type":"item","numeric-id":3431971,"id":"Q3431971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$29290747-5D65-420B-8CFC-81AA3B7F2266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$CA365ECA-846E-4D01-8AC7-183E1874BB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$8000AD98-8428-4156-AD47-DA4F8C581C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$976E1FBB-437B-4280-9909-962F476BC44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea3b6e6c09533e34544748fe8f4288283d71dcf","datavalue":{"value":{"entity-type":"item","numeric-id":1283132,"id":"Q1283132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$08B4F3E3-300C-423B-9753-5DAA6EC06FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$A8E08BA6-F5A9-4DD2-A39C-5A4EBA01D85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$7F17E0DC-4E87-4BA7-A51B-D43B27643E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$E8232AC6-E8A9-4303-8C84-85D0A910A1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02bb13653bf736c163884115eb3f8d59e19d2e63","datavalue":{"value":{"entity-type":"item","numeric-id":5308386,"id":"Q5308386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$63967E0C-4A63-4C7E-B6B4-ED9B7A4E97CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$62A21929-B73D-4E1B-91F4-8FEB2120CAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e76c3561d4ad59b1eadb95f4ad79b1c13c964cb","datavalue":{"value":{"entity-type":"item","numeric-id":5311059,"id":"Q5311059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$B14D3B56-77CE-47C7-B3E2-A4499B4561A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335965f156f36c101431d6fc2c822e29c458e71f","datavalue":{"value":{"entity-type":"item","numeric-id":3914968,"id":"Q3914968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$DBB5A492-F56D-4D04-8C50-50A379C342E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b64d6e29dd7f8d28993eaa50dcc21da2a1c1ea8","datavalue":{"value":{"entity-type":"item","numeric-id":3669393,"id":"Q3669393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$9854D88A-BAC5-46E6-B1A3-1DF44EC34836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$01A8AD13-3F37-4DDB-B50F-E11370723685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee2617cef1cf0c9ff3231738b768f1c996bcadd","datavalue":{"value":{"entity-type":"item","numeric-id":1141138,"id":"Q1141138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$532545AD-87D7-4E83-BC49-2EDCC8215197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afada1e3beb9584ea2b1038acffba48b21881807","datavalue":{"value":{"entity-type":"item","numeric-id":3346382,"id":"Q3346382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$65CA2C67-8467-4043-8124-1427AABFCEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005add2b5cc8b538d854b2643532453d11ea471e","datavalue":{"value":{"entity-type":"item","numeric-id":3240238,"id":"Q3240238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$93B30C0A-B514-44C6-BD49-09ED35C709B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd8c898d6c268a3b51bc07b8cbb6b8385257c23","datavalue":{"value":{"entity-type":"item","numeric-id":4520823,"id":"Q4520823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$B7349BF6-CA98-4454-918E-56837FA242CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26bd5a2d091665bb9748f0afc8044d78bb7ada5","datavalue":{"value":{"entity-type":"item","numeric-id":1173754,"id":"Q1173754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$AD3FA74F-6147-40B8-B700-8E9A4F7A87C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a20bd4392df5eead51bf3e4f2378df7610d7b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4273484,"id":"Q4273484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$CB319B59-C5CF-49A5-B5D8-E47CDB6DF32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e49d3dccb82875b5a2fb5f0dcabcbb57379e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4715675,"id":"Q4715675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$654D0EFB-17D9-487B-8A17-BE5B37A3124B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$9528F648-3B14-456C-8E28-13583BA3AC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ded35fa4006f2f111406d3f785af5860f3b8d2","datavalue":{"value":{"entity-type":"item","numeric-id":3776610,"id":"Q3776610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$F4AD82A9-0B04-46FF-89D7-D5D44A668DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e33d995719930daceae5b9ecd9a739ea7b34d8","datavalue":{"value":{"entity-type":"item","numeric-id":1085969,"id":"Q1085969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$56E001D1-33CA-47B4-8F24-4BC7212E13B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$529D09C2-9E34-424C-8F0E-ECAB46647E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28039a446a03faca9d112ce464bbb91b9adbe1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5394160,"id":"Q5394160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878156$74F97106-CB53-4193-9132-D1F98837F8F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85465100f110f93013a143218cfbbac7808007be","datavalue":{"value":"10.1007/S11225-007-9022-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878156$43A799A7-D61A-4702-BF9A-0E9A8FEE925E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624684bff5f18485ddec25a6442bba7897d1a775","datavalue":{"value":{"entity-type":"item","numeric-id":3431971,"id":"Q3431971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd171eb00f22c2ec5c29afcce673090767bdd4a","datavalue":{"value":{"amount":"+0.84691393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878156$AC7DD4F2-EB63-4CD2-8A64-D7917A8772A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"198bc5520b1f2b8cc97a86074cea0fe15f95baa4","datavalue":{"value":{"entity-type":"item","numeric-id":995670,"id":"Q995670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b5e719708be45a30c37c55509e3059ee4bd2e3","datavalue":{"value":{"amount":"+0.8407068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878156$02EAC016-AC1E-4EFB-AAF0-ABE056B95CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660b225cd944f498669ce74a3881521b2f2a3caf","datavalue":{"value":{"entity-type":"item","numeric-id":1876090,"id":"Q1876090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8630791d92a2763b1dab71b2c92f010828de5be4","datavalue":{"value":{"amount":"+0.8400857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878156$68897AC5-07F2-4CBC-AC04-3A975E2ACEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64aee88bdc774d47038cd0b81eb9298c5b3d52fe","datavalue":{"value":{"entity-type":"item","numeric-id":1124588,"id":"Q1124588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7244ebcd4e8ebbb2b9e0e5f6b19b972ee6638dc","datavalue":{"value":{"amount":"+0.8300318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878156$6E89DA55-0028-41B2-804A-D8B7247CCA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84001440c32911836e0ec6aad527a231ab200e54","datavalue":{"value":{"entity-type":"item","numeric-id":536103,"id":"Q536103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec686da49ac87817c558917cf8fb4933587a0cb","datavalue":{"value":{"amount":"+0.8249977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878156$935AAB11-D50A-4ED0-9A5B-8331D3DB79ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da101f82e68fc8f9e728cc8b2396188b5b2de8a","datavalue":{"value":{"entity-type":"item","numeric-id":2075283,"id":"Q2075283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b21bb7f6658e9424af56dbf1a779984fcf2ee73","datavalue":{"value":{"amount":"+0.8181878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878156$E9BD3D53-D0A6-4ACB-9ABE-261AB6796636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a21b73d123ea38e8025a75e6dc9f3aafd718bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3612504,"id":"Q3612504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f593260c42b2e816e65202892de2b44887897ae1","datavalue":{"value":{"amount":"+0.8179205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878156$A712F29F-F7A7-4A48-96D5-64596D44774C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c7421af81b0ea6d8e606342912f397505abd16","datavalue":{"value":{"entity-type":"item","numeric-id":374974,"id":"Q374974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb530a319795f43664a5342ecb23d00f96f99bb0","datavalue":{"value":{"amount":"+0.8174634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878156$2F55EF69-F8F2-47EF-A7F4-285BC78BC425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2387096eb2e1a7b4922172811cdcd5105a472ce","datavalue":{"value":{"entity-type":"item","numeric-id":2390213,"id":"Q2390213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7359287c6a3d9af4f0eb054754c8b401ceabe8","datavalue":{"value":{"amount":"+0.81514084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878156$389D3403-5C52-4B73-8E70-47D3AE7B8977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3234deec24218a713dfb1f6b75ec8fce252df9","datavalue":{"value":{"entity-type":"item","numeric-id":578934,"id":"Q578934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5974bb1379ff3067cf46168e88ab0537bb8062","datavalue":{"value":{"amount":"+0.8108442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878156$92FE03F5-13C7-4AF8-AC18-3FA4B6968673","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An institution-independent proof of the Robinson consistency theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_institution-independent_proof_of_the_Robinson_consistency_theorem"}}}}}