{"entities":{"Q4500172":{"pageid":6529765,"ns":120,"title":"Item:Q4500172","lastrevid":47025018,"modified":"2025-12-26T01:52:07Z","type":"item","id":"Q4500172","labels":{"en":{"language":"en","value":"Decidability of fourth-order matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501364"}},"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":"Q4500172$1B47013D-E67D-4080-9199-AAF3A2EE8D63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44fe23a37b0f2adae60708d62b0bac22ab544402","datavalue":{"value":{"text":"Decidability of fourth-order matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4500172$33D8CA1D-BE5C-48F3-BFD7-3FAD96673E49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a5b44a8cc96d2271f03a9b931a32a18eb26d3e3","datavalue":{"value":"0954.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500172$64749650-5651-45FD-9199-335C9C751EAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2602ea1a3adfabe1f8d6ca95e883d3c7a90c8ef5","datavalue":{"value":"10.1017/S0960129500003108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500172$FCB9627F-C60B-4987-BAC7-A61FEAC545FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7029e649153b4e379eb6726e107b4ef04884e346","datavalue":{"value":{"entity-type":"item","numeric-id":2778833,"id":"Q2778833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500172$08078932-33D7-4C9D-B8BF-575F63D96C1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500172$C31AAD08-A4F7-46E0-975E-1025977786A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6ee3df6eed3e87a230816a62b70508d73d827ec","datavalue":{"value":{"time":"+2001-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4500172$113652C6-442B-40BD-B464-568CFBE0B6BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500172$B6E1F21D-C204-48FB-AF73-AF4E2F213104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500172$DF25C572-98E9-4473-9803-94CCB993DBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500172$0A685546-624E-4BDD-8F76-4B32047EF761","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2c165a83c6b580ae42cbe4f55200e82250baeab","datavalue":{"value":"1501364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500172$6F9B73CE-1B13-402B-86BA-EEA2FCFB902D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7fc7bbe5e5a57f6caf449bbd17811701f1f9bb7","datavalue":{"value":"higher order matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500172$BD956331-8454-4B9F-9E92-28A55D53D83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500172$2B32C9F5-64BB-455B-BF95-EE5A5BB8CF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d367796d655a9c758bfa9cf61d854a4951f4f193","datavalue":{"value":"lambda-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500172$822FB52C-EDBB-47DE-A276-A929DED86493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6048833604a67bb80793fafd8b6e0dff8f0c946","datavalue":{"value":"higher order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500172$7D9868DC-FFFA-40F2-A16D-C56B6E787FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500172$0160BEDB-E4E3-44BA-A600-2F42E79B9CDE","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":"Q4500172$0C3BF153-43B2-48F4-9DE6-3519127F4A03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde1450e3a5391a8e12057fb4e6ae57779a7900d","datavalue":{"value":{"entity-type":"item","numeric-id":4218930,"id":"Q4218930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159fb3b24fcd4cffe19dacbc1aaad896e1f95aae","datavalue":{"value":{"amount":"+0.8794741034507751","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":"Q4500172$68A3D71A-7CEE-4786-80D4-C2A851C392A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d8706abfb84ac5217da1f08de69367c391d603","datavalue":{"value":{"entity-type":"item","numeric-id":3431410,"id":"Q3431410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb31a7c438fb493f6dce5c7db0bbc46bc89279f3","datavalue":{"value":{"amount":"+0.8587063550949097","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":"Q4500172$A2064BD7-4313-41C2-BD76-A08B38535992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab10f7b68645b8268d1dd457fb8356626471a8d5","datavalue":{"value":{"entity-type":"item","numeric-id":4795875,"id":"Q4795875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa94551aa909f078cb74921e9c89f3f35af8c9ca","datavalue":{"value":{"amount":"+0.8468168377876282","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":"Q4500172$F06DACA7-4B83-4439-9122-3D352CB90E2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4500172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4500172"}}}}}