{"entities":{"Q5055742":{"pageid":7085319,"ns":120,"title":"Item:Q5055742","lastrevid":91919804,"modified":"2026-06-05T00:24:34Z","type":"item","id":"Q5055742","labels":{"en":{"language":"en","value":"Conditional rewrite rule systems with built-in arithmetic and induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631136"}},"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":"Q5055742$9BF7C082-040C-4A7E-AB34-F6819139CC14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64fa81232d302262cd0ec09ed88b2822288fc050","datavalue":{"value":{"text":"Conditional rewrite rule systems with built-in arithmetic and induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055742$A8380CDE-851C-46EF-B6D1-E20737255CE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ee483a87b47fc60d5ad8df182b71e36c2549ff6","datavalue":{"value":"1503.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055742$5417C19A-FE3F-41A8-8275-ADF77760FD2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20b2ccb13964b185153be038c2a884541927e734","datavalue":{"value":"10.1007/3-540-51081-8_128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055742$5ACD214C-FBE9-4D8E-9D1B-45368769132B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7366993eee98ad54d0dd2b8dcf73d41ccb9bb05","datavalue":{"value":{"entity-type":"item","numeric-id":5055741,"id":"Q5055741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$AA99AE51-96BE-47A8-92C2-268E278A95EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$10C55489-DC5D-470A-8064-409D7D74F464","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055742$589AF284-125A-4380-8616-9E1253574A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055742$2C98D41F-C054-468C-8FEA-E8AFD52840E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055742$2B05F0D8-E20F-4051-AFBB-6868D378E69D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7df13022ec7630d6bf5918136eb933bbbe2cd5b0","datavalue":{"value":"7631136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055742$64C937B6-69CC-4DFB-BE08-F2788C318597","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":"Q5055742$1340D7FF-9259-4D92-B843-ED100CB75576","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77192dfbadaf1e56f6e64d884fd3d3f42803d025","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_128","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055742$B4DFB6E5-D58B-4D4E-8F13-6A9559D16DED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2de70ac5c79f3eff0495f799fcc9cc23b64610d9","datavalue":{"value":"W2107243865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055742$FF881CAD-0FC3-4133-93DB-3F5BB207D55D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$B049D90A-A64C-43C6-9504-5DBE1CEABDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$89CA4A2A-9251-47B1-A49D-A2F2813C19EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ffd80c0f66dbfb43fc21c30aee0ecb3bfcf815","datavalue":{"value":{"entity-type":"item","numeric-id":3673071,"id":"Q3673071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$4678C1A3-A9F4-44F4-A6C1-76D8BB72CD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$4B6587B2-F9F6-42AE-AD3D-6F44A0EF6FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$11F667D9-1BA8-4E12-9B43-055B230ED3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$E82CEC96-8579-4FA9-B716-96ADB6668901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$EDFF459C-AF0D-4A55-9A69-AFB04BD972A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbfa73ac9df18013941340d21a3347d9c36dd18","datavalue":{"value":{"entity-type":"item","numeric-id":3857732,"id":"Q3857732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$E457A87B-D6F4-40C2-B083-95A543092447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7493bf656ba59564acd6b7893d63e8087a65415a","datavalue":{"value":{"entity-type":"item","numeric-id":3960818,"id":"Q3960818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$BBE44E3E-4CE5-451C-BA64-74A0371E7B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d468da81c93432f1256f4e1d9571c3768e7db627","datavalue":{"value":{"entity-type":"item","numeric-id":5749279,"id":"Q5749279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$229DE63A-6EFC-4192-8B3A-CA9BB8235B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b71055072311024197a19b15cc0eb0d22b3766","datavalue":{"value":{"entity-type":"item","numeric-id":3696496,"id":"Q3696496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055742$9529BCDC-9DA1-4745-93C0-967D31D41A1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a04d9f58c993fccc6e4843d1cd44cf9fd9b059bb","datavalue":{"value":{"entity-type":"item","numeric-id":5087656,"id":"Q5087656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f5f1e10688fcf62e30397660014ce28152ffc8","datavalue":{"value":{"amount":"+0.8906529","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":"Q5055742$AB8CF652-7E74-4AFE-8DE2-79EE39DCA084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6a41004a854d137d0565ca872ce8c42f754d48","datavalue":{"value":{"entity-type":"item","numeric-id":3819973,"id":"Q3819973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3e70086c9faf98d884f4e34e0aa36494da8e5e","datavalue":{"value":{"amount":"+0.8879248","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":"Q5055742$70E47074-6376-416E-9F55-968453628683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68f3b5721bd1b25ff3d62063374bb9e7db91374","datavalue":{"value":{"entity-type":"item","numeric-id":1978646,"id":"Q1978646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a189e3b8e9eeea5f590c1156614e2df5a1faf88e","datavalue":{"value":{"amount":"+0.88759506","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":"Q5055742$CD5C8B45-4C1D-43A8-A562-C76B6E1396CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56e5fbaa4e64f148cff39fc816725be0d3511cf","datavalue":{"value":{"entity-type":"item","numeric-id":3819985,"id":"Q3819985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30b3cf09c04efc9fb19da715861dbe58b3155e6","datavalue":{"value":{"amount":"+0.88702637","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":"Q5055742$41F0C3A6-99B6-4FFB-BD31-54D959C5182C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff34e819f735073f36b1ed7a08ace7fc0ab8c835","datavalue":{"value":{"entity-type":"item","numeric-id":3817654,"id":"Q3817654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298f9c0b5607b2e0eb72fdc76e9dae42c590eeee","datavalue":{"value":{"amount":"+0.88694555","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":"Q5055742$97B4C8F1-CE0F-4A97-8E7D-BDD103F06AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b90fe18750a62bb1daa9f4e4487b4461f90ded","datavalue":{"value":{"entity-type":"item","numeric-id":3817651,"id":"Q3817651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6031918db10dc7f83a93631bdb618264fcd146c9","datavalue":{"value":{"amount":"+0.879442","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":"Q5055742$CD0F465D-7009-445A-8870-53E6C3009D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ffdbf61bd87fcaff0662956b07b8c706e169b2","datavalue":{"value":{"entity-type":"item","numeric-id":5749279,"id":"Q5749279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8833a33802631a08885bb66ab79d25d027f688","datavalue":{"value":{"amount":"+0.87815046","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":"Q5055742$30C4BDC2-2DC8-49FD-B7E6-6B27D93ECCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22166a6f863f3d93e30ac50b27836a39500db44","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642a9356b433422d0eb22256575b09f5549fa03e","datavalue":{"value":{"amount":"+0.8739043","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":"Q5055742$9EA07EDD-7600-4F57-B614-1831EC97559D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1611cb9417e5134b7d8804249cc6b5e2f380a2","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c019eb997a6183ceebad4b83522aad7dc96e476","datavalue":{"value":{"amount":"+0.87347853","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":"Q5055742$ABC6FB63-38BE-431A-B163-6740FCD38350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42eaa0f1527fa658607e53691085ed0fe3921ff3","datavalue":{"value":{"entity-type":"item","numeric-id":3028335,"id":"Q3028335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5c05535558d74f2195697532d066bc25e689de","datavalue":{"value":{"amount":"+0.86909544","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":"Q5055742$CCCA2E49-654F-4C88-82CF-F2C4BB3EEEAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditional rewrite rule systems with built-in arithmetic and induction","badges":[]}}}}}