{"entities":{"Q1892142":{"pageid":1902884,"ns":120,"title":"Item:Q1892142","lastrevid":43401957,"modified":"2025-07-25T12:05:48Z","type":"item","id":"Q1892142","labels":{"en":{"language":"en","value":"Bounded, strongly sequential and forward-branching term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 762064"}},"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":"Q1892142$38948E84-B027-4A9E-96D4-39EA92AB80C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"201d8351074bf151ae0449f599c6a91dd3c9524d","datavalue":{"value":{"text":"Bounded, strongly sequential and forward-branching term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892142$2365E5EA-8367-41BB-98B4-2F304667D594","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ff676449ee609d3cbf3b73a02574d72350af0b6","datavalue":{"value":"0834.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892142$B01E8D0F-EB0A-447F-9FFA-595EA0FDB944","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c53283f06a783eebebf881549b5dd1ed498267f","datavalue":{"value":{"entity-type":"item","numeric-id":248923,"id":"Q248923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892142$5266FF4C-F727-408A-ABC6-7147C5434DD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892142$584518EB-6A3D-4FCA-B3CB-D63FE5E9E2C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"475c462458f5897ccd369a31c0985317076f3863","datavalue":{"value":{"time":"+1995-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892142$978D4026-65F4-4A8F-8A2D-44952679A05E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892142$2B3C8103-47E5-475D-8B70-1FC2734C16DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a3995a4b94b20b5f0e1e18dff1f7f9448209e3d","datavalue":{"value":"762064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892142$678AB4FC-689A-4AD7-A8C5-4EE8836725CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e3d43c0dc59642d4f5aeeefce494acee2ba850e","datavalue":{"value":"strongly sequential class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892142$A4CC55DD-2DF8-4B70-9FF1-10D28A8F79CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5adcbe21349a0ac9391d4c45f50717c1a6e8564b","datavalue":{"value":"bounded class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892142$11F837E7-055B-45C5-9944-CE88114C127C","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":"Q1892142$D5785BF0-02F2-4EF0-8BEF-83664A175823","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ee39838e670738f0a2e1bd30febc30d5a8dcfaf","datavalue":{"value":"https://doi.org/10.1006/jsco.1994.1050","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892142$79E869DF-02F4-40EC-997A-368F50E8E0BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4b5700f83b9bda94d193455f3b44c9355c76f14","datavalue":{"value":"W2045435392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892142$4425C2E3-3EC5-45CE-91E3-FF48AAE4DDDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4356911067061a4e943bf6eefd686c8a8bbead58","datavalue":{"value":"10.1006/JSCO.1994.1050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892142$6244E125-8F05-4003-B50D-970AE84931C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"099a81d600b274339feafb0733b0baf53d305559","datavalue":{"value":{"entity-type":"item","numeric-id":293294,"id":"Q293294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60646eef7db62564ec9d148cf7ef0426b7c5e72","datavalue":{"value":{"amount":"+0.9371486","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":"Q1892142$D970E243-4B3F-446C-B00B-780BB239A1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef349e646289a428d5b170f1205f0af317edfac","datavalue":{"value":{"entity-type":"item","numeric-id":5055874,"id":"Q5055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54945716ddb13dd6df6012438317424d024146d6","datavalue":{"value":{"amount":"+0.9017099","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":"Q1892142$017EE0A8-545A-4C4C-9D7A-0A5173D19C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4519d5a74bcac466672871c4fca01e38fe88f517","datavalue":{"value":{"entity-type":"item","numeric-id":5389154,"id":"Q5389154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449a8b5e67c9b1c487fcea58e3cfa8b2b7312410","datavalue":{"value":{"amount":"+0.89908874","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":"Q1892142$AD6AE85B-2D45-4BC6-8B10-44CD1CDC8C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a6fd7da2f3b442e27d656027b3efdcd30f039","datavalue":{"value":{"entity-type":"item","numeric-id":1275017,"id":"Q1275017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c603e3a69b0a97d85652814adfc4786b986c91","datavalue":{"value":{"amount":"+0.8909481","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":"Q1892142$93237CE0-0533-4D09-BA06-A75BDCDD0C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb9888aac49fca20e557ba55d9fe21cf06b3e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2778880,"id":"Q2778880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990a135c7ef5b6ffcf52a771ae6e0ffbf374312f","datavalue":{"value":{"amount":"+0.8909276","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":"Q1892142$77CFC523-560A-4049-AEFF-C2683C509F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600e8c1e8bfc82ca64c124492574eff51397ce85","datavalue":{"value":{"entity-type":"item","numeric-id":987981,"id":"Q987981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053119447868e84b9a47ab0bdf9f797aae3b167a","datavalue":{"value":{"amount":"+0.8875796","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":"Q1892142$FE967042-C6EF-4195-A6F1-472C2308424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f54b6c3935910f43ccc6f844514028ca0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1746a5abe6a7d5a7b53796282347c84407bb78","datavalue":{"value":{"amount":"+0.8821901","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":"Q1892142$FD7B9205-ECC6-4BBD-8BF8-F979295B058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb4c115a27c54e7c463bd6207da05fe042a7640","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3daa6f1cf170415e5a0de360a9e20c83c772cf","datavalue":{"value":{"amount":"+0.88205534","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":"Q1892142$5B0C835C-F180-48FE-9123-952C39A63EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f4d893081f0a342c302224ba339edd0f5ac089","datavalue":{"value":{"entity-type":"item","numeric-id":1093366,"id":"Q1093366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4c58e7f6e532b6ea31b0cfe454eac74b294bf4","datavalue":{"value":{"amount":"+0.8813827","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":"Q1892142$04D5B9B1-51D7-49DB-997A-10679DCA74C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eef440178d75a9255980807f736445ffe4363b0","datavalue":{"value":{"entity-type":"item","numeric-id":5432346,"id":"Q5432346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104ac255219384e8a789a48d5175982a8030eb1a","datavalue":{"value":{"amount":"+0.88095576","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":"Q1892142$1622081B-2753-494B-9AEF-730B97B40740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1892142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1892142"}}}}}