{"entities":{"Q4647533":{"pageid":6677114,"ns":120,"title":"Item:Q4647533","lastrevid":82241498,"modified":"2026-05-06T20:26:13Z","type":"item","id":"Q4647533","labels":{"en":{"language":"en","value":"Unification in pseudo-linear sort theories is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001923"}},"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":"Q4647533$6E3176AA-D160-4614-BCF8-891274117FEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7179e3749fcfb216cd19e7b5368ca52147ce2dbb","datavalue":{"value":{"text":"Unification in pseudo-linear sort theories is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647533$F8B20A6A-205C-492F-AD5C-5541B04D7AE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feb77c14445f90a36a9ba35f997b9bae2a4f38b3","datavalue":{"value":"1415.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647533$A5120DDD-6974-4B86-B807-2F56FABB7706","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0971583d5937c3750b366a0ef08869a88ab99bdb","datavalue":{"value":"10.1007/3-540-61511-3_99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647533$BCFE1771-1617-40A9-8958-62655BAAF017","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647533$B39C14A9-8C76-4FBE-ABFF-3626CC2363D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647533$07BBE709-0344-4E8E-AA64-835A5D3FB36F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647533$9D929A7F-F505-418D-B4B6-E6538BC1DEC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647533$D9024CA8-1739-49EA-AE25-975B2CBF2730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647533$BFF511BE-D8EA-4791-81EE-58EDB8C80B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647533$75EF1018-F8F3-43DE-948A-61BAD4541AD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7370a1bd5ec6176ee919743d6b1da4cd387a039","datavalue":{"value":"7001923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647533$227664F6-9C36-4E91-B273-4B52665BBAC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647533$E2A421D3-31B2-48EE-AFB7-BCC1B93C0409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9feaf7a2b9646a8d84d2a92824d6d5e86233e036","datavalue":{"value":"decidability result","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647533$CFD5198A-E6B7-44B4-B882-AB3B642E1485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bca991e55aca2cc687cd17d911f9dcb07aa6e44c","datavalue":{"value":"ground term","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647533$4B7DAF42-E72E-46F1-8D9B-86B6D717A6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647533$3312FD8C-5D81-472F-A4B3-DDB239165A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647533$815C3D55-E3D6-455F-8231-6893BA19F657","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":"Q4647533$B7419AC8-947F-44A5-BAA6-4DFF3955141A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"470e7aa79b12a08c7130d4986664b5e424a76ff9","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_99","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647533$7601C108-697F-4842-9017-1488AD862CD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18ff467c0eac4c8f570634a00bf4ec3f254e76bc","datavalue":{"value":"W1562994860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647533$1BAEA723-C0C6-4918-AF81-C9C6281D921A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"147d95748fc6218e5d9397f8fa462fbfb99be2ba","datavalue":{"value":{"entity-type":"item","numeric-id":5096779,"id":"Q5096779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647533$735BDF35-DE79-430B-91B0-BF6A15BA383E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bed3cc28811a5e3f4dd5352c6cd345f8a75b6dc","datavalue":{"value":{"entity-type":"item","numeric-id":4632446,"id":"Q4632446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647533$C211C61E-DEE0-4E04-8405-6DC60CC4D69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9386b4272b452b92ed0c1c95bf80f247d5fb10e8","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647533$377EFBC6-19DB-4916-A9C2-57013210FF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647533$AC35874E-5F01-459D-B376-3FE88CA04EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647533$065DE298-2100-47A7-862C-DE5AF6B02476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647533$13D72B15-4B89-46B4-974E-14F74FD297E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e854bf84d79413ed022d529553902fa3a79572ed","datavalue":{"value":{"entity-type":"item","numeric-id":1380412,"id":"Q1380412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647533$C672A29F-CF44-4FF2-87A8-B3822EDD1457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f054e00d8c41d716c93e7c6fad80f0d0d75871","datavalue":{"value":{"entity-type":"item","numeric-id":4860657,"id":"Q4860657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647533$05140563-E23E-4580-B7B6-9998B77BF7CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fb984d35bfcaed6a17c6eafead4da56a218195","datavalue":{"value":{"entity-type":"item","numeric-id":1380412,"id":"Q1380412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db96534213e22012d4fd6af1a48bf0007858e683","datavalue":{"value":{"amount":"+0.8894062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647533$85450EF8-A980-4644-8A3B-96EDD20EE538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c013e3e391b5c73ba07a6f62b06499fd05007a1","datavalue":{"value":{"entity-type":"item","numeric-id":3786021,"id":"Q3786021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b824266ff284981be3239a913e997cb1e2a01260","datavalue":{"value":{"amount":"+0.8751457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647533$4B1C02CC-5020-4AAF-9AD5-53E7B73580CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924c1e9166e3a3eee9cfe0755f37b4f78a7e7e6c","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b6278c8e527db9cc28b37961572154dc5c6915","datavalue":{"value":{"amount":"+0.8671777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647533$2094A5C8-2989-4D73-8836-CA1A87C29103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf1bab982c15339270d4ab049304d1e2ff7e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":1105360,"id":"Q1105360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40f799bc2e48397aca8f10861a37179b809d90e","datavalue":{"value":{"amount":"+0.860126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647533$ECD48DCD-5D88-4EC1-8AD3-74FACFB1BA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7461aedad43fc189edc0c1952fcf4a60d1569a","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3125df05763f46e71c11e891db32318a9d6ad555","datavalue":{"value":{"amount":"+0.85639465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647533$E16C5147-D570-496A-8A80-8A1EC4CB0BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff3e9d47b4998a80945f7b604e1447625228f15","datavalue":{"value":{"entity-type":"item","numeric-id":2456577,"id":"Q2456577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bf45f40b2c41f2abf926fbfc9fb1b4f0bf8074","datavalue":{"value":{"amount":"+0.8533652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647533$18240275-C1B8-437E-910C-CF02E75EF9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378905a4e763ddc542c0601e8ca673be62d7c10","datavalue":{"value":{"entity-type":"item","numeric-id":4411845,"id":"Q4411845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bf45f40b2c41f2abf926fbfc9fb1b4f0bf8074","datavalue":{"value":{"amount":"+0.8533652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647533$746100DA-FE8A-4F46-8A07-BD68F8460305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5324d2665727850e5c41647da1b2fc2f4691e2a","datavalue":{"value":{"entity-type":"item","numeric-id":3838759,"id":"Q3838759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bfed0e88b596f68ce3e98635947288fa81cf122","datavalue":{"value":{"amount":"+0.8511037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647533$F908F90A-D303-4FD5-B87C-9ECA475EE361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37a6a05bb97dbcd0142b9be54715d0dbf6c8aab","datavalue":{"value":{"entity-type":"item","numeric-id":1824410,"id":"Q1824410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c082dbaaf6268ff8042a12eeaad396ff488f67","datavalue":{"value":{"amount":"+0.85072845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647533$E5FB672A-54BA-4797-9E63-D3D5832F95FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63c02defeaa31668522323b4ba019905904dc1d","datavalue":{"value":{"entity-type":"item","numeric-id":3334107,"id":"Q3334107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca7f784ff116a13a33970f4938d99c229b956da","datavalue":{"value":{"amount":"+0.8505058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647533$EFCD04BA-B997-48BD-98B3-6177E56888B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification in pseudo-linear sort theories is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_in_pseudo-linear_sort_theories_is_decidable"}}}}}