{"entities":{"Q5096206":{"pageid":7125782,"ns":120,"title":"Item:Q5096206","lastrevid":41644588,"modified":"2025-05-06T16:57:46Z","type":"item","id":"Q5096206","labels":{"en":{"language":"en","value":"Termination proofs by multiset path orderings imply primitive recursive derivation lengths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571988"}},"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":"Q5096206$94C1E9B6-8D79-4D65-9604-65B574EA784B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"704ad3e1fa26f4bd33c8bc9230c405f324066cd0","datavalue":{"value":{"text":"Termination proofs by multiset path orderings imply primitive recursive derivation lengths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096206$3B3C2269-65B9-4D95-B67A-ADF5F4A428D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0a132727a2f7ee399773984a04a4472612038c7","datavalue":{"value":"1494.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096206$248CAD30-73B2-4E04-B1F0-2188BEAD1C0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d14eb10ec6f69292786f2c609b42f121c6fe371","datavalue":{"value":"10.1007/3-540-53162-9_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096206$28B8A254-C037-4B12-BEBB-37A47560E811","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6f35fa4c47014185c8455e3f00c2771df4684d","datavalue":{"value":{"entity-type":"item","numeric-id":199240,"id":"Q199240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$4381DEC4-0220-4CFE-BE5D-5677E432DE36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5c924014210483b0d24cc4cb7a016c1f568a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2956708,"id":"Q2956708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$210C6851-20BF-449D-AC76-F0DC5D508DAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096206$343094CC-FCB8-432C-ADF5-E026F0626BB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096206$A4818A3A-2EAC-4682-BBC2-D88328659DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096206$45033A81-C8CA-4C10-B649-F84F4FF84021","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccf7bdcd6826ea3cffbba924ac5b6ff6af3c0d5d","datavalue":{"value":"7571988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096206$D9D446BB-B9CB-4023-B13A-DB5B3A7573A5","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":"Q5096206$01CACE1C-59ED-4049-B121-2051592D7580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e00dd915340becc5bc8f8a768ecedc58d452c24d","datavalue":{"value":"https://doi.org/10.1007/3-540-53162-9_50","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096206$4E174CFA-1435-4B22-AB98-91599C14B9FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb9010344745666f7d5361159a0539b73320e56b","datavalue":{"value":"W4230078282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096206$09341380-8A4A-44BB-8A0A-49A79D2BEB74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1477c95b36c3b114f8ee0eff92c86db1f1dd27c9","datavalue":{"value":{"entity-type":"item","numeric-id":1187648,"id":"Q1187648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$BA34EB26-0F39-4F4D-AAED-68F2D32D07F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$4AC286AA-2F15-484C-83A8-F96B3D80751A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$5A199DF8-4EC9-41A5-B49A-700E287CF512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$B28849D1-DB91-4787-8513-4DFDABBE27D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5985ede7bd580a3b6a10ed6c28ef50e7923f93","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$A4FEED9E-EAC2-4A96-9239-D227BD1B6583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e6b612eb3cb0e65ff83e8cd8762940dc520785","datavalue":{"value":{"entity-type":"item","numeric-id":3659124,"id":"Q3659124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$EBA78CFE-88C5-4C95-BBED-E44F9EA56128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$A56B8D11-E57E-49E8-ACF4-819769AA4F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108976005e438ca70f7496d07e6faca25fa804e7","datavalue":{"value":{"entity-type":"item","numeric-id":3683533,"id":"Q3683533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$3BD641F3-9F15-447F-8D11-C3DDF2160479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$54D29C9D-80D9-4508-85CD-F61EF891264E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec90514b3ee51c6aeaedd6a27b942e28206d994","datavalue":{"value":{"entity-type":"item","numeric-id":1099655,"id":"Q1099655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$C6D66AA4-BA76-4460-83CE-340BFFCAE23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29b3c236e91c30852d16d4ed27cc41f72168feb","datavalue":{"value":{"entity-type":"item","numeric-id":5055737,"id":"Q5055737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096206$62A642CA-FA12-432E-8AFC-C5F169591849","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6385d4a95c988267a30b98baae30830dc6d1315d","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q5096206$753EB737-A1B2-46A1-BD1F-C0793E972081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15dd14431aad79c0ec12bc08e552b2fb5290bbd","datavalue":{"value":{"entity-type":"item","numeric-id":673975,"id":"Q673975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c80db7b1a7664901d9b5963ad2a6fcbc5485788","datavalue":{"value":{"amount":"+0.9289291","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":"Q5096206$4EBD89F1-B5BE-4E4F-878A-2885BB5E7CFB","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":"df1aa2fcdc953bd6c95c14202e100c388ec1ae9c","datavalue":{"value":{"amount":"+0.9002401","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":"Q5096206$DAD2E6C7-BBA5-4FD3-A68D-90F4AC108CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cd1a497e9d5bd1ff971781bbed7782a9278c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3683533,"id":"Q3683533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19c965cc338744be2751d848e4cf275038e94ca","datavalue":{"value":{"amount":"+0.8878684","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":"Q5096206$62013E0A-82BC-4D01-974E-CDAC619136B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0957955259f03a55827104a1f8b6247fa0afed34","datavalue":{"value":{"entity-type":"item","numeric-id":5055748,"id":"Q5055748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7c57484f77ea19075d86f22c600e52a16354d8","datavalue":{"value":{"amount":"+0.8792563","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":"Q5096206$8535B984-4E6C-405F-9950-D4EAA488C7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fb9353ebde6b94a8df99237fed92a72f2004b1","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6175526f93db3e67464077c5da50fe51b5a9aa71","datavalue":{"value":{"amount":"+0.8744215","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":"Q5096206$1982D7B2-44BE-41BC-8D0B-5368F79E16F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52fcf596c33d4e72bc1403e5baa80b48a7c6fc9","datavalue":{"value":{"entity-type":"item","numeric-id":5389084,"id":"Q5389084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1ee4f0c53f7c202826b732f8f2466f94686f43","datavalue":{"value":{"amount":"+0.86995655","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":"Q5096206$DBC5ED16-5F20-4F4C-B7C5-F212C1323D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf00d78dba38081d710d62187402849bdd55995","datavalue":{"value":{"entity-type":"item","numeric-id":3024845,"id":"Q3024845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fcc01adbdb7fb9ca7f23fa78c84c5003f3913c","datavalue":{"value":{"amount":"+0.86527604","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":"Q5096206$7B6F64F1-EDA2-4619-B15B-AC69BC67DE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca30068b2aa0eaf69bd4bd1d7021afb92925a22","datavalue":{"value":{"entity-type":"item","numeric-id":857884,"id":"Q857884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17640250f71f3e0a15bef67effaf36641eec3cff","datavalue":{"value":{"amount":"+0.857412","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":"Q5096206$4D338C70-BC43-4FB5-8081-17905E419FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a3cf8c5d48fe0550acfd82378ab273d76d810a","datavalue":{"value":{"entity-type":"item","numeric-id":5878912,"id":"Q5878912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2aac63d511bc35815d612f43eecbd2062db1a11","datavalue":{"value":{"amount":"+0.85654676","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":"Q5096206$222D1D83-EC63-43D7-9834-EB287FBAEE98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096206"}}}}}