{"entities":{"Q3525016":{"pageid":5554920,"ns":120,"title":"Item:Q3525016","lastrevid":49020757,"modified":"2026-01-06T11:58:03Z","type":"item","id":"Q3525016","labels":{"en":{"language":"en","value":"Proving Termination Using Recursive Path Orders and SAT Solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344260"}},"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":"Q3525016$E6EDF5AA-927A-4B12-B955-25A7598A5570","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71f8f82ab7459246506f8ede62670e8b0ae044b6","datavalue":{"value":{"text":"Proving Termination Using Recursive Path Orders and SAT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525016$E8175E61-2FFD-490F-A6CE-B058B4FDE10B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95075079a99f6058e38daa3365985e47d1e682ac","datavalue":{"value":"1148.68393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525016$91C1F6D1-B3BC-4107-B4CB-A6F34AF5DEE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd1534503e87bb264a0475c1c461046a5fcdc37c","datavalue":{"value":"10.1007/978-3-540-74621-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525016$0ADAA52F-D87B-4B33-8B11-1BFCE644F72B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525016$95F8AC10-97C6-4B5E-975B-04DEE88BD840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525016$0336B2B8-99D4-43C1-A6B4-D9706DDCE89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"846f3f12bbe36a1ef9e05b406484e141359b47d9","datavalue":{"value":{"entity-type":"item","numeric-id":3525015,"id":"Q3525015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525016$5C765A89-1C72-48C1-B353-4874E4B9300F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525016$34DD59B1-A788-47AF-803A-0E9CA17924CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525016$B094C55D-510B-4544-91A2-E71DED7DF58D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525016$93CB6963-C8C6-46B5-9844-610E86164BA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-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":"Q3525016$3A0302BF-A559-4F40-BECE-434068DDCEFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525016$9CBC3B4D-B3DC-4686-9471-6804B9215CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525016$4D1CA1F5-CE1C-411D-9292-50CFA4835C4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"347c17cae62cc051270b8ff58a51a87f2bd1d6b4","datavalue":{"value":"5344260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525016$A1DED869-8421-43A9-AC3E-1BD0E009D189","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525016$35523D52-B040-4313-98B5-5FA502AB761C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525016$23CE89D2-CD3C-4FA9-BD12-88864D6B2F54","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":"Q3525016$8FAE5CDD-8CF7-4C0C-989F-46427AB94FA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d91c3b259b29f8fdf0966a21f92a2471e4336731","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74621-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525016$7AF9F124-DE95-4453-95F3-5BD2B655ED30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8c20037006cd77ccac3bca97b75dbbdcc080ccf","datavalue":{"value":"W1820313840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525016$3E8290EF-2C7A-43B4-B940-A258572AC2C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a62a517dc646a6a12654993a5c7535c9e5b00fd","datavalue":{"value":{"entity-type":"item","numeric-id":2392415,"id":"Q2392415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f91af5e5dac29a99e5458de1c1a618ab86ff2777","datavalue":{"value":{"amount":"+0.9586692","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":"Q3525016$906732E3-1B87-4A54-BD5B-CF6742AE9716","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":"82cef430668156632b5902572561d3fc6d3f1777","datavalue":{"value":{"amount":"+0.91736674","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":"Q3525016$1B8F0090-9815-4391-8BD4-7CE33ED6C944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5730f6dc94d674bed1ecbdf5f60cb59ff6d57283","datavalue":{"value":{"entity-type":"item","numeric-id":5504589,"id":"Q5504589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584b2992e635b3a377eb6581898df74a4c63420d","datavalue":{"value":{"amount":"+0.9011959","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":"Q3525016$FEDA56B6-CEDD-4467-8C9C-C7712D43AB0A","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":"d44cae81ec18e16888107607b64886f9712a1e8c","datavalue":{"value":{"amount":"+0.8859539","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":"Q3525016$E7A4AF97-3DC5-4604-BA42-A093473C7949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34b2b34c64dc1dfe03f8e1eee2c5f743c540aaf","datavalue":{"value":{"entity-type":"item","numeric-id":3522031,"id":"Q3522031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad458fe95b75d5ad4e0a87aee35f68183f1bb8c9","datavalue":{"value":{"amount":"+0.87927836","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":"Q3525016$DE06C21F-022D-470C-B55E-51995DDA9E6B","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":"e49321e56d3241566028d8b8b79c6433f97d332c","datavalue":{"value":{"amount":"+0.877478","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":"Q3525016$1FA4D79A-73F2-4AFF-B424-E7AF55335B87","rank":"normal"},{"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":"7d289db96ff2cb8b8b357445fe6e7c1d3e395e29","datavalue":{"value":{"amount":"+0.87442154","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":"Q3525016$E36125AF-1FC3-4895-B209-03187A2CB239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ff1fb2751727afffb0d7607de020c9fece5b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5096206,"id":"Q5096206"},"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":"Q3525016$8947607F-C044-4007-AF25-5DC1BA7A0192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efd2ff449c1538b2d30dc35291a38be2bdffe3e","datavalue":{"value":{"entity-type":"item","numeric-id":1891259,"id":"Q1891259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c91c60217761e90c0d78fdf5f58a6bf591fabe","datavalue":{"value":{"amount":"+0.87257534","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":"Q3525016$4FAEC9CF-E15A-40F4-AED8-48BC386DC2BB","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":"b400175c2928373b624cefa32a8f9adffffac5f7","datavalue":{"value":{"amount":"+0.870011","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":"Q3525016$E1E04032-39B0-4FEF-A493-E6D36E8A6CAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525016"}}}}}