{"entities":{"Q1751429":{"pageid":1762171,"ns":120,"title":"Item:Q1751429","lastrevid":73840170,"modified":"2026-04-14T17:27:07Z","type":"item","id":"Q1751429","labels":{"en":{"language":"en","value":"Use of logical models for proving infeasibility in term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6873295"}},"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":"Q1751429$6A944E03-4396-4D76-BE90-B0E9889334DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6787e694c544ae5be10bbe945d58cc4c21e89252","datavalue":{"value":{"text":"Use of logical models for proving infeasibility in term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1751429$56C10D3E-466A-4F80-993A-843B66B9FE6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b88446eb544194d8f1689f1a6d02e2e438d580a","datavalue":{"value":"1477.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751429$6C1C55AA-83BB-4602-AD0E-2F1FF2B5C5AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$B8223375-D4FD-4DF3-A37C-2F4E857F1985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c19588ca8ef1febcc87270db917e5f47cf5704","datavalue":{"value":{"entity-type":"item","numeric-id":989289,"id":"Q989289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$66DB3DD7-DC84-45EF-9697-C00E77F6828E","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":"Q1751429$2A11F5C6-DF81-4592-A193-5DE1787C9A7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"889be0f8e7c5593fd9d724762872dd9608a4e49c","datavalue":{"value":{"time":"+2018-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1751429$98FE5CAD-49FF-4DD5-AFD9-2BE61AA9F893","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"917f3bc60514f9cea566df94acd555eb9165a9da","datavalue":{"value":"http://hdl.handle.net/10251/121414","type":"string"},"datatype":"url"},"type":"statement","id":"Q1751429$D4EDA2E0-8E93-40B3-A9C6-F046F563280C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751429$68E94F6D-F689-448A-8989-A3E294E6DB36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7de9605e2b48759d4f94b303000ae8793022b811","datavalue":{"value":"6873295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751429$2B5918ED-5185-4C08-9EC7-34650DEDE8BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b32aca426b78b5f53b98e17acd6efaca9a8ca4","datavalue":{"value":"conditional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751429$B7570A6B-3941-4CE7-BAC6-F7AB56754914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751429$F97707C7-D229-4D7F-83D6-4D838763F38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751429$78970EED-0BE3-4C92-8C65-C6EA52DE55F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1751429$E22ED298-FED2-4C4F-9E39-9ACB13A9C56E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$BE289A5E-67C1-4CCE-A5F0-34065ECED2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$85C47711-6490-43FF-B102-D2A8843101DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc9a9ad8c0f6411b3ed76602e3cd948eeefdbe9f","datavalue":{"value":{"entity-type":"item","numeric-id":25230,"id":"Q25230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$F050BF3B-D550-4FC5-9AFB-F9F9CA3F5F18","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":"Q1751429$3DD83F5F-01CD-423C-A631-0F05B8109EFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ab08641da96a96fa3a2a1640e781bb9fd6c5d97","datavalue":{"value":"W2799786954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751429$CCFB1910-594B-4529-B11F-AD3909920881","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a479a363657e43b6143e69b7f9e5c4587f34570","datavalue":{"value":{"entity-type":"item","numeric-id":2849497,"id":"Q2849497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$C9F2BEB2-AD74-43E7-8924-C40EA2B392F9","rank":"normal"},{"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":"Q1751429$CCABABC4-9F1A-44B1-9F68-4AF8084EA9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$3BF4DA84-35A8-4B77-B9C9-07CF12F0B364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1a34089c641a49dfb7b3633e96c11d5da6c392","datavalue":{"value":{"entity-type":"item","numeric-id":1671151,"id":"Q1671151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$47FC26C8-92C8-4648-BCF2-2745CBA18F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca454fcfb674a55b9997dba52f329c49a980195","datavalue":{"value":{"entity-type":"item","numeric-id":1655487,"id":"Q1655487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$34D8792D-E878-41EA-B3FF-F7E74528B472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$CBA86D56-2A6F-4BAD-8504-4800E868821B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5713351244dd80f250d6587c90ffbe2516f31b83","datavalue":{"value":{"entity-type":"item","numeric-id":2945138,"id":"Q2945138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$BA25A8DD-C29A-4328-8B69-6627DDF2FBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4503ba4114e24ed9a5c364813a9872b5b85bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$3F789DAD-0792-4A0F-A6FE-3A0D9662F917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0c1063d2d24fe1956813fa9bc95f21d14d9d1e","datavalue":{"value":{"entity-type":"item","numeric-id":730473,"id":"Q730473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$0AF7D907-93F7-4CDD-AD78-CF88E1BE58CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e158ae376e307476ea8721e28c424ca79f524fc","datavalue":{"value":{"entity-type":"item","numeric-id":2949703,"id":"Q2949703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$CDC787D4-7DDA-49CA-B59C-785A981387D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$FC1A0467-8782-4A60-9104-F95BEF3DD12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1282584328bd3a7f7d619b21298158a3e46ae8ef","datavalue":{"value":{"entity-type":"item","numeric-id":4539643,"id":"Q4539643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$77DE8AD7-C672-4371-BB80-A90AD2ABEFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$4BAA69D1-5BA5-4BE1-AE23-C53677F6541F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604f213ce18c27015951867265a45070f3c20bdc","datavalue":{"value":{"entity-type":"item","numeric-id":5369494,"id":"Q5369494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1751429$55F4CFB3-A064-4A87-B09F-05D4A2BCF4C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c02ee61ca8e88c176530d0324c0b701d55ec2a4e","datavalue":{"value":"10.1016/J.IPL.2018.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1751429$6AEAF7B9-FDB5-4A51-ABD7-671D3F46846A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a3b2e55304de64cc5c504250900d8f5b64df38","datavalue":{"value":{"entity-type":"item","numeric-id":2827835,"id":"Q2827835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db8adfff20253dd60178501310032c8e05e89c1","datavalue":{"value":{"amount":"+0.89945984","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":"Q1751429$4E4100D7-5635-4089-9D3B-7B872FA93557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e0f3012050f4fe135eaa9629e2716245665a19","datavalue":{"value":{"entity-type":"item","numeric-id":5901568,"id":"Q5901568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f2fc4d560a099e8c321c6e50f3dd413aca7a12","datavalue":{"value":{"amount":"+0.87401205","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":"Q1751429$ED51F067-6764-4A57-A673-CD4A01CD6198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30317190c333fad242ec05ca51b7424692174132","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef22c85a45819c8ab8c02196bfa70647a8408ca6","datavalue":{"value":{"amount":"+0.8627587","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":"Q1751429$F88310A0-75A3-438A-A99B-214C21328C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e040b69366aa385ecb7819d5a979d92c0954fb","datavalue":{"value":{"entity-type":"item","numeric-id":3805955,"id":"Q3805955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a18a69703c8ff4a4130540946a910a50221688d","datavalue":{"value":{"amount":"+0.86087275","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":"Q1751429$AA3F94FD-AB3F-417B-9271-625A1ACA3DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ecbedcfe3626185d0bb331b094353198a89395","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a18a69703c8ff4a4130540946a910a50221688d","datavalue":{"value":{"amount":"+0.86087275","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":"Q1751429$0F9B8990-F75E-4E6F-A09D-070185E8C327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703adb724ab299360fb30806591e423fa43d4d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5111195,"id":"Q5111195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3cd0660041a8448f1bc9ed462aa27d755db869","datavalue":{"value":{"amount":"+0.85724014","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":"Q1751429$8F867D6C-CCD6-4CD8-A874-6A70F39D1416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c016bd651240770c7676b927e9a44217ff6584","datavalue":{"value":{"entity-type":"item","numeric-id":5881206,"id":"Q5881206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74edb34816bc019edea4e3b1ce6eae470c9aca85","datavalue":{"value":{"amount":"+0.85434335","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":"Q1751429$CD694008-55C1-49A2-9C5F-726D2B1FF9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19077c4a91a76f2b9613650b2b5d1c2d1487498a","datavalue":{"value":{"entity-type":"item","numeric-id":3841095,"id":"Q3841095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dec3bdbea5c44349aa94fc2bd820546a6987b37","datavalue":{"value":{"amount":"+0.85375303","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":"Q1751429$270B672B-5652-47E0-9898-0FEE60637A49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Use of logical models for proving infeasibility in term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Use_of_logical_models_for_proving_infeasibility_in_term_rewriting"}}}}}