{"entities":{"Q987981":{"pageid":989829,"ns":120,"title":"Item:Q987981","lastrevid":65818065,"modified":"2026-04-12T05:35:03Z","type":"item","id":"Q987981","labels":{"en":{"language":"en","value":"A compact fixpoint semantics for term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774338"}},"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":"Q987981$F1730B5B-ADFF-4160-867C-40FA6922CA03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ca86a1a308776c66433159aeb11c335dc314139","datavalue":{"value":{"text":"A compact fixpoint semantics for term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987981$DF1899E6-34EF-48DC-85D8-9ECACDB32682","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c0b8553151848dfdbce5b72311f06fccf95f750","datavalue":{"value":"1209.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987981$3F55CACA-2F1C-4C3E-A7C5-B6495B8BF799","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$3C22828F-8BD8-4968-B7D8-DD290706402B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987981$F968A540-78CA-42A5-BE7E-CD9632080981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987981$A046567F-B61F-48A6-AF8C-15C55BBA5615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987981$B2620D73-1298-4467-B3B7-E8030BAEF50D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b3c269682bad63d417a0c9047314777ccdaf938","datavalue":{"value":"5774338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987981$92E3E118-5C30-4B97-8F5C-139CD1F36A17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q987981$402B8339-3E98-402D-9ECD-E34A1809E251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q987981$1577A930-9507-4C41-817A-FCC49A13657F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q987981$A89E5B19-297C-4B85-AE71-B8D506062671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q987981$F7AB0CD9-290C-4577-9313-D9F594BC2F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q987981$C0C3B066-7CD2-455B-9503-F45FB9A70698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b4b276506c957bfb7edc8fe282049c45c441b8","datavalue":{"value":"goal-independent semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q987981$EA618EA6-7F08-4CDA-91D8-D87B4B52C736","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$903CF193-E4F0-4A54-8CC7-F7A79361A452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04735811f5f70f629ba4342ebdac125a1959371","datavalue":{"value":{"entity-type":"item","numeric-id":1274453,"id":"Q1274453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$C1C24920-1500-4B11-B406-ACC8C8D15020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$0C00D614-31F4-4780-A21E-D6CBF10C6340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b09c97087e59f31d60466ac7a1052c11eb3805b","datavalue":{"value":{"entity-type":"item","numeric-id":671508,"id":"Q671508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$EB4BDC9F-0650-4542-9CA5-FDE1F291C778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaac329fe0a656aa52bb82005de68b09c3225c03","datavalue":{"value":{"entity-type":"item","numeric-id":1035696,"id":"Q1035696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$3FB64985-2AAA-41B4-B998-54A2107B9CE8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$E9D56842-56E4-4468-B7B5-D8386480B434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$45F5538F-9F83-4456-A657-E2D874D3F827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a56cc10343158bc2f2228df5a7cf67c5ff4df4d1","datavalue":{"value":{"entity-type":"item","numeric-id":21762,"id":"Q21762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$FADB4428-074B-49E8-852D-C7A037CA9822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36f5026b55bb5cc68aa4d2933cfba0f3ca08a59d","datavalue":{"value":{"entity-type":"item","numeric-id":21791,"id":"Q21791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$48E1556D-4F7F-4A00-9A09-7F7AA0D205BD","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":"Q987981$143D5912-D591-4B04-A09A-2A3571098ED4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1aefd83c0afd59831d553cc92948ca4e15058b4e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.05.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q987981$9E048A9B-D3FE-4B95-864A-EFD359E3B33A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3576683694863951fa24d21922defbbc186316b7","datavalue":{"value":"W2149285895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987981$BF89FB35-FADC-496E-BF34-817278EFB84A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ae6909bad7073df7865a318584d20075f4c226a6","datavalue":{"value":"Q57978160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987981$4B7F8540-18A0-4BD4-9C28-51E991A16C29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceca1f5265397e37b0a53c5ef68bac0f9135634d","datavalue":{"value":{"entity-type":"item","numeric-id":3079916,"id":"Q3079916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$2187A2B5-1D1F-4213-8B28-DB7882EE733B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2308b579f17e034f0b8c7ed63a0f36b0e97275","datavalue":{"value":{"entity-type":"item","numeric-id":2841221,"id":"Q2841221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$A9950212-5119-446E-94D0-5664A1879576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bc836395ea3d29aff86f7f6b53964c9367d9dd","datavalue":{"value":{"entity-type":"item","numeric-id":1035697,"id":"Q1035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$00CD6025-2699-4E1E-8BCE-5C6B7135BE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5382661bc98927f3e7272f3a7e5c556ae94b246b","datavalue":{"value":{"entity-type":"item","numeric-id":4305626,"id":"Q4305626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$C12E024D-673A-463E-BA5F-6D10E844D306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$79553002-E1CD-49C1-94E7-08236C1AC80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9803ce2aabd36400d1d98509744959986f604e","datavalue":{"value":{"entity-type":"item","numeric-id":4700386,"id":"Q4700386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$A2C599CD-035C-40BB-BD30-17AC6CAA5083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969744e1c3d201c081e4d8f651e4fcd3b1fcd298","datavalue":{"value":{"entity-type":"item","numeric-id":5308437,"id":"Q5308437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$4D3337F2-6B43-4121-AAF9-6C8C9E8C3E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$09CB8A39-5089-4584-88CE-701E4E74DEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7325382818b3983a691c93f9f727900e0b03afe0","datavalue":{"value":{"entity-type":"item","numeric-id":3541712,"id":"Q3541712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$6E2051FE-DEA8-4C5F-9D0A-DDD5DBF61085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$564D4D59-0C2D-4F79-B608-57C9E9633783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4613a5898c3f3aac9ea48077af04511f4f2bf56c","datavalue":{"value":{"entity-type":"item","numeric-id":3527303,"id":"Q3527303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$CDFF0682-C0FE-42D2-85D7-45377475CCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$73A46746-4405-48F1-89F5-6AD0B1083D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775b67d93e5520a6052151e90159cfd6b8277e30","datavalue":{"value":{"entity-type":"item","numeric-id":3608646,"id":"Q3608646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$3E585626-2B2E-4237-8189-730EB5984D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$37CBBC42-278E-4FF0-971A-B96C5125DAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$990863EE-00A6-4B7C-8687-8E67C2A0C5C8","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":"Q987981$3EA5F539-E365-40E5-A289-86C9FA1B84FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9476ac1a83fef954224ee7cb1285ac824e5ebfbd","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$317B3928-0CAF-4B08-80DE-718FDCF3BAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$B155A12B-CB0B-4F1D-ACE3-17FFA3B57A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$18508C1F-BB53-4012-94EB-263DCCD08A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$A4EB5987-1730-4377-9BD3-A66216381353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c3491ad2c05915255ccec86bc9c770e938c9d2","datavalue":{"value":{"entity-type":"item","numeric-id":4023829,"id":"Q4023829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987981$91900A5E-ADEC-4222-9D34-53E9EB7D3873","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":"Q987981$011C08D0-3FB0-4607-BFD7-EAAC7AAFC2D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9aeb7c2c09179256a90eebdf76fb1bad8af9f760","datavalue":{"value":"10.1016/J.TCS.2010.05.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987981$2E9FEEFB-1AE9-4B28-A611-9C8E341EBFC7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ac66c355f7da06d3a6d388f176d81a22eba41f56","datavalue":{"value":"journals/tcs/AlpuenteCEFI10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987981$9D87A204-92D1-463E-94F7-31920EA8B8F6","rank":"normal"}],"P1643":[{"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":"4e2f8a23b9b3191e1a3ef8e59b1a05389968a0ef","datavalue":{"value":{"amount":"+0.7505210638046265","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":"Q987981$72E565A2-2528-406D-89B6-5628EDAEF37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300c234627d873c8def28a5fe091c2f1866ab9e9","datavalue":{"value":{"entity-type":"item","numeric-id":3636832,"id":"Q3636832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e2099656d4995ec83b66cddf0280443d755d94","datavalue":{"value":{"amount":"+0.7403064966201782","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":"Q987981$05775AB0-51D6-4D8A-96BD-91BD434B7604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc71baf93ee6f2d24641137465fc730854a86af","datavalue":{"value":{"entity-type":"item","numeric-id":4013772,"id":"Q4013772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7315ad3d16072bf651f2b4e72249ef307b3b61e","datavalue":{"value":{"amount":"+0.7320732474327087","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":"Q987981$0F0C245A-99D8-4E19-AE13-DEBDB850E22A","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":"e0782c0ac8bafa9c91bc7dfd49aa3485fd0efe4f","datavalue":{"value":{"amount":"+0.7250024676322937","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":"Q987981$AEA23D6B-5D93-474A-B049-0E63CC13B004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7678c7b70137e8ca67893ab5af55c697779b173","datavalue":{"value":{"entity-type":"item","numeric-id":5055729,"id":"Q5055729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88691477be5252f78d859e6238c97c5e74209106","datavalue":{"value":{"amount":"+0.7232130169868469","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":"Q987981$F5AF5EE2-E740-4BD2-859C-3B82A9CB3333","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compact fixpoint semantics for term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compact_fixpoint_semantics_for_term_rewriting_systems"}}}}}