{"entities":{"Q5326314":{"pageid":7355888,"ns":120,"title":"Item:Q5326314","lastrevid":51790412,"modified":"2026-01-20T01:30:14Z","type":"item","id":"Q5326314","labels":{"en":{"language":"en","value":"Ramsey versus lexicographic termination proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194825"}},"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":"Q5326314$623F4A14-3D7A-40A2-9A94-D73C973FD5EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6882fa18b7698492e3dd17f5ee485dd3b38edd9","datavalue":{"value":{"text":"Ramsey vs. Lexicographic Termination Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326314$AFA12641-DD4C-4F83-BE06-727BEAA0662D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b4f2b38e6fb1f1a2e3b62ca3f3b105b901130b7","datavalue":{"value":"1381.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326314$512F4522-55B6-4AD9-9054-F18A70C80E62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c7d2ba3c25e16e349bf1008ac59743ff8ed0d24","datavalue":{"value":"10.1007/978-3-642-36742-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326314$4FE89B36-E66B-4FEE-80A6-D04FFAC24F59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326314$0C1832F3-97EB-4B68-8649-1F9E593C775D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d65954a4329a4467f7d027379bd2b3fd7d5d2871","datavalue":{"value":{"entity-type":"item","numeric-id":5326313,"id":"Q5326313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326314$334B79C0-427B-45C3-8360-51A3BEB25A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326314$757092DD-82C0-4813-86FC-F1A3A693E384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326314$F3A7EBCD-5DC4-4D2B-92D7-04E09C7F8709","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326314$C386563B-764B-414D-8FC2-DF7CED6F0926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326314$978FF8B5-F53A-4D6B-8DE3-1B211D464481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1b56293b985f03762f7d463f8a7d0da278a1035","datavalue":{"value":"6194825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326314$CA88CFF1-EC8E-4FDC-88E1-E3D51024D4CC","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":"Q5326314$CC4F45A6-A6D3-476A-BF20-70E845788CA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe6d7794418cbb3f7ddb7f80f3b606a39cd3405b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326314$A38CDA2C-69F5-499D-83EB-93212A4A3399","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b0a8377be07caf8be28d27a2410029dcacdbe22","datavalue":{"value":"W1589106570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326314$9D1D3035-DA41-44ED-9DA4-F0786BBA20CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9270bc72fc26b80c8619c7d3c60dd7ad6813fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3523164,"id":"Q3523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2f32b9c696d968a8c9fc03936aad8f89e8c251","datavalue":{"value":{"amount":"+0.7802705764770508","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":"Q5326314$4D73617A-B970-4C0E-8D45-571FC5728E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ec267e9cad032a4874ca7bb352e31dafbe1fb3","datavalue":{"value":{"entity-type":"item","numeric-id":3636808,"id":"Q3636808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8428e3624f0b3604d823478fc695cd9138d08eb5","datavalue":{"value":{"amount":"+0.7675811052322388","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":"Q5326314$5AC13FBB-8865-4A86-866F-1A57712410AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a863ef2024b34afedba1bca55411e6f0dc57f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3522012,"id":"Q3522012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a3bd129ac4e1dd561a5bca6a4d52d9f5ac1c41","datavalue":{"value":{"amount":"+0.7515674829483032","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":"Q5326314$266BC745-40FF-4CF2-B8CD-635A485A64A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a3913b07e9027847b5a4eec7ab3e0f0fe52c25","datavalue":{"value":{"entity-type":"item","numeric-id":3608810,"id":"Q3608810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610b829efe8e45050039a3ea933261efa9d167a4","datavalue":{"value":{"amount":"+0.7495441436767578","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":"Q5326314$59DE23FA-F89E-449E-96BE-5641D95BD531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"166a8858962728707710dc92403e698332eaa570","datavalue":{"value":{"entity-type":"item","numeric-id":6488476,"id":"Q6488476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d860ed57bcfb22f8377bb9c17c7119303f1a90","datavalue":{"value":{"amount":"+0.7471312284469604","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":"Q5326314$B7B47137-73ED-4E52-AA39-B7EB17847CE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326314"}}}}}