{"entities":{"Q582073":{"pageid":583840,"ns":120,"title":"Item:Q582073","lastrevid":62948514,"modified":"2026-04-11T09:11:11Z","type":"item","id":"Q582073","labels":{"en":{"language":"en","value":"Unification in Boolean rings and Abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4129992"}},"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":"Q582073$4CB2C597-66BE-42E3-A2D0-487259F6DF7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3fa9c7bbd7ce0e543e89d92504c1012b58b8860","datavalue":{"value":{"text":"Unification in Boolean rings and Abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582073$B87A7DFE-5B3C-49A7-A7F9-BC404AD7C818","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"070ac6abaee43004acd71ff82abd636b9c0b646b","datavalue":{"value":"0689.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582073$76A13C35-76DB-4A50-B7B3-A395A2867643","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4623adea33fd9565ee8d514966d8256e9b7e91f7","datavalue":{"value":"10.1016/S0747-7171(89)80054-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582073$4F818125-21A7-4A3F-975C-7A327185C929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"788ac89b31e2c7aaa535692b5b9e6f1abe572f70","datavalue":{"value":{"entity-type":"item","numeric-id":582072,"id":"Q582072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$F8AB5BD5-B372-4AE3-9006-5ADA65BBFA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$E43C1832-8349-4E29-9F84-9A5327482429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$229774E0-0548-4288-8F9D-36F6807C7FD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$10BF91C2-158C-480C-8341-BCED998AED5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q582073$BF4F3F77-8479-4A07-B7CA-63EE9B9A8F8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582073$AB52C45D-8514-440E-A175-61C3B6CC5186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7dbdc6439da3df4db829af9393786bef4c8ea7","datavalue":{"value":"06E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582073$348CE856-6569-4A4C-BCD6-877F7BA5804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582073$DD9355DC-0A52-490F-8C10-DDF35F75A992","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e9744a93a1ffb4c25edeab1106ae437172f2ab5","datavalue":{"value":"4129992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582073$D4B179E8-8FA3-4D58-8024-D898FE30CE44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a6e8b4d2ee22a4cede5b47784e080ca851cb1d","datavalue":{"value":"complete unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q582073$1E4AA9AD-F193-4709-8514-EC72623226FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a17485b377f79c9938c1f14a78aaf75d544f333","datavalue":{"value":"arbitrary equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q582073$9BC56488-2D4C-4027-A193-FEF402C117A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b97a9480ed4d4701d7c4354da1202030c4198522","datavalue":{"value":"VLSI verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q582073$D2152767-2FC6-45C4-923E-FF6E388965B7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eee5eb49a86f14824749ab8c35474a8c9ef984dc","datavalue":{"value":"Q55878423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582073$8289CFE4-31A4-4230-A2F9-C233E1662743","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":"Q582073$2E1477DD-980A-4917-8D9E-1681F4DBBF03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc5b80b97f3352a9b25e8d4149ee9f88a4133b04","datavalue":{"value":{"entity-type":"item","numeric-id":5055707,"id":"Q5055707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$A6691196-AA54-4B1B-B928-B863B4C02D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271f4a7c2003a89ce24a1f14fd1296133af596ac","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$1C0F5B39-0DFB-4116-9F7B-41250980C2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa80180d2b637ed45ce99d0a3160b0b2727285e","datavalue":{"value":{"entity-type":"item","numeric-id":3782762,"id":"Q3782762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$B7ED0557-3E5F-45C9-BE64-63575A69831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e4e03f3dd8f7362d729507ad34add946ab883b","datavalue":{"value":{"entity-type":"item","numeric-id":3674088,"id":"Q3674088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$C1E9FE22-C522-461E-BCC4-5AF6529BE7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$93B8C7FF-DBBE-4A32-A882-A4904DF2129D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$15A099FF-B2FC-40D0-88E4-378C2431F8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b66524f6755d6d758022adbe743f7e88bb563d5","datavalue":{"value":{"entity-type":"item","numeric-id":1838952,"id":"Q1838952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$A9D0CEAD-E6B4-494E-9F3F-EA28CA4CB537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abc42fc8ffc23569c13bf6c75648de9ca35ca32","datavalue":{"value":{"entity-type":"item","numeric-id":3219154,"id":"Q3219154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$29FADD4E-1C63-4DE5-9E8E-FC4F7E6C5E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$B4BAD11D-98A6-482E-AD43-72285B41A263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea1e3bbd7bfcd33ccc11c2b2d5eccc4f0358d99","datavalue":{"value":{"entity-type":"item","numeric-id":3786022,"id":"Q3786022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$A8865491-3952-427B-BA30-1A91FB3BCFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$1BB0CB5B-CBC0-4E44-A339-45E9B3311548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$A4161F9D-7800-43AC-8593-931A2EE2B036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4ab424c7c716907b90b46a0a393fa512730584","datavalue":{"value":{"entity-type":"item","numeric-id":3811748,"id":"Q3811748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$B399F07F-3201-4D99-94B1-41429E06B288","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":"Q582073$53696915-BBC9-4FA1-93DB-0C6439A4F8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$AFCD7F80-B65B-4B4F-81D5-D10A6F0563B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e88635d4bbfcc4225b489e70aecd75b03442f6e","datavalue":{"value":{"entity-type":"item","numeric-id":3785922,"id":"Q3785922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$21876F8E-8E44-444A-BE07-4A49E43E715A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$6EF14A24-3320-4447-A17C-BB9340C42470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0deeb2cb06267117731d61f48ec1b47953178b6","datavalue":{"value":{"entity-type":"item","numeric-id":3716322,"id":"Q3716322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582073$35190CD4-69BA-41B3-8E9C-6140C33DA319","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba1a18a12747bd61dff618a5e1b20bc7bc83e78","datavalue":{"value":{"entity-type":"item","numeric-id":1112626,"id":"Q1112626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed551e97c911c99bcf8130be3f15247f4a4e0f20","datavalue":{"value":{"amount":"+0.8402188420295715","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":"Q582073$A68A5167-CE1D-40AA-856C-E043BE036F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42011ab62695471a9d2250f0fa3696f9c73b2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3811748,"id":"Q3811748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7610f3034125b4a21c329e4da5d00ca092e15d","datavalue":{"value":{"amount":"+0.82771235704422","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":"Q582073$EF48A443-7E1E-48E8-A6AB-6EBC1065480C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551c98bec1097f87d64b0fcc56cf347cb706fb6c","datavalue":{"value":{"entity-type":"item","numeric-id":3786022,"id":"Q3786022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b4047a72ecb14fe9530d2616ec8f309407200c","datavalue":{"value":{"amount":"+0.8083942532539368","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":"Q582073$E1200B33-F43C-4B4A-9082-19692FFBF0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55ece465eb1a993ad1f73083202e0f11d3e5080","datavalue":{"value":{"entity-type":"item","numeric-id":293360,"id":"Q293360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90550f405483138e04273a529e5181d4e5aea986","datavalue":{"value":{"amount":"+0.7982403039932251","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":"Q582073$DA3A0B55-3681-4514-BD26-5CE12CC088D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d09e583f6f966888effefb34480e31db8751486","datavalue":{"value":{"entity-type":"item","numeric-id":1854364,"id":"Q1854364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a75ef51d21d60f809f3258a4704d4cbf5020785","datavalue":{"value":{"amount":"+0.7892248630523682","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":"Q582073$0A6A614B-73CE-476D-962D-F0DB8D0AFF2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification in Boolean rings and Abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_in_Boolean_rings_and_Abelian_groups"}}}}}