{"entities":{"Q3747702":{"pageid":5777608,"ns":120,"title":"Item:Q3747702","lastrevid":51007601,"modified":"2026-01-16T04:42:40Z","type":"item","id":"Q3747702","labels":{"en":{"language":"en","value":"Efficient loop detection in prolog using the tortoise-and-hare technique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3984544"}},"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":"Q3747702$1B36E842-C799-4F57-9AF6-4DBBF71B772A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f100c1044d053ffe7c2a9e9fb8678d6fb5c95fa2","datavalue":{"value":{"text":"Efficient loop detection in prolog using the tortoise-and-hare technique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3747702$CD595F51-2306-461A-B3AB-2D8685ABA8D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08a2e823709891ab4935a0facf148ad19db4e1f9","datavalue":{"value":"0608.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747702$80A8C8DE-51EC-4CE4-AB4A-4AC5AC5A79FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4324e6abc627c916452b13790f6598f4938181e","datavalue":{"value":"10.1016/0743-1066(87)90020-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747702$A669409E-56A4-497E-9C50-8F737CF30568","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747702$D0DE5EAA-9FE8-4E1B-B2DF-D9177B729F30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3747702$4AFDA3B2-0250-4AB7-94D0-3B059EC1B284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747702$0AF01FE9-5105-48D3-9D48-E07A2583379A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9332a7d445a6efd2e82efe27fd431bf0cebc99e5","datavalue":{"value":"3984544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747702$082E162B-27E7-4AAC-BCD1-3088A67A9B83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9ab0c2f0166fe021df7168ba7ed6da45cc5694","datavalue":{"value":"goal reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747702$BC250891-DB3C-4CEF-B000-21CC7DF21779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603d4d8e758bbc0788a6b796124507361269736c","datavalue":{"value":"infinite recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747702$D46B62CC-ACC6-48D9-8DB2-4500FB90AC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36dcbf6eac3ae41ecfd7c7cb62cef93c99237d","datavalue":{"value":"tortoise-and-hare technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747702$0E964101-B761-4604-A200-0A3B7EC8C17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54a9d557290d38d3f55ae7fdcae2f957f2c352d","datavalue":{"value":"high- performance interpreters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747702$D9DED5FA-04AF-4923-BECC-E7750FB5D941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747702$F03C925C-87CB-4B61-9108-5DBE5A5C60D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab97cd64850a8972e65765a1057e43a082730482","datavalue":{"value":"tail-recursion optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747702$F550FA31-6B82-487D-A211-9370E8DD8A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca10ce924ddfcc62753e960fad1352301ab9265","datavalue":{"value":"loop detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747702$89F2A690-02EB-457D-B3C2-3F8483D348A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747702$A5B01264-EF7A-404C-B1FE-86365F0B1832","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":"Q3747702$219A096D-3048-481F-A6BA-83106BE9BFA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87b20e99c290cbdad61320de8d71dd1ffcaf33cc","datavalue":{"value":"https://doi.org/10.1016/0743-1066(87)90020-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3747702$C1C8E9D1-BA9F-4396-99AC-0A6CFC51F24A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d0c55ffcb11321fb58c39636289bad7c74ca1ed","datavalue":{"value":"W2055093184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747702$AAAEBEF0-1E33-4654-A601-4806630BFC50","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"de3360ed4d016f913a36b5733cc84fbe1a3e72e7","datavalue":{"value":"Q56388150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747702$87981679-0805-409D-86D4-D5526BBC45E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d60db35c77c965d95cdf53528f4566a9442be85","datavalue":{"value":{"entity-type":"item","numeric-id":4273428,"id":"Q4273428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bed12083e106ae9c7783f92f032281fd346faa","datavalue":{"value":{"amount":"+0.819943904876709","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":"Q3747702$ACD90D30-9059-4336-A976-787BDFC7CCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ac3e09bb537b2e99b37fcf7b213e67c3c87f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5748901,"id":"Q5748901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53376a3cd59c22de67242b910454b5a3d06792db","datavalue":{"value":{"amount":"+0.814772367477417","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":"Q3747702$749C129C-934F-4DB5-A010-DED6190AED37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ecd8971ce3a4074e5698940d78172c0737e790","datavalue":{"value":{"entity-type":"item","numeric-id":4452626,"id":"Q4452626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47fcbd51f0dc95db8f60e2dd734e2b8c1362279","datavalue":{"value":{"amount":"+0.8083893060684204","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":"Q3747702$CC0F37A7-8A35-49D5-9B15-7B6D80EF80D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6b42af8267074d5eb88c9431f3b52184e45836","datavalue":{"value":{"entity-type":"item","numeric-id":4372945,"id":"Q4372945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9f9d45fb2fb6a9fe6f47dd14c3795fbb18f4af","datavalue":{"value":{"amount":"+0.7846358418464661","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":"Q3747702$6D6F3D39-C1D6-4844-907F-54202F96BB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d8e2a07bdf5c12116499f0f45a028f0edea6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4282600,"id":"Q4282600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9f9d45fb2fb6a9fe6f47dd14c3795fbb18f4af","datavalue":{"value":{"amount":"+0.7846358418464661","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":"Q3747702$879182FF-31D6-4ACA-A33B-CEAFAA0995D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3747702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3747702"}}}}}