{"entities":{"Q1687548":{"pageid":1698289,"ns":120,"title":"Item:Q1687548","lastrevid":68202372,"modified":"2026-04-12T22:06:46Z","type":"item","id":"Q1687548","labels":{"en":{"language":"en","value":"Complexity analysis for term rewriting by integer transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821631"}},"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":"Q1687548$0CE18E42-DCC5-4A2B-A08A-362FCCF3CB2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"955bba1ad368a9197fd51b178d894af1c8291d0c","datavalue":{"value":{"text":"Complexity analysis for term rewriting by integer transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687548$B19E6B88-5DAE-40C8-85B6-BB2ABBDBC4B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fcb8a178b3c1e22f1dd755f75c1f471d46d09b2","datavalue":{"value":"1495.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687548$D04D1F86-C8D3-4DAD-A2AC-3BBC5E5F1573","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1cb2487b2f2ad6bbc770cdf1e623b45e200bfad","datavalue":{"value":"10.1007/978-3-319-66167-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687548$D052814F-EBB5-45FC-9047-1A1A8CF8A109","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ace12b350f73958b672072db57e0304aee553d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1687546,"id":"Q1687546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687548$8D1CA993-A002-476F-86F0-71F8B329DF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ceff39412d9c06c1d2cd592800cc7acbcd40d91","datavalue":{"value":{"entity-type":"item","numeric-id":1647967,"id":"Q1647967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687548$ECD775B5-6B37-4695-A863-4E19BE3F09A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c620a21f59c0f5ba6bee7b541d3dbc342d398449","datavalue":{"value":{"entity-type":"item","numeric-id":1687547,"id":"Q1687547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687548$B9A2711E-92CC-4EB6-98D6-E037155675FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687548$01DDBF64-235F-4C9D-87BF-5024D08050F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687548$EE144B22-E3D8-4576-8938-8259A4C28DD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1687548$4F10B555-DF44-41D1-B08E-12CD4BEEBF62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687548$1167204E-5DB9-4D5C-9369-3DF07EA8108F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687548$707D603F-FAD7-41B8-A6AE-6C2A602DB960","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"170197cb1f3449d17a1c5695944e91ef5eb05963","datavalue":{"value":"6821631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687548$A2184BB3-9B62-4417-9113-CC6A42176142","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687548$895F0AC0-AF11-42A7-846C-8BCC7D1E2AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"308c9d19b10840f60de028f733a0e4446e2c05f7","datavalue":{"value":{"entity-type":"item","numeric-id":21700,"id":"Q21700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687548$E2776B80-CBEA-4003-B2FA-FB426F1EA372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2871f7cd7a69008c2d902655063f54deaad8160a","datavalue":{"value":{"entity-type":"item","numeric-id":55526,"id":"Q55526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687548$6245DB15-D012-4979-B1AD-791E968F7B8D","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":"Q1687548$3230B808-B616-45F2-BF87-C0F66D9826E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ee2b6cf19be935dd664fa6a494bd325d13c8ba3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66167-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687548$A88CE37B-EB48-4B43-B706-4311DD319D08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cb896a69c75569d5e8ee9c630a4d5833117dd50","datavalue":{"value":"W2739906175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687548$436FC6DF-8E85-425F-AC0D-289258D4A0F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7ba9574f939b0ea6f9abfcd9ee7057ffbba68e","datavalue":{"value":{"entity-type":"item","numeric-id":4645739,"id":"Q4645739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368a2f86392538173362b4f553f4a04ca015bc1b","datavalue":{"value":{"amount":"+0.8652422428131104","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":"Q1687548$9DA1B44B-D2C3-4765-8168-2BA79FDE2EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfdffad284dfff8782c1a78272d65925ec12aa15","datavalue":{"value":{"entity-type":"item","numeric-id":2351155,"id":"Q2351155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712adc9c54c20abf2fdbeaddb1ccb6ea2be57f31","datavalue":{"value":{"amount":"+0.8353850841522217","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":"Q1687548$60DF404E-F98A-4253-80E7-0AE0EB0814BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a58f1f1ce4881bfdd371c287c861973f23bb8ab7","datavalue":{"value":{"entity-type":"item","numeric-id":2180239,"id":"Q2180239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f2cfc64b00d4df692c015d22a94468673691b3","datavalue":{"value":{"amount":"+0.8306446075439453","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":"Q1687548$157C39C4-3371-4472-B3D3-F1630F4D4A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee2d46496b423dcc531760e8359592b39ead141","datavalue":{"value":{"entity-type":"item","numeric-id":5200041,"id":"Q5200041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd8426aa3c8fdd404e1899aef3ba8c03dfbc0c7","datavalue":{"value":{"amount":"+0.822539210319519","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":"Q1687548$2913BFB3-3B19-4A51-B589-C1B6845B5855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9070dee1dcb203ef993f30ff3f8259a1ec91f16","datavalue":{"value":{"entity-type":"item","numeric-id":5277889,"id":"Q5277889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b4b1b661c6af0118e11b370fa0edbe5dfa438b","datavalue":{"value":{"amount":"+0.8211634159088135","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":"Q1687548$DEBE81B8-4B79-4CD4-89F5-22258978F3D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity analysis for term rewriting by integer transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_analysis_for_term_rewriting_by_integer_transition_systems"}}}}}