{"entities":{"Q5856421":{"pageid":7885972,"ns":120,"title":"Item:Q5856421","lastrevid":53961401,"modified":"2026-01-26T00:10:39Z","type":"item","id":"Q5856421","labels":{"en":{"language":"en","value":"Datatype defining rewrite systems for naturals and integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7327950"}},"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":"Q5856421$8CAE4173-70EA-4FAB-BC61-AD538F0DDC62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$D3361A86-5C9E-40C8-9B1D-1E29E3B25383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9602bef9505b2e60be78a89c5c30dfa6fcd5c5d","datavalue":{"value":{"entity-type":"item","numeric-id":190307,"id":"Q190307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$1A04301D-03A5-4D76-8948-9925ED583F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8fba84eb94214fe49723816f0b730e9575dc50c","datavalue":{"value":{"time":"+2021-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5856421$8D5C76BC-4B21-4AEB-B84F-C8A279F5D8B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9288f445400cf26ece2a13d4c9f6bd6c04245bdd","datavalue":{"value":"https://arxiv.org/abs/1608.06212","type":"string"},"datatype":"url"},"type":"statement","id":"Q5856421$C23C7992-7C73-41EF-A31E-DFBD6F2B4EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d231636c04902ea26ed15c6e19eb4651f5bf7cb8","datavalue":{"value":"https://lmcs.episciences.org/7192","type":"string"},"datatype":"url"},"type":"statement","id":"Q5856421$389B9B5B-61E9-433B-A5C8-02CA003672FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856421$BA0E1878-0ECB-480D-AFB1-949FF2856BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856421$A70EBBBA-5D9C-40F6-BD04-2981262A0EE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94d3b4d65694bd7b9195e52633f216b40357716f","datavalue":{"value":"7327950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856421$F16FE1E0-80D9-4CE1-AFF8-AE12B7308658","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d645f37b63d1e19a26946f6ada007b547ce900b","datavalue":{"value":"datatype defining rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856421$0E4B4A39-E09E-4079-9147-88B04358D947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d83273420aff13e657dfb251af4675070a22980","datavalue":{"value":"equational specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856421$50062555-EABD-4C46-9F0B-55C5F5203BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e440dbdf4e2e0e7ed379f5b792b2776387d3b7","datavalue":{"value":"integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856421$93EDD49C-22F5-42E8-A067-9595D42BBA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111428f2ed0474d9a3aa84719b17b79c686358a5","datavalue":{"value":"natural number arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856421$C1FC5136-E0E9-451A-A370-62BC163DEAF1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bbb745e5682c56c3ac55ea94384cf87e1743f67","datavalue":{"value":{"entity-type":"item","numeric-id":21746,"id":"Q21746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$AE90549F-46FD-4F65-AF06-2FCB1F4D9129","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":"Q5856421$1CD976FE-CCE8-4475-8B8E-EE0C362C2304","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b647c8a1d55cfe6d15ec647b6db0836e8cef98","datavalue":{"value":{"entity-type":"item","numeric-id":5111302,"id":"Q5111302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$D68CDAF2-A916-4FBF-A507-F7B85B969C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c53ecb53ab9962104693b223f9d54b0a37cc52","datavalue":{"value":{"entity-type":"item","numeric-id":2018605,"id":"Q2018605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$1B35606A-FB65-4BC1-B3D3-84E3BD4F93FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4219b69710ca07de230af55746d2d731a7045643","datavalue":{"value":{"entity-type":"item","numeric-id":5256337,"id":"Q5256337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$FD015AD9-4346-4F03-A14F-143FE4BE6D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf7f34ad3732d1570db0051e22fd45cfa676a0","datavalue":{"value":{"entity-type":"item","numeric-id":297980,"id":"Q297980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$FCE9EE11-C67D-464A-87AF-25F48A380DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256605281f1972c683ca696296ad8b7e79070cc6","datavalue":{"value":{"entity-type":"item","numeric-id":4369896,"id":"Q4369896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$EC3A8ECF-46F9-40CA-BD3F-22299D480404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3744dcf2bce65710124275d29816dcca108a9baf","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$A737EB95-796B-4FF6-BB93-AF6228037FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbc3dd2cddbb12d8ecddda57804558fe6c972e5","datavalue":{"value":{"entity-type":"item","numeric-id":3546326,"id":"Q3546326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$5B54AF3E-D0F6-4E6C-8DA9-66DC3F0880EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"290d3013f4832df97a35c79891587387962ec5e5","datavalue":{"value":{"entity-type":"item","numeric-id":4692466,"id":"Q4692466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$07B9005B-52C4-4FAF-A50E-FD79852507A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3209dcffb68253e20194ca2da7f3cb7095c85efb","datavalue":{"value":{"entity-type":"item","numeric-id":801667,"id":"Q801667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$078625A8-324F-45C8-BF78-6568F33578B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06cb67a9767a90a7419aeeb369e67c88b6644f17","datavalue":{"value":{"entity-type":"item","numeric-id":4594221,"id":"Q4594221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$88C66DA7-695E-4D1F-8DD8-322A40E2791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f918329ff031410d20a3fe2174c15442be0a5e99","datavalue":{"value":{"entity-type":"item","numeric-id":1125424,"id":"Q1125424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$60DECB06-1E0F-4AE6-B618-A160E2A82658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$4000A2C5-8C5D-40A5-B507-3647B4B91370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$4C5A419D-5750-4FA1-97BA-CF3FF807087E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13546067f3ede5bd7a6333ca5ff53c899eeedcdf","datavalue":{"value":{"entity-type":"item","numeric-id":4447244,"id":"Q4447244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$BE30A9BC-DC0D-4681-8D6B-FCCDDBCCC0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8643f96e857a6abd8e6a6e2decad8aa8b9e96387","datavalue":{"value":{"entity-type":"item","numeric-id":5096186,"id":"Q5096186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$F19322DA-CE05-43EB-A002-604A6361B16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027a7cb3acfd12b481e2ace4aa84a03453324bc9","datavalue":{"value":{"entity-type":"item","numeric-id":5055840,"id":"Q5055840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$125E2F03-F136-4BF4-BFC4-0B568A275BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$2FD0989A-2503-4988-A33B-D04DE83DCA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da843fc35ebe015907494c69b23b63fc0a14ce3","datavalue":{"value":{"entity-type":"item","numeric-id":5200045,"id":"Q5200045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856421$C3BF0C79-0315-4A99-9078-2403A9F5A54B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c1a7e90bd3e824b49c90051af9c5450d1cd4a6","datavalue":{"value":{"entity-type":"item","numeric-id":5055840,"id":"Q5055840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d669eff63ce48b6c3b94a7a3569dd62f34ea25","datavalue":{"value":{"amount":"+0.7997828722000122","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":"Q5856421$71648977-66A3-45CC-BC8C-9CB6B7587AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b010206c55a0635ac59c164b6bbf2e26ccb9cc","datavalue":{"value":{"entity-type":"item","numeric-id":4594221,"id":"Q4594221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b937323e34344a2afdc839521551bed2f51d79c","datavalue":{"value":{"amount":"+0.7579863667488098","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":"Q5856421$CCB38F7A-2EC7-45E4-8C4B-47B2A7F9B08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a8ff6dd9f7b74dbb0061121bbe0892a508c64d","datavalue":{"value":{"entity-type":"item","numeric-id":5055764,"id":"Q5055764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb7401449631348d83254cfe417562250b98752","datavalue":{"value":{"amount":"+0.726544201374054","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":"Q5856421$9BDAD5BC-5055-43EA-8A29-4DEDD107C3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dde3e8736633afa5b85a9cf7e0b6c1ed7c337a7","datavalue":{"value":{"entity-type":"item","numeric-id":5089612,"id":"Q5089612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b858a67300281644162b30fa114234b52a14f3af","datavalue":{"value":{"amount":"+0.6684249639511108","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":"Q5856421$C247E8EA-F713-4971-9EBF-F08C6F352C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec428f6c02c581631d9976c7e92704bfb5863fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3522011,"id":"Q3522011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745b0da3e209e01fb8d93ba6286a55cad441fa5b","datavalue":{"value":{"amount":"+0.6535394191741943","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":"Q5856421$95565E64-09E8-4470-8084-2B56C821C729","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5856421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5856421"}}}}}