{"entities":{"Q2486580":{"pageid":2497323,"ns":120,"title":"Item:Q2486580","lastrevid":48525037,"modified":"2026-01-05T02:52:02Z","type":"item","id":"Q2486580","labels":{"en":{"language":"en","value":"Canonization for disjoint unions of theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2193211"}},"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":"Q2486580$4DC88FEC-3DBE-44F7-8B31-B7C7EB98F9C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89a809a47b4711e302c68ab8fa662efe67983352","datavalue":{"value":{"text":"Canonization for disjoint unions of theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2486580$5CFED11C-1957-4E7F-A942-C060BB515A9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ca6aacfec2b401df7d15f54a6fea11413db890f","datavalue":{"value":"1078.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486580$18489673-F85C-4798-82B1-D46920F416B1","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":"Q2486580$9B1CA19E-84DB-4CA2-8B71-FB77BE014E35","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":"Q2486580$5FE252B9-CB32-445F-A7F5-F6AACBD23E84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$59A4E8BE-04C9-4B38-9407-D8FD6ABCF387","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90b8e08a65c3f6b60302137bec886dcfcd8ff418","datavalue":{"value":{"time":"+2005-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2486580$C4FAB021-A884-4FCA-B0E9-F8E0FA6AE520","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486580$A0011576-4ECD-4776-A8D5-EEC238F258A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486580$C7B8D1E9-BE02-43BC-A36F-5FE4CE0B165F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3299395ac19aec2fbc5277259c1debd8a54fc008","datavalue":{"value":"2193211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486580$1B3EC07A-1500-47AC-857C-7EAD07533A2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17648825294b1772a2653449a55d5d7d0774c214","datavalue":{"value":"Shostak's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486580$5ACBE953-D956-48F1-8F6D-E988A95BBDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486580$0FE086FF-C7CE-491F-BB12-AF0A3E48CCEA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$BD11E4F2-1762-4313-9DBA-3CFFF4D81C80","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":"Q2486580$DD537E18-14D3-4B04-BB8A-948F664F015E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a528cecd45cac100649c88b850453cc20333ac74","datavalue":{"value":"https://doi.org/10.1016/j.ic.2004.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2486580$3619A626-FBAB-4F09-B5D1-B62DF97B63E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6897759576fabad86b2b2168a619a79ab3a8be93","datavalue":{"value":"W2013378402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486580$3F56324B-CC0F-43BB-8659-94E67C53546A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6403b873c0e02d3cdbc49e287eade35ee54e4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1400706,"id":"Q1400706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$34BFFD5E-D302-41C8-9F64-206A005A7408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c10bd59885420c4841d56d098f27b4158c1d680","datavalue":{"value":{"entity-type":"item","numeric-id":4737130,"id":"Q4737130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$ABE74B51-217D-4DD4-B82A-764D4B90CD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873c37885da5e032ee4622e4ded8eb0b10c52a1f","datavalue":{"value":{"entity-type":"item","numeric-id":4417954,"id":"Q4417954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$77F5646A-0290-4298-A95A-59BB1E3711AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c5c9cdb6cd3f1038d3bc19f6f1bd7e7a7f182b","datavalue":{"value":{"entity-type":"item","numeric-id":4647541,"id":"Q4647541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$8AC2606B-136E-4867-B5E6-390811ECA309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ae4499d60c9f92206298cafeb8fd1f1998347b","datavalue":{"value":{"entity-type":"item","numeric-id":4809070,"id":"Q4809070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$9C5B11AE-A4F7-4D34-AE48-27E10B29094E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e64dbbb546a5392755da4de8b2aed8bca4d609c2","datavalue":{"value":{"entity-type":"item","numeric-id":5900718,"id":"Q5900718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$9E5F53CD-BB43-44FB-B544-A34DF54C5A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ed4ca6a95b4a15e8d95614681253ce3667901e","datavalue":{"value":{"entity-type":"item","numeric-id":4737127,"id":"Q4737127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$20B32E00-86E7-45B1-A476-4107018FE2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cd3d0ab7baf861d4f18d631f83f4f2c47afc7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$C5D9D16C-C367-408E-A872-A796D7682BD8","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":"Q2486580$676C7C3E-5A3A-4F1D-9BC1-1765EDE0C5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5de92acf23dc7526d7ac9b4b282b0674293360","datavalue":{"value":{"entity-type":"item","numeric-id":4081228,"id":"Q4081228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$6CF0D5F3-DDF7-4770-B632-241176C235E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac323e388c444a0ca95c4b018473e591435ea9f6","datavalue":{"value":{"entity-type":"item","numeric-id":4808819,"id":"Q4808819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$6392617F-B854-46F3-9A62-13097733E46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba93cc581c3932098a5bfdcf573e626fe8b598f5","datavalue":{"value":{"entity-type":"item","numeric-id":4808733,"id":"Q4808733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$9D200067-E2CC-4C04-B6C4-30D24C9C1FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d23d752af51468669438a65727e2f56ea73491","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$3736EFD9-095B-4A97-A770-7BC424860260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a748714b8345f91d27541e05f92e23fd3e4dd2","datavalue":{"value":{"entity-type":"item","numeric-id":1853591,"id":"Q1853591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$89991885-C57C-486E-BAE4-BB44605B46C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6866f585cfa776b9fccf0895bf6dd97331fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486580$4C42A3FB-91FD-4047-B94A-26BF55422CE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91aac2a85ef5be1731b5ce51de1545acf8f5895f","datavalue":{"value":"10.1016/J.IC.2004.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486580$7F0E04A3-8CCC-447E-8DB5-816C4E5F37B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d06eecad46b887507e787b27d88f5b056cc465e","datavalue":{"value":{"entity-type":"item","numeric-id":5900719,"id":"Q5900719"},"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":"Q2486580$76EBFFFD-F9FD-42C4-ADA1-EC811D5F45F7","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":"f7947d1b4d638729965e6142ff8b539d6ee48d48","datavalue":{"value":{"amount":"+0.8746846318244934","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":"Q2486580$2C59847A-3063-47EA-9C23-AFEE759FAAC9","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":"1998fa6a6c326906fa7c53d966dea4d51e8db44a","datavalue":{"value":{"amount":"+0.849675178527832","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":"Q2486580$286AB831-1895-41F2-8A7C-FB9F8CF8C72B","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":"c1ff718e049fda2e4c663c81dfa3d4731eeed3ad","datavalue":{"value":{"amount":"+0.8232765197753906","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":"Q2486580$3606A1A8-F0E3-44F2-846E-5B03EDAEA825","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":"c1ff718e049fda2e4c663c81dfa3d4731eeed3ad","datavalue":{"value":{"amount":"+0.8232765197753906","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":"Q2486580$DA53F7C8-6401-4A7D-8EBB-99DD1722E344","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2486580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2486580"}}}}}