{"entities":{"Q5900719":{"pageid":8007012,"ns":120,"title":"Item:Q5900719","lastrevid":50958548,"modified":"2026-01-15T22:40:44Z","type":"item","id":"Q5900719","labels":{"en":{"language":"en","value":"Canonization for disjoint unions of theories."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695401"}},"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":"Q5900719$BB165587-5C43-456D-9D63-9B352C6C2A9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900719$B049D089-6603-4F18-B312-7C7A1FD1C5B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c023ad8fb3fcef4715441e2f3cee77e151d61775","datavalue":{"value":"1278.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900719$CBF08940-A5FD-4801-B571-E85F53A51798","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4553da8c1048cfe4c8999aaeff5b09130cfe2ff7","datavalue":{"value":{"entity-type":"item","numeric-id":1064406,"id":"Q1064406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900719$98637723-BBB1-4F81-A59D-CE19E7CBAFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a9c3e977eb61b9fc5b2fcb92fe6e8ddc0a12670","datavalue":{"value":{"entity-type":"item","numeric-id":287381,"id":"Q287381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900719$0428B0D1-6B2F-4F50-956E-803A36A00E84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900719$2F91FBEC-A067-46B9-8AFF-9D73B7BE6ADA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900719$5E3F7C37-1825-4A4C-9A75-2DA07E739AD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900719$9E1E78EC-49C9-44CF-90DA-3DE10D57BF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900719$D54A5CF9-6147-422E-BE8D-4166D3315E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900719$DD37F92E-8E5F-4EDE-BF91-77B7AFD3ABCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d9bba451c4fc865024ae52958047c99d3892daf","datavalue":{"value":"5695401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900719$2EFE38E3-454D-4B98-848E-ACDBF26A2EF0","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":"Q5900719$3834B68D-F393-42D8-85B9-60B58BE7BD7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900719$0B933A13-12D9-4C2C-8C0D-3AB2F85E5AB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900719$12D0DF4C-EC11-46B8-B2F5-501752EDFE02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900719$47718A88-BC2E-4E83-924B-7B7AEECF6844","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7fd6263f45b94a1a4c16de25f07701b68ae9d4","datavalue":{"value":{"entity-type":"item","numeric-id":2486580,"id":"Q2486580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0f801d9586f038dd628f1de8a675c50eac501f","datavalue":{"value":{"amount":"+0.9969868659973145","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":"Q5900719$93646093-D611-45E7-9063-9419F0AB64AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7753b0ba6315f743e142b8c993760203261530","datavalue":{"value":{"entity-type":"item","numeric-id":4808733,"id":"Q4808733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3cfb3778eabcf2976ce528d07d62ed21723f33d","datavalue":{"value":{"amount":"+0.8880329132080078","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":"Q5900719$41C75123-5983-46C6-8043-7B2843403384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8342bf3cfed7ce09d0dc84c25971b886ef9ebe1","datavalue":{"value":{"entity-type":"item","numeric-id":5709987,"id":"Q5709987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44dc6df948955f783a9dfba5756180568279ae8","datavalue":{"value":{"amount":"+0.8516055345535278","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":"Q5900719$553FD165-1225-4E55-8FAE-A5863D21DE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df786a5f9b1a51f2533cf53d5a6f7166edd2872","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d925417b02ce84e1929c1743896e81133b04a62a","datavalue":{"value":{"amount":"+0.8192837834358215","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":"Q5900719$1B160862-7BD1-4D8F-9FC1-9A3EC3389A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70405b4c8d58b4a74a98e9ebb84db1fcbd53eeec","datavalue":{"value":{"entity-type":"item","numeric-id":673624,"id":"Q673624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d925417b02ce84e1929c1743896e81133b04a62a","datavalue":{"value":{"amount":"+0.8192837834358215","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":"Q5900719$C05AE0DF-0AD0-4154-8877-8121B7AD6BF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900719"}}}}}