{"entities":{"Q2841240":{"pageid":2851960,"ns":120,"title":"Item:Q2841240","lastrevid":83724725,"modified":"2026-05-07T10:14:52Z","type":"item","id":"Q2841240","labels":{"en":{"language":"en","value":"Induction for termination with local strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190934"}},"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":"Q2841240$1026642A-5CF8-4FC7-A173-C0991AB5327E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3186aa99c78a3df3983f9767a5df69faa09af85f","datavalue":{"value":{"text":"Induction for termination with local strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841240$EEB4247A-6C0E-4FE7-B74E-B181EACF396E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3af91cd6503ad0f223c79f7d5df49587d697660e","datavalue":{"value":"1268.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841240$CD497289-5B7E-4584-AB40-C7B91CAE4DA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4588c4b171047226d6644b348c5db28eb1f050eb","datavalue":{"value":"10.1016/S1571-0661(04)00284-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841240$484E9F24-CBD5-40FB-9BA6-DD594449E1AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea568566f414f911751b7e7de4d4cb0b07ffffc9","datavalue":{"value":{"entity-type":"item","numeric-id":2841239,"id":"Q2841239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$6936ADBD-EE52-456B-B76D-7AFF9B41A8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dabf6399e6f9987ea06379d551f213552ee1105","datavalue":{"value":{"entity-type":"item","numeric-id":554216,"id":"Q554216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$CF952DB5-FAD2-45FD-B287-0EFE9602FCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$70CB0D1E-D964-4727-BCB8-BF0E68AF86E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$F968E1C8-6EA1-429C-A151-86D2C76DFADC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841240$A0A9E267-16CB-465A-B458-A07FEDE9326B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841240$9E56E064-5965-47C4-8D95-AAA3FD9A15CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841240$632104D4-9CF2-455A-9020-4CC83CB439C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29e57b5c0ad88341471a83c517de1b7bc94125e2","datavalue":{"value":"6190934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841240$C1AD82C7-4DDB-417B-BEEF-4DB2ECEE7830","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841240$D48416F2-939D-4818-AA85-11136AB796A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841240$6BD4BB16-6180-43EB-B241-778DC0731B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2c4f69ac44296ba0cc2e0bb56764035c8ed5d56","datavalue":{"value":"local strategy on operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841240$1DD6DDA2-4CFF-4657-856A-6A44264582B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7695994f35ae3dc61e3ec9741ce51e4252352910","datavalue":{"value":"rule-based languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841240$A39645D7-20A4-42DF-8CEB-8820F6F9CD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841240$2EC679F7-B174-462B-B9CB-C5FEED94615A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841240$F637D66F-8469-4B9B-9524-1492A73F9AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ade9a32ef5ed1a51632ef5206765f54ea08d428","datavalue":{"value":"ordering constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841240$4D6EED84-5BF5-44D6-B34C-B4B798E9A8D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$A3A3C675-A7E0-4D27-A0F7-DDCE14FA6260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$6594319B-CAC1-409C-8F25-3FC353BF0426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$C8D0E9CD-089C-4D94-821D-A82D803CDC15","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":"Q2841240$7E56CF16-D31F-44D0-8F47-CD7D8D28181C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44175354c217d8e3dcaf7d807a32f26ef5394239","datavalue":{"value":{"entity-type":"item","numeric-id":4594225,"id":"Q4594225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$C169D66A-19D6-43CB-B69D-86598CAC81B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1385fd1c650c82fe873a362d13d98d66bade753","datavalue":{"value":{"entity-type":"item","numeric-id":4223001,"id":"Q4223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$85EDCEA2-89E6-4166-B1BE-D50EC9A7B555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58140cb8afbfd1e28d381fbe9968bc9f5b2e9afd","datavalue":{"value":{"entity-type":"item","numeric-id":4222853,"id":"Q4222853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$1B05D46E-656B-4742-832D-83E21DD77535","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":"Q2841240$CD18815B-207F-4A99-8894-67CA1800F28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0442184128040c34f45bed2a6887f331e3f65de","datavalue":{"value":{"entity-type":"item","numeric-id":4222981,"id":"Q4222981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$0FC478C9-E836-4A73-9A5C-AE998281F761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ffb07bc7f0f53de7969fb4707efd73209d8ddf","datavalue":{"value":{"entity-type":"item","numeric-id":2841240,"id":"Q2841240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$B3ED5E85-9420-4083-A370-10EA7C6B4061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c38be7adfd52acd57a0a81880a8ae3d1246b8c4","datavalue":{"value":{"entity-type":"item","numeric-id":1575274,"id":"Q1575274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$DF567801-360F-4E1A-AC8F-FAAD1DB4A0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa66cd10684eeb33961fe983c69bf06684be0467","datavalue":{"value":{"entity-type":"item","numeric-id":4818829,"id":"Q4818829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$DFA44464-492C-4093-B733-0D9E84350987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a48e8830951e39fb0f54422f9a7174d85b6eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854569,"id":"Q1854569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$DDFE372D-6157-4316-9620-F52F54909034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c17b9d6658443742a81f1159f02af3cebefa59","datavalue":{"value":{"entity-type":"item","numeric-id":2703699,"id":"Q2703699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$0C1FDAEE-9DA8-4398-ACDC-984DD8F00C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$5F116D31-2A93-42BF-90F3-399833482EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b5f9759fef698de8ef6ab62194c64bfc02f14e","datavalue":{"value":{"entity-type":"item","numeric-id":2778890,"id":"Q2778890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841240$56A08557-E43F-4B43-AAAA-954D46C374B0","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":"Q2841240$B8C55ED6-2BDB-4430-97AE-0A3AD766F62E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f470198394bf0af20894e114b50da6cd1525878f","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00284-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841240$34D432ED-C4FD-49D6-94F8-CFBDBBD75E52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"039574fdbec8080f2fd36417b58f59b4ea5c5a7a","datavalue":{"value":"W2094830274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841240$09292C2D-D51A-4929-8E4D-1F7A6F60F87B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a7c1fa6963ad4c550b3f3932e99b18ba7c4b64","datavalue":{"value":{"entity-type":"item","numeric-id":2946568,"id":"Q2946568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9074b7fe2c1294e36b54dce75b592bab2d488355","datavalue":{"value":{"amount":"+0.8877544403076172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841240$A7D6B0FB-63FB-41DF-999F-9F02C0449B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecba8fd5eba8c85bbd4bcc43c5b043c49cb11fd","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7e9a10e2d97b9aa5025b96d26f2ec1bf5a5b62","datavalue":{"value":{"amount":"+0.79373699426651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841240$25420282-2221-4B89-B0FB-04D270831C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4fb2cbbfa2df24855e94020f704a82c66a1a73","datavalue":{"value":{"entity-type":"item","numeric-id":2851054,"id":"Q2851054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ed67cf57fd5fb9ef393da1741426eaef7dc85d","datavalue":{"value":{"amount":"+0.7908721566200256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841240$ECD613DD-0168-4862-BDA8-32FCA7174DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6f93dc8a30a562245980be0ea0fb16d675a04b","datavalue":{"value":{"entity-type":"item","numeric-id":2786137,"id":"Q2786137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7266322b1b08b6dc5602785d88bdc7634b3e4149","datavalue":{"value":{"amount":"+0.7773312330245972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841240$D2E83BB9-6690-4836-A1BA-3C1C75FDC8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce52b3d229a5b295830671c46c99b0d85b9a887","datavalue":{"value":{"entity-type":"item","numeric-id":2996200,"id":"Q2996200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd036d79b2102b14ea4963dbe3fe20fc0637de7","datavalue":{"value":{"amount":"+0.7748342752456665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841240$67214952-E78C-4BFC-8ACF-392F49A574A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Induction for termination with local strategies","badges":[]}}}}}