{"entities":{"Q5216340":{"pageid":7245910,"ns":120,"title":"Item:Q5216340","lastrevid":94478054,"modified":"2026-06-05T06:55:17Z","type":"item","id":"Q5216340","labels":{"en":{"language":"en","value":"A proof-theoretic study of abstract termination principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168184"}},"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":"Q5216340$AE6065F0-746D-40B9-A662-E7F70B3CE11D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e244bc91f2d854deaeffaded7c7c250cb37a49","datavalue":{"value":{"text":"A proof-theoretic study of abstract termination principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216340$2FA64B36-C2C7-4361-B507-5CC46740C173","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9a11781b2cdc9e0cf39412d0c8a573b0fe3806a","datavalue":{"value":"1480.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216340$3000300F-4B2D-47AF-BA74-E5406B24D3BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7c9d6c0100675744974eb3bd7cd696e575460ae","datavalue":{"value":{"time":"+2020-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216340$F983D75B-F105-493D-9D36-A98149D55835","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d259de77c8ee5edd02b560c21e12872b3ea4dcb4","datavalue":{"value":"https://arxiv.org/abs/1706.03577","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216340$8CC60070-132A-422C-ADC4-6DA811C06953","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216340$F1FEDBB9-A50E-4ED9-A61B-853FC97FB1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216340$9B0DA2BD-5491-4795-A05D-25B82E0F7813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216340$52754296-0414-4EE9-8812-B08D983FBF42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0564d249efe68c45be0ace7482f0175d2bf30e1a","datavalue":{"value":"7168184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216340$A31F8638-D5DB-4AF2-B994-FC509EC4FA3E","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":"Q5216340$25E9AD6B-8867-4002-9ED5-FBFD0437B4BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37a2bc01169bafed4e32f2c1f26c122141b8d9d3","datavalue":{"value":"W2997174405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216340$35D52743-A22F-4E84-BBEB-70EBD1425439","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b48a2097d2deb42bbf0759cc659c9576cbca0bb1","datavalue":{"value":"Q126865736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216340$F367AFB8-1319-4EEB-9C7C-F6EC4201E584","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb11cb5e58538c1ae7edacda6b2ea5b38ba7e8e8","datavalue":{"value":"10.1093/LOGCOM/EXZ026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216340$A5624D0E-15EF-46E6-A80A-639978A46AF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a612263b32834f1768f0682a043e048099d64","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b4cb44766cf64ad6628efa1325ada14c5e9284","datavalue":{"value":{"amount":"+0.92371583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216340$5A0480E6-2527-410C-AA70-60AE5E839B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093ed203a166d7fdadea5dca99afeac0c355a062","datavalue":{"value":{"entity-type":"item","numeric-id":5055834,"id":"Q5055834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48482225585cab8ba1f86cd70535ecfc171b4588","datavalue":{"value":{"amount":"+0.9108114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216340$D1DBD958-7FD1-4B23-A95D-D381755A49DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a131c71e76eddfd40c0ecb8e8ead92f9e2fdc410","datavalue":{"value":{"entity-type":"item","numeric-id":4202962,"id":"Q4202962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c516137e236a2c223e79ef6abf3799ce068ea517","datavalue":{"value":{"amount":"+0.8921341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216340$EB855E1B-20C2-45CE-8474-A6106EA1B168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcce8ece0bc881a6adb213fe2643a1bfe9ee3bec","datavalue":{"value":{"entity-type":"item","numeric-id":4306397,"id":"Q4306397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596e7fc9f96556502f8a33d7b9ddbe8939e58b74","datavalue":{"value":{"amount":"+0.88926786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216340$2ECC0113-C359-4AAB-A349-EBEC5975C196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1766de9d21f0d1b1171413629f966b7677d02e1","datavalue":{"value":{"entity-type":"item","numeric-id":6045024,"id":"Q6045024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8018c6f74b2f1cf9a2ebbe1617c39bf5f11df9bd","datavalue":{"value":{"amount":"+0.88882804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216340$266F1A4B-9373-4466-AFB8-3DE34635F09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72a2a3c2253149a4db3c59aeba0a4b54ffcc02a","datavalue":{"value":{"entity-type":"item","numeric-id":2464725,"id":"Q2464725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128cb362a7305233dbaaacd566d57aecbdac5f5d","datavalue":{"value":{"amount":"+0.8887534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216340$59614F52-3764-49AB-8508-AD8938956E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a6cee3b595049e8201b5f7273869acc0e1496b","datavalue":{"value":{"entity-type":"item","numeric-id":2767031,"id":"Q2767031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c163f4fcf4f3c2be7bcfddeda893ea7110abf6","datavalue":{"value":{"amount":"+0.8871951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216340$835D8A56-71D7-48E3-A376-4CC3B9EDB1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211db3e7f011d05bb69203eff288ae10938d3e1c","datavalue":{"value":{"entity-type":"item","numeric-id":5385589,"id":"Q5385589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d2c2e27348e1495a2c0e236e1233a3b247851b","datavalue":{"value":{"amount":"+0.8833171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216340$7F1B78B6-65D7-484F-B149-63546BB947C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e75a6853abcf72a160bb0d2054234b62f9bc154","datavalue":{"value":{"entity-type":"item","numeric-id":2778874,"id":"Q2778874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2809ca1dc02251db5e48b290d979f650a7792a60","datavalue":{"value":{"amount":"+0.8831241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216340$5500FF9A-7537-4BFE-9FF8-6C2517D5EAFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216340$E1BA79FB-2C4E-4131-913A-705DC93D823E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof-theoretic study of abstract termination principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof-theoretic_study_of_abstract_termination_principles"}}}}}