{"entities":{"Q1629968":{"pageid":1640709,"ns":120,"title":"Item:Q1629968","lastrevid":72382569,"modified":"2026-04-14T04:31:45Z","type":"item","id":"Q1629968","labels":{"en":{"language":"en","value":"Loop detection by logically constrained term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6990552"}},"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":"Q1629968$EA5AC819-F1D9-4603-BA1D-3750D8DAF160","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6ca385e84576bdafe04e50b26fa62f18cd86f22","datavalue":{"value":{"text":"Loop detection by logically constrained term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1629968$DE0F6E90-DDDF-4A80-9AE3-A5C6A876D7EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c96cf91598695ebde33c24f94dd1072a86cdba45","datavalue":{"value":"1403.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629968$8021C1FC-AB39-4602-A3FC-84D1408EF30F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c265d52927c839d0a20ae87d8f77be16494d817","datavalue":{"value":"10.1007/978-3-030-03592-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629968$A5D88576-5B8B-4ED4-A514-17BFAC8924E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$20BB96AE-8818-488C-8D1E-2519102BA0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$23E9179F-EBCE-49A8-B9D3-1FF8DC949CEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"188a150860af43d85d9c40cbc810f545e99c1359","datavalue":{"value":{"time":"+2018-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1629968$05B4F22D-DD5B-4E1C-B25A-0ABA1282DDF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629968$604DECCE-3DD5-4473-B0D1-FF034DAC5EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629968$87A056AF-9A50-4649-9157-CC00C9EE4D39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b15618b52997e9c8108d3687a9d0a455db09ad37","datavalue":{"value":"6990552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629968$8E5995DB-7B64-4C2D-91B1-C06D24E8205E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0689455a2b6616863767cc52ae72109e80fe2447","datavalue":{"value":"constrained rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1629968$2C54A70C-63FB-46C9-812D-9A0C53F5BE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159432ac9cac1a394cea4e22c25fa4a28cfcec9d","datavalue":{"value":"nontermination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1629968$6B43F534-FDB3-4817-B775-CDCB308FB9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b069937643b327914e4906ee5a83ccdb9325465","datavalue":{"value":"loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q1629968$111583B5-0576-47B5-ABF4-EF41ABDB20DA","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":"Q1629968$99FFFF7D-A8AC-46BE-8797-38ED2D001C97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a81d0b8498f0af19e1ef77b77d9bb3a3edb034c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-03592-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q1629968$093D6D36-76B5-4018-8755-C0522077BEBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af9f888788f5fcc826c5a1c321434a21b573caf9","datavalue":{"value":"W2900512542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629968$4AC06457-B88F-4151-8091-E47EBE70011C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$2FFD9B00-069E-49EF-82AB-F726203623D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09206fde3d946f36f56cc0c3636d596e4c86a679","datavalue":{"value":{"entity-type":"item","numeric-id":3303892,"id":"Q3303892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$23EAFB85-5697-4BDB-B587-8722F601BB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1fc6b88e47fd7f5092bb0901e556a196fd1165","datavalue":{"value":{"entity-type":"item","numeric-id":5191108,"id":"Q5191108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$695903CB-07C9-4246-9490-59A5D29F93D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae29fa61df2f7e9b8f7b41e6d93afeb1143844","datavalue":{"value":{"entity-type":"item","numeric-id":5389070,"id":"Q5389070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$117BCE53-859E-4EAB-8720-71EFBC3B2015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced3b913b09e86cfeb91f326a2ba44ffdb3909db","datavalue":{"value":{"entity-type":"item","numeric-id":3636817,"id":"Q3636817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$DB67F7D7-9696-4249-8F8A-D5FC6C2931DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d51aca6beb1a70c4f7a03278c2c88c76364cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5278212,"id":"Q5278212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$A97D7EAB-91A0-42E2-9EE2-2C740498E8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$9E1A32E4-C9A5-42B6-92ED-F8A2ED5417D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9005444265be022947046af02bafab842817cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$D5A8330E-A331-4B77-B92B-D5F6F6ABFB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2867379881a9fad1d7058ee036fa7796030eccda","datavalue":{"value":{"entity-type":"item","numeric-id":2849501,"id":"Q2849501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$3866F506-B494-4E62-9269-059F75D1B1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401927881e41fc37b8317fd7b28f5bd64001daf","datavalue":{"value":{"entity-type":"item","numeric-id":3460083,"id":"Q3460083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$E3103F61-2F43-482A-B2A7-16BCEC3285DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cb4459e9550e8e794652e6fd91a1b9970f2692","datavalue":{"value":{"entity-type":"item","numeric-id":944383,"id":"Q944383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629968$DBCF71CC-F921-40A9-A2EC-4A645CDB5414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10998d6386517d79ea5f1f5433cb4c19d0074b2","datavalue":{"value":{"entity-type":"item","numeric-id":3636816,"id":"Q3636816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2922129e98a71d2806c76e20d8ca540ba465cfcb","datavalue":{"value":{"amount":"+0.7653644680976868","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":"Q1629968$04EAED60-E328-43F2-B0CE-759A3D67D3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca7df9ba513437a1a2d2deb6fbb96415c3743918","datavalue":{"value":{"entity-type":"item","numeric-id":944383,"id":"Q944383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b922912ae2891dfa66eff47c48ac38ad651c68","datavalue":{"value":{"amount":"+0.7558292746543884","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":"Q1629968$4B994574-4B0F-4CE0-B318-79F004554CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6820b31637afbb8c754faf410604838038581b9","datavalue":{"value":{"entity-type":"item","numeric-id":3401124,"id":"Q3401124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0753112a0bf2a27529edc272babdc6738525ede","datavalue":{"value":{"amount":"+0.7440640330314636","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":"Q1629968$5B477237-B7A8-4549-A31E-506D793B0087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cbad4e2a5e216bf4154429c2c1b7b52849e30e7","datavalue":{"value":{"entity-type":"item","numeric-id":4718895,"id":"Q4718895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbbcd2e38285bfced873bae8ce12da0f9cd559b","datavalue":{"value":{"amount":"+0.740500271320343","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":"Q1629968$FEA9F346-7AA2-49A0-9406-458C43DE893C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9b572038c4da4bc0eb0447c1ae105fee8e62fa","datavalue":{"value":{"entity-type":"item","numeric-id":3522030,"id":"Q3522030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b34f7c6b74dc7bec3a5bf1d6261c88defb7aae3","datavalue":{"value":{"amount":"+0.7398725152015686","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":"Q1629968$AC229DE3-6CB4-4FA2-965D-6BCBCB31BB3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Loop detection by logically constrained term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Loop_detection_by_logically_constrained_term_rewriting"}}}}}