{"entities":{"Q1228213":{"pageid":1238962,"ns":120,"title":"Item:Q1228213","lastrevid":66534129,"modified":"2026-04-12T10:47:14Z","type":"item","id":"Q1228213","labels":{"en":{"language":"en","value":"Complexity of the unification algorithm for first-order expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3519910"}},"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":"Q1228213$48E40E66-0B80-4FFD-BBF0-FC8D6013B76D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9f4fc59bd390b855ca01ec9b90f1bb9c6762aa3","datavalue":{"value":{"text":"Complexity of the unification algorithm for first-order expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1228213$F563317F-A56E-4749-B264-A01344C47992","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0ffd6506aeae1a355e57d09a4660c5184ee1f88","datavalue":{"value":"0332.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1228213$0B32E848-1CE8-46CB-8C0A-3B70484A46E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df65f6fce4053523ea8b1ff48062369d29ff4439","datavalue":{"value":"10.1007/BF02575754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1228213$C68BE3EA-E06C-4FF6-A897-5B3F19E3255B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1228213$6B987153-783B-4F67-9101-E40275EE4215","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa0ba58b3114d8fa3b465e5112e7eee5b47291c2","datavalue":{"value":{"entity-type":"item","numeric-id":260128,"id":"Q260128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1228213$F47F2D6E-42DA-44B3-9AEB-35F572BB8AB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1228213$E60B609D-2F68-4951-8348-00E0D356DCFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1228213$4C52C1FA-DCC0-42A8-8791-AEA7224BA56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1228213$129A8993-B7CF-4BC5-A1A4-9892065267BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1228213$021D7712-C4B5-4D3D-A140-F827A5B45B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1228213$B1262F06-65C1-4226-8548-C5704F2A707D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05928fb4063e754b6f2b6734c6b7ebc7da9dd609","datavalue":{"value":"3519910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1228213$CF33E298-C0E6-4211-8D2A-7CB3AA088BB2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b1289dfe070cfab5fa5203827a8bed11a8bfa495","datavalue":{"value":"Q56092430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1228213$48DF6A23-8F68-47DF-BDDA-A43E47E6EE9A","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":"Q1228213$FEE3713C-F224-4A7B-AA37-D68A7320A277","rank":"normal"}],"P223":[{"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":"Q1228213$AF6C2A74-7CE4-49E3-97E0-9FDB1CA34E0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47d6da14ef5399d7871b01200278f393b0f9a022","datavalue":{"value":"https://doi.org/10.1007/bf02575754","type":"string"},"datatype":"url"},"type":"statement","id":"Q1228213$B54D2032-4C39-4D29-84BA-32CA96CD2C7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8812b2b12698f9896baebf48477e60004daf393","datavalue":{"value":"W2141104250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1228213$16ADDB3F-1416-4F98-8101-BC6BC17CD0BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of the unification algorithm for first-order expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_the_unification_algorithm_for_first-order_expressions"}}}}}