{"entities":{"Q1887168":{"pageid":1897910,"ns":120,"title":"Item:Q1887168","lastrevid":69552168,"modified":"2026-04-13T07:47:15Z","type":"item","id":"Q1887168","labels":{"en":{"language":"en","value":"Decidability of bounded second order unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118430"}},"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":"Q1887168$3A3EDD35-5E07-422F-8DE9-44E091F00264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4817ed8b64441218ce2832521096728850ac1606","datavalue":{"value":{"text":"Decidability of bounded second order unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887168$18F0389A-D19C-4D6A-868A-A4881D792AF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4fa7805b79d4ba75577cadbaede954de9409c35","datavalue":{"value":"1078.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887168$C0C5AD90-6359-4772-A1DF-6B4D267E9D57","rank":"normal"}],"P16":[{"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":"Q1887168$2D4804E2-77DB-4696-9F4F-EEA354C099AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$30D68EA1-5F8E-462B-AA48-FD8848813697","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887168$23A688FE-DA87-4014-BC27-11C97CFDC850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e27dd606d16a59b527dd4acf4c606a514bb750b4","datavalue":{"value":"http://publikationen.ub.uni-frankfurt.de/files/4584/bouncsl.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887168$B1849AC6-9F7D-40EC-9ADE-6482924FC0B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887168$056307E0-B44F-4657-A4AF-8B8FADE46F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887168$1753A966-9790-44DC-8FC8-E2F8699A237D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887168$B7F2ADC1-2CFD-48F5-B6AC-8EDA8B97311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887168$A59704E9-7188-4198-9B11-0AB3AD3447BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887168$60954D24-6456-4493-8FF0-EC407E4C5A20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b3f8c02cb729f9f6d9bf9b832cdbf447aa57a79","datavalue":{"value":"2118430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887168$3182E467-C29D-46D2-B8E5-D8D2B4F0C666","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3af4f55700a7d0f245dbbc9c7f2a981f2e6267","datavalue":{"value":"Unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887168$352E6B2E-8E41-4C80-B50A-3F47A30809C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe4ad1058f1a9821f8bbe576a899cc24f6d7de2","datavalue":{"value":"Second-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887168$A2EF976F-6CB7-439F-879D-B4BA0B896D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887168$EFCBBC61-0521-4FDB-A5EB-75F294AA00CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837d715e6a1f906f271294b65365985653085154","datavalue":{"value":"Context unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887168$CA080F71-CD88-4CCE-A38C-C4B7D59DDAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887168$3A35901B-26BE-4056-8187-41E5C8A7EA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856cbb3a1dd9e116f4ff19f1aee6ebcdf5acff8f","datavalue":{"value":"Rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887168$42CBB3E7-02F6-44DE-A57A-3DCBA72E4516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad32c4bc09d69c510bce0d5684a81bffffbfb966","datavalue":{"value":"Higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887168$24499D12-6DD2-4ABD-BFDD-949A077FCBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffc105dc4ccd22eb858533ee06bfb10f277d0915","datavalue":{"value":"Logics in artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887168$71861096-9327-4958-803F-E570A03DBB66","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":"Q1887168$9528EAF9-4DAC-4638-9952-ED972A61D270","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2e46183d666893a8564b63f784615c26d24df00","datavalue":{"value":"W2096032711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887168$0434E5E9-697A-4512-BAC7-7995D0CA5CBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a4c6ba020fe36e67df493632903d5f8e8e95e9","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$2154FC6D-95FF-4EF1-B781-349867A48BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303eb3964db9127e4631b86a220d9feed74d7acb","datavalue":{"value":{"entity-type":"item","numeric-id":1264438,"id":"Q1264438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$3FEACAA2-ABFE-4952-9CDB-D01F299D0D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f948edd10fb44ba3b5ed2c2fb7d1ceb79354a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1264439,"id":"Q1264439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$FAF50322-B657-4B77-B23E-95F982F076D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$B7F3E4CD-177B-4DC4-9E03-5C6A3799BF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$DF7C8F25-E33F-44F2-840B-B33BF9B89EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b757d362e566e6bb8567869560a0af0408a0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1109019,"id":"Q1109019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$0C2BFBA4-360D-4931-8CFF-207723B8AF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$CF65707C-2359-43AA-B3B9-E41FF9AD0260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$9C632A69-EF51-41FA-AAB5-434981320C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$F81D19E2-2341-4519-AF04-932BEAD8C68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0382536376047a8a1e61b53a688d5d47c57054d","datavalue":{"value":{"entity-type":"item","numeric-id":3838759,"id":"Q3838759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$D787EEAD-E2C2-40D0-84B2-BB2D5CFD73D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0daad49a65c93609568ffc0fd3faf6b98b22e8","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$A725B84E-5B80-48D5-A5C0-CAC957D8BE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613e3988fb7cebf99242d8800f99ff1709b70e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5055871,"id":"Q5055871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$E3DC99E7-F3F2-4720-9D6F-4F59A26A4976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$5C2226EC-D618-4F9D-82E2-3D7214FFF309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96195abbf4699b29c9ed4377b35412faccc11fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819601,"id":"Q2819601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$8F01BB8D-A7CA-412C-B7B2-117E3CC31EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e5d2486b418d47588e9e6c8f4b3f6c40689c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3838760,"id":"Q3838760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$BC714BDE-9BB2-4059-8BBA-2800F5D48329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e5c86fba34c4ab93cfafd86662a49208c0d5d0","datavalue":{"value":{"entity-type":"item","numeric-id":4263157,"id":"Q4263157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$6060B051-6DA8-4F4A-A21F-810534BA9BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f2e897b9eeadcff5d84d426ad293549b9a5e96","datavalue":{"value":{"entity-type":"item","numeric-id":1599536,"id":"Q1599536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$C1D8D3A1-5196-43F0-B124-C2CC41EF4D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36a71b29d604eef73543c48ebaf0f67c4b252d3","datavalue":{"value":{"entity-type":"item","numeric-id":1275018,"id":"Q1275018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$7F8739E5-99FC-46A1-8B24-E0B618C8C0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba514721116fcba5045603e9524f6e2f496f221","datavalue":{"value":{"entity-type":"item","numeric-id":4796458,"id":"Q4796458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$8DE4D3C4-804F-49C2-91F1-ADFB81798FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887168$C0B6E02F-FE78-4A1A-AC3A-9073CC402BE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57468aaa529c74fca8f05e84e76d648de9a8988f","datavalue":{"value":"10.1016/J.IC.2003.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887168$0A287E2B-15E3-4329-863F-49A5C484B615","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7dcd2df8afbd3c241c13e3ec622e1430544349","datavalue":{"value":{"entity-type":"item","numeric-id":2889573,"id":"Q2889573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2760f01590891058624b89783bd31ccfb8d1367","datavalue":{"value":{"amount":"+0.8569998741149902","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":"Q1887168$8AC18646-F024-4152-9DFD-54876282CBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0addb1ddd45427e8350dac018e87ba97f86207","datavalue":{"value":{"entity-type":"item","numeric-id":3527311,"id":"Q3527311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab09620e418026b5f50dc6f1f99a6fa93eee1cb","datavalue":{"value":{"amount":"+0.853621780872345","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":"Q1887168$6AE8DD96-8586-4153-95A5-5E4BB4D8E0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08600648451cbff75dccd1f590a9db05d1a31563","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b3deba3738aac0f7373f84204823c11a20ba3b","datavalue":{"value":{"amount":"+0.833142101764679","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":"Q1887168$9DF54A4B-2867-45F0-AE70-24BA10D9A869","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":"58443b85d9985e56b2a630686f91bb363180a45b","datavalue":{"value":{"amount":"+0.831952691078186","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":"Q1887168$3CF04D65-028D-4BE6-9B1E-7DC6EC68D82C","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":"8942a311a17016d6f6508167e1afb8116f61d693","datavalue":{"value":{"amount":"+0.8304676413536072","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":"Q1887168$204EEB40-9FAB-4A68-A8F8-2060D9745FAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of bounded second order unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_bounded_second_order_unification"}}}}}