{"entities":{"Q3195706":{"pageid":3206414,"ns":120,"title":"Item:Q3195706","lastrevid":45651040,"modified":"2025-12-12T00:58:14Z","type":"item","id":"Q3195706","labels":{"en":{"language":"en","value":"On the Computational Content of Termination Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496625"}},"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":"Q3195706$CBDC5C85-FC02-4CC5-B097-AADFAB4BF340","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02611a60cf4f4564dc1e7f578847aeee13820ee4","datavalue":{"value":{"text":"On the Computational Content of Termination Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3195706$FD967461-3EB1-44A9-B398-85C71E88C983","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bcead4808410563c947588160d18050e1439d59","datavalue":{"value":"1459.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195706$7A0BB5F0-4420-4D48-A4DE-87B1AE100F68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f8d70aa01bf7df00a31d804486016bb7fc01c24","datavalue":{"value":"10.1007/978-3-319-20028-6_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195706$7A0957F9-6E03-4C91-8090-FA9864751C8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39ee08c48ae28407a794503fb9ae66e254bd82d3","datavalue":{"value":{"entity-type":"item","numeric-id":3195673,"id":"Q3195673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$7FAD6DDA-42D9-4C0D-8523-A5E39F6683CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3195706$87DE20F5-196B-4D7D-8D15-E14FCA710501","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195706$8AA36DEC-8835-41E2-9B92-9427DEB6FE49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9f7eaa0a28f926ed28d7f208d218eb6daaecde0","datavalue":{"value":"6496625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195706$A972672A-9890-49F3-9B84-7DA535974335","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":"Q3195706$5A6D7E3A-C414-4483-93E6-7C0F7A2088F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96e4aac948b73430a2708bd3fe48e0c1b5d36cfb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-20028-6_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3195706$0C03A404-3167-4DD1-8AB1-CE04930C68E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ecd00cc293ddf4fed1a1c0790a0bc65328d7722","datavalue":{"value":"W952401291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195706$F208A0C9-8AE6-44C5-902E-6E2413F09AB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1f24d53123d6885e349219044cd2216b80aec1","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$01C75C0B-AD48-4D28-AC68-177A39937EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8f5bf3bbbb90d2771a6bc1a5bd5d42d5f4b4df","datavalue":{"value":{"entity-type":"item","numeric-id":673975,"id":"Q673975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$E142EA9A-26F4-4CE6-A8D3-CA0A712682E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb5bacd666be23a0df6f86c663a34e93fbfcc10","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$A6760A3F-F647-4DDF-82F6-62936E0E924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$4629F380-8BB4-420F-BCEE-8742818B5B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51672464030db7d9d5eb26cf1564be8ebb1d5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4447240,"id":"Q4447240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$12AD2892-D237-44E4-A32E-B06BBCC8C10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173eb0ca706b90c3f5e98576319b1aac6f73c7d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138831,"id":"Q3138831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$CB3C115F-1160-46B3-9CB9-9261AA80446B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d25837ded14d6394ff95e33c185112b70434e94","datavalue":{"value":{"entity-type":"item","numeric-id":5297489,"id":"Q5297489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$24434076-51AB-4497-AA78-DE81138BAB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89bcd8e418915208d90aad0343722539662c48d","datavalue":{"value":{"entity-type":"item","numeric-id":2987062,"id":"Q2987062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$B1FDD235-8A4C-4902-8B20-FB8F078A656E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$5517502D-455C-4B1D-A094-0551047E4CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd6b38fc9ab896b9a07fe2f0445e2a8ab6dd93f","datavalue":{"value":{"entity-type":"item","numeric-id":4783327,"id":"Q4783327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$60E86AAC-972B-4E13-9279-00CA07FE8C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9800694178a8225a90f9998651ddae50f3d079c6","datavalue":{"value":{"entity-type":"item","numeric-id":4254685,"id":"Q4254685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$CA6345BE-654B-4C33-ADDD-EF7AE8C964C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220dbc781dafa493813c640157524f7a834d9a0","datavalue":{"value":{"entity-type":"item","numeric-id":1295413,"id":"Q1295413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$AE5F5548-EC30-4C0E-B0D6-516FD030931D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecaf21719395d34fbc7e5c093690839cc2902799","datavalue":{"value":{"entity-type":"item","numeric-id":674412,"id":"Q674412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195706$2A2E1A0A-1C55-47DD-8B06-39F5F9A6D569","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":"a7051c678dcfbae386b62dcd9108f0c0af86e98f","datavalue":{"value":{"amount":"+0.9221319","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":"Q3195706$330A7C86-8ADE-49C8-AEF0-14A75CFFE81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ce7408ebe9c4f82ebcccba787dba6f4ad2d28f","datavalue":{"value":{"entity-type":"item","numeric-id":5714440,"id":"Q5714440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54cea5392b2a53604d7379512cb69e6f43e9b97c","datavalue":{"value":{"amount":"+0.91909236","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":"Q3195706$B8D8E1EE-E83D-4D7C-8557-E2BCD0EA9548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce097c72792ea69adc8f868592adf87fb96ab85b","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cda41fb8903e1535db7593abf40ad3a8137cc79","datavalue":{"value":{"amount":"+0.90264565","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":"Q3195706$2E73BEE7-608E-44D2-B385-12A3191C72BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e289159aac412911418892251df2ccdf1333e75","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c318ba2a26e2f78a076a5e743700863b7c4a7d53","datavalue":{"value":{"amount":"+0.90078855","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":"Q3195706$5DA364E0-9CD0-4000-8FFA-D49635688778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e924b4978e6e4f9bdd7d91426f2bd9956574c58","datavalue":{"value":{"entity-type":"item","numeric-id":4732468,"id":"Q4732468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94546efed10d3f89b604ead02c99c956ad6d844","datavalue":{"value":{"amount":"+0.9004078","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":"Q3195706$C7D7356A-7EF8-4BEB-BE81-99903B4B9A03","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":"1ab78bd16437e795027d1d0ba4165289e552a3b9","datavalue":{"value":{"amount":"+0.900144","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":"Q3195706$82269D63-9C89-4E7B-B1F0-F3C71E195EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66f653b73a9f75a4ccfaee63026d7f30ab1d7c9","datavalue":{"value":{"entity-type":"item","numeric-id":2946345,"id":"Q2946345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d8a07b8625addda6a6894dca777a11aaedf5d3","datavalue":{"value":{"amount":"+0.8993886","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":"Q3195706$7654752A-B791-42AD-ACB0-D79A67703D28","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":"fd49741d18a8d2d2cf6768d7690b2490e3dce6f2","datavalue":{"value":{"amount":"+0.8981059","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":"Q3195706$0750B0D2-9DCF-46B0-8174-43F6F58317AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8945dd5ea8b23803758fedaea5e36aad46444f","datavalue":{"value":{"entity-type":"item","numeric-id":4494365,"id":"Q4494365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56cfd2abfdbe9a2ee2be8b6d5e9679c41ed15f78","datavalue":{"value":{"amount":"+0.896207","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":"Q3195706$C410904B-E674-484D-ABA1-58E82E693CF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3195706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3195706"}}}}}