{"entities":{"Q1209613":{"pageid":1220362,"ns":120,"title":"Item:Q1209613","lastrevid":47152534,"modified":"2025-12-31T20:38:26Z","type":"item","id":"Q1209613","labels":{"en":{"language":"en","value":"AC unification through order-sorted AC1 unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168211"}},"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":"Q1209613$CA82B0C7-36B6-4066-B1C8-D22628449EA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d472a5324a900df0f222e1233366e45d4966115","datavalue":{"value":{"text":"AC unification through order-sorted AC1 unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209613$50096EFD-4958-4417-BB3D-504E6EE76413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fed60878464c4b8eef888317c103c2ea2f404c4","datavalue":{"value":"0778.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209613$3B75F537-E113-467F-9B44-C8A845CB041E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e4b906111384f1ade3ca3ecf77e1f6202350172","datavalue":{"value":{"entity-type":"item","numeric-id":265051,"id":"Q265051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209613$F37544D6-476F-4A00-B2F3-4FF04AEC8C4D","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":"Q1209613$D410A67B-2C8A-4899-93F0-BB352784F6E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1209613$551E6904-0DDE-4E3C-8CEA-5580250ED55B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209613$45DD132F-3F30-4F6D-A1B3-066E9F575F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209613$6500EC55-8216-4D15-9BD1-9A08601ED563","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed0eb77240da4d9f1f64ed925afe17c2263d5262","datavalue":{"value":"168211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209613$FB795E15-F700-469B-BFD6-226EE579442A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209613$03856FBF-8EE9-44BD-81EC-B4548D611731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e26f640307af34f6546c407d7577c5f59acd6f3","datavalue":{"value":"Associativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209613$ED7E37BA-1A5C-4C03-A980-CA575C27141D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50c938224d74923e923c0fb5c8381c176483b4ad","datavalue":{"value":"Commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209613$906F581D-502D-4075-A021-D3A7FD1356EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5522ead2838de660c46039a337055af026468ae3","datavalue":{"value":"NP-Complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209613$5A733851-E377-4B1E-8285-DB6312D01EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f4fd3ca84a8b2ca6df6bb520280a5c56986acc","datavalue":{"value":"order-sorted unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209613$3939314A-7538-4BA4-9A99-C925E0131EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aa5bc7bae9d371215c9dfaff5de67ce08838ea6","datavalue":{"value":"collapsing theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209613$4A0DA168-D54E-4051-B15A-1738D921BDFE","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":"Q1209613$41B50DD2-E461-4CD6-A5A6-663085338DAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f723a7dcaa1877bf57d0f7d2e3218d3dc2f5acf8","datavalue":{"value":{"entity-type":"item","numeric-id":5055752,"id":"Q5055752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5b952e64cf7cf4c6514086d7d07e0fb02d03fe","datavalue":{"value":{"amount":"+0.9998236894607544","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":"Q1209613$3AFEA25F-AE3E-431F-B3AF-1E2D24D02BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc1b7c07f0a96c9147c1bab4ef9db38c6e00ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1099654,"id":"Q1099654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8485237810c62cd7aa12169f5f9124116b304e","datavalue":{"value":{"amount":"+0.8480314612388611","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":"Q1209613$CE2825EC-D68C-4447-ACAF-AD994BF73E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a3013126c88788e1f2abca5dc5b703dde202bb","datavalue":{"value":{"entity-type":"item","numeric-id":3805960,"id":"Q3805960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2dfa26e944eb426288bec7863036fe1c3ee1f4","datavalue":{"value":{"amount":"+0.8471651077270508","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":"Q1209613$1FA83A28-DFD1-4A86-82B3-D6AEF7612A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17933c17044f6249c98bbea6854df8139e935ea1","datavalue":{"value":{"entity-type":"item","numeric-id":3703287,"id":"Q3703287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac381c7c775bcb384d99ba9f3aa77631f4362547","datavalue":{"value":{"amount":"+0.8259414434432983","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":"Q1209613$EC5AE131-9A95-405F-BCC2-E8C1890A8FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449016d82a18f729fff77be0c6f6c6787983951a","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49018e75577f5c1d270f68cdbc0b8b9fb7c8df3","datavalue":{"value":{"amount":"+0.8236636519432068","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":"Q1209613$902DAEC2-E680-4FA7-8A14-F547F107B99A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1209613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1209613"}}}}}