{"entities":{"Q5167842":{"pageid":7197414,"ns":120,"title":"Item:Q5167842","lastrevid":58462473,"modified":"2026-04-05T08:06:58Z","type":"item","id":"Q5167842","labels":{"en":{"language":"en","value":"Context unification is in PSPACE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6312318"}},"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":"Q5167842$5D681815-D66D-4D35-A95F-8B60CAF54437","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1fe30815a8af69fcbcce0d9f3e182601bbfb8ae","datavalue":{"value":{"text":"Context Unification is in PSPACE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5167842$2DBFCF76-8EE0-4D5C-8466-FDEEEC439178","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7e9203a6e5b093eb106b478a455a3c1cc69a5a9","datavalue":{"value":"1409.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167842$FDEE0CA8-1AAC-4356-BCD6-9EFD704954B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cb186c68474c988bea0a09db01544b621aead87","datavalue":{"value":"10.1007/978-3-662-43951-7_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167842$5A72E78D-86EF-4212-98B7-D0540306BD4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"956ccad67dc502dfc66055868e0a535a76df3b6e","datavalue":{"value":{"entity-type":"item","numeric-id":248925,"id":"Q248925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167842$1F1E9639-0DE5-4467-9C65-A690C25B7AD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167842$233564BE-0A69-4126-954D-DF80FEFCB5EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e60bf630f2383f14de32b8ca35633600a7b19ea","datavalue":{"value":{"time":"+2014-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5167842$9956E9AC-66EF-4C3C-8F5D-6B1C05D05B3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b93feab59312ca100d443df88aa2d5737a6b5a1","datavalue":{"value":"https://arxiv.org/abs/1310.4367","type":"string"},"datatype":"url"},"type":"statement","id":"Q5167842$1A8EEDEE-AAE4-42AC-8F2A-DB146C78E5CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167842$98028ED3-35C2-4FE7-A179-9FB0CA3A5401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167842$4207C0BF-F68B-4D91-8517-B35475240B06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b7925ef851efec42d22bbab5a53aa2a77d4994a","datavalue":{"value":"6312318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167842$A78B2220-2606-429F-A68D-9879609795C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"860522228ae06ae28bf4edb68d858f5087c2f70c","datavalue":{"value":"context unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5167842$0CCF5A39-A9B6-455F-BBB9-CB72DBEB7769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c2e46beed5ba96220d06926ed1c2376b067793","datavalue":{"value":"second-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5167842$F0DEA367-DBC0-447C-B64C-DF8B75B35142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5167842$9993C5F5-7E36-4131-8747-635B3AEB1952","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":"Q5167842$62BF31FB-682A-410D-A57B-A6F233BC8947","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2684847431f4e3e02d85b1a940f3f8575d4bf862","datavalue":{"value":"W1492050056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167842$2C5CC3FB-1842-425A-84A0-792C2D4AE598","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2ff77bc6e1f5c4d90fe79c77f8133b2fa8db54","datavalue":{"value":{"entity-type":"item","numeric-id":5215468,"id":"Q5215468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d83e0be6833b18cda503e947ef0a1ae8ab9ce43","datavalue":{"value":{"amount":"+0.9388823509216307","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":"Q5167842$52741847-D8FB-489F-A9F7-C77E1778897F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c896c24632d1e07a553a78152309fab8dbea820","datavalue":{"value":{"entity-type":"item","numeric-id":2327536,"id":"Q2327536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f62cad4a8fad930705d87fa615ca817f078fb2a","datavalue":{"value":{"amount":"+0.8970656991004944","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":"Q5167842$9BC0F955-A765-4499-AF4D-2FC395648A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9d1962f2eb6901a257b7fd0ff230f97979239","datavalue":{"value":{"entity-type":"item","numeric-id":5300826,"id":"Q5300826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f37da5d5bf1375ceff6c67a2c6aaa8d54f358c","datavalue":{"value":{"amount":"+0.8226071000099182","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":"Q5167842$901CFA9C-E382-4BC8-A697-479C822613B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be099012a902a22abebf5e1d8270071146698a1","datavalue":{"value":{"entity-type":"item","numeric-id":4783328,"id":"Q4783328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d016c69427b8488c17c0a69697af5a8ae9ff8a1d","datavalue":{"value":{"amount":"+0.8098009824752808","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":"Q5167842$2BF14D33-09CF-4E20-9302-B7DE288FC396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f244b3c739c60c7602871754c7bcdd404e369625","datavalue":{"value":{"entity-type":"item","numeric-id":4263157,"id":"Q4263157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3e847e823ffde7bf995f67945569b45fda9320","datavalue":{"value":{"amount":"+0.8098006844520569","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":"Q5167842$9B431453-B0E1-4AB0-A5B4-6418674AD483","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5167842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5167842"}}}}}