{"entities":{"Q5055814":{"pageid":7085391,"ns":120,"title":"Item:Q5055814","lastrevid":40889343,"modified":"2025-04-13T19:47:09Z","type":"item","id":"Q5055814","labels":{"en":{"language":"en","value":"Automatic termination proofs with transformation orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631237"}},"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":"Q5055814$8B102428-9B97-470C-B5BB-51D403E6451E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bbc6b424e5fd665c3ca5500acd8540785580365","datavalue":{"value":{"text":"Automatic termination proofs with transformation orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055814$1B5482E4-A626-407F-8D79-AF397FAA515A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecdfaea778ae12570960f6d493262ccb87a85c35","datavalue":{"value":"1503.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055814$EE7961E8-5345-49E8-A26F-6A4091C2D38A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c21e6d753b1c144090edadc08c8992452063997f","datavalue":{"value":"10.1007/3-540-59200-8_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055814$A1A4D8C8-235B-42A0-A14A-431CADE824CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dbfa7572a6cf917cf8035f285896ae9a0d4a8fb","datavalue":{"value":{"entity-type":"item","numeric-id":1311403,"id":"Q1311403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055814$A74C4585-5950-4BA7-B5B4-5A3D09948FDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055814$2B96F3E9-55E2-4C30-B209-3F28840D9EAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055814$205AF9A3-7393-46D2-AB23-E51AFD8933FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055814$45D64DBA-D927-43DF-A5AA-5CC46520844B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055814$B353F31C-826B-4487-8B27-9EDE744F5598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4782ec55a8b8cc3ebd55f173b4568991ce0fd6ad","datavalue":{"value":"91A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055814$C39A5247-A375-493A-A0B5-96BBB29547A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce7734aa19d7b971153279136e15ac3b204dcbed","datavalue":{"value":"7631237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055814$843B0B61-AA2D-4D46-987D-7F8C6CF3A0F2","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":"Q5055814$C55ABBB7-1549-4C72-B6F0-D9A23494272B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"917ed0bc90ec0906775b415d8943a718617187e8","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055814$43DFF870-4898-4E83-9193-1D72CCAFE2E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b3f5a23f89106b047009b651d01932e84154696","datavalue":{"value":"W1522871112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055814$9B9B6F46-9C0C-4045-AB84-EC928DF17E1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055814$F7854B8B-A664-482A-8F4F-25E981A82C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eac48908fc1f7976d584bb6bf89dc55e17e7792","datavalue":{"value":{"entity-type":"item","numeric-id":757069,"id":"Q757069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055814$D0F65A99-D2C0-42A1-9FBF-A23808B5C386","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":"Q5055814$DCCBE914-4CC3-42B9-8B48-EB2FCAAF9C65","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":"Q5055814$41375706-EC62-4248-AE0E-D01F70273246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ad064fde7b4ac14829e7ebd920d2c935ccfa38","datavalue":{"value":{"entity-type":"item","numeric-id":3970984,"id":"Q3970984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055814$355BB705-18AC-4CB3-AF78-001E1928BC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055814$115D144F-654B-45FB-B0D8-C0C5344CFBB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcc711ff0a4c460a0388c5370bbbf467a3a67b6","datavalue":{"value":{"entity-type":"item","numeric-id":5170158,"id":"Q5170158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28998b08e013906bcee8bdbb789aeb75262516b9","datavalue":{"value":{"amount":"+0.92345417","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":"Q5055814$75C42B89-C376-460E-87D5-A4E2BB667BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c9d51b387606b25b893694d7e0638c186ab9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5170190,"id":"Q5170190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01399b49de8a91b1fd58e1caa9579b721768337d","datavalue":{"value":{"amount":"+0.9099524","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":"Q5055814$C43AC5CC-6201-4543-8BF3-F78D9F2CAD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c709b86cf7ff4047dac00daa01e8a4e28d9c32","datavalue":{"value":{"entity-type":"item","numeric-id":4023458,"id":"Q4023458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55190471189544d1d39a17dc2f7ea2c811ad9a76","datavalue":{"value":{"amount":"+0.9010162","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":"Q5055814$65511015-B063-4CEB-B2CA-03DA1A5EBF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80e05efa9170e108798d7558aa17e244a8715aa","datavalue":{"value":{"entity-type":"item","numeric-id":3637353,"id":"Q3637353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bba3d0691f322062ed886ca65fb10919cbaa9da","datavalue":{"value":{"amount":"+0.89741194","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":"Q5055814$5B243D05-9AF0-4EF9-A11A-BB209DD83089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567b774f74dddd3685ae57b72b112a352a7f0eab","datavalue":{"value":{"entity-type":"item","numeric-id":4610086,"id":"Q4610086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bba3d0691f322062ed886ca65fb10919cbaa9da","datavalue":{"value":{"amount":"+0.89741194","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":"Q5055814$FB937350-68DE-42C0-BBC3-598DAEAF7F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c28bb92f351f81d042392026eb0190e20d557c13","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe61feaf103b0f68f1711aec1665b4716507329d","datavalue":{"value":{"amount":"+0.89446455","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":"Q5055814$7981914E-0AF2-4DA0-9FB2-C21B2F85936C","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":"7e58d5372733798173debf3af56b4b3e6ab653da","datavalue":{"value":{"amount":"+0.8878624","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":"Q5055814$746F5A8C-5CC7-49A8-B257-BD89229DC64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae53dbaac8b09008dc2ac495bcfc432b4913a2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4400884,"id":"Q4400884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd10cc7bc81f6d9fa49b66798872596fe2a08540","datavalue":{"value":{"amount":"+0.88778985","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":"Q5055814$FED7DA5E-D497-4C22-8F17-AF6A15693E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0fdf86f28858c64e4537be93177dfbf7fe7b9c","datavalue":{"value":{"entity-type":"item","numeric-id":4202945,"id":"Q4202945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfc16f93404bc4a6769f98811a24d964dd4b783","datavalue":{"value":{"amount":"+0.8864716","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":"Q5055814$85B1452A-A13B-4CE5-ADA9-3D44801DF16F","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":"b19ef28ea860fa4551ea193b085e0e83180b75df","datavalue":{"value":{"amount":"+0.88445634","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":"Q5055814$5CDA1B5B-D7FC-4897-8E65-6036BDDEE24F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055814"}}}}}