{"entities":{"Q835006":{"pageid":836854,"ns":120,"title":"Item:Q835006","lastrevid":42718486,"modified":"2025-07-09T12:52:25Z","type":"item","id":"Q835006","labels":{"en":{"language":"en","value":"Relaxing monotonicity for innermost termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5599194"}},"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":"Q835006$0C8DF4CD-6F5F-43DD-9B1B-B9479FF13395","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44e16c3a4070bd53afcff985b935cedc044db2cb","datavalue":{"value":{"text":"Relaxing monotonicity for innermost termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q835006$6B818E6C-9541-4210-944D-F0D40AC2B171","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07ad09da20861b9ba84c3e8d6d8cff0e401f26b2","datavalue":{"value":"1173.68543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835006$82CAF693-C016-4C78-987F-F5744F0F3750","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f854e1a7fb90fa26101338c6c432cff9902074","datavalue":{"value":{"entity-type":"item","numeric-id":835005,"id":"Q835005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$F4F8F714-7C35-49CC-875D-CDE4EB6F08F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$B7BDB372-0155-4058-9698-3902E9E2C755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53d537450d777afe86620348ba62a2bca3ff92d2","datavalue":{"value":{"time":"+2009-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q835006$697EDE2F-6166-47F7-A725-44651E31AD80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835006$20D5A2DB-8459-4592-BBDD-A0CF63FA08EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75e054754c48d46198a1f477ddbc932c53e77312","datavalue":{"value":"5599194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835006$9AF44153-724C-41FC-BA2C-3C2E10C089A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q835006$F9EDA387-6106-415A-A805-BB9EC7DB2448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q835006$7E20351D-2D0C-4312-B6C4-D1239971F669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d6f65dc8923a8cf7c5e4c6f73e623f063dc939","datavalue":{"value":"innermost termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q835006$4FF66572-1323-441F-8CCE-DB93433DB7C2","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":"Q835006$1221D769-8A37-4B2A-B332-D690CF2EBC82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e381769b9d039fd5f91dbda472c19f81e6114bbe","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2004.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q835006$D4AADB84-C16D-4CEF-82D6-8B771FBF472C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8e71671a517c2f1ac548ac2dbf585bae1bfa916","datavalue":{"value":"W2082986930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835006$D2B0AE83-6C9A-474F-93FD-950495475FAF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$1A4632AF-588B-468D-9F6B-3988C23B63A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb7a3581d9370d367eee022ec76bf1b25a51382","datavalue":{"value":{"entity-type":"item","numeric-id":4809069,"id":"Q4809069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$7582DA23-4442-492C-8CD6-E67024996856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$4E4086DE-EB0F-4A23-87F6-8B68BC305AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93313f8491f48a6f10e9a1a08deb4367886c2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4412115,"id":"Q4412115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$68DBBDF5-DB83-42B9-AEE1-828BEE601019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ff17e89f36b487ef3a24d7e9e19c6dc9355bff","datavalue":{"value":{"entity-type":"item","numeric-id":5692154,"id":"Q5692154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$B4FADFE2-E912-404B-B5F7-D154F4DE855C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47717bb5dadf44e591440e0fca8e5d160b3165e0","datavalue":{"value":{"entity-type":"item","numeric-id":3408137,"id":"Q3408137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$76DFC8FD-8F11-4735-9C90-3CB8CAC1B823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866329e622ae9c42939978c38ec9f1b061288e00","datavalue":{"value":{"entity-type":"item","numeric-id":4494366,"id":"Q4494366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$6145FC85-C9C1-4486-9DDE-E115C3528BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$01157A18-A69C-425A-88FC-1A63E8B4C455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87573c17092e5ea68e91a6ff0c61b4867e15c12","datavalue":{"value":{"entity-type":"item","numeric-id":2996200,"id":"Q2996200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$38B7045B-C334-4FBA-82B8-9A458C4ED5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cd5bf0d430fe7f41ec1cf3938defdcb2ccb512","datavalue":{"value":{"entity-type":"item","numeric-id":5308459,"id":"Q5308459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$2CB840F2-F6EB-4821-85C4-732A64A570C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d24827888f10d2716d86cbc8c78372bd8821071","datavalue":{"value":{"entity-type":"item","numeric-id":4447238,"id":"Q4447238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$FEA607C2-E34E-453D-9DC6-215E122A1EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf73e36acd8c530d7cd261bcfd06e8246cdcd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835006$E116B5A9-A720-417B-AA21-D4C98744D581","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c58c1bdcd98e94ffe993ad7c31c3fad799952c4e","datavalue":{"value":"10.1016/J.IPL.2004.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835006$43B6E0FC-9BD2-4FBE-B2C3-6F647E799A0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:835006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:835006"}}}}}