{"entities":{"Q2119101":{"pageid":2129844,"ns":120,"title":"Item:Q2119101","lastrevid":43522290,"modified":"2025-07-30T14:06:40Z","type":"item","id":"Q2119101","labels":{"en":{"language":"en","value":"Runtime complexity analysis of logically constrained rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7496640"}},"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":"Q2119101$B3AF64AC-3C36-410E-B792-2501575D12E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a651cdd278acff4df0604e83a68bbda3c605d5da","datavalue":{"value":{"text":"Runtime complexity analysis of logically constrained rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2119101$28EAB820-B31A-41BC-8F07-410BB33F123E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"354c26922de4f0babee7d1ccc67d87aee84b82e1","datavalue":{"value":"10.1007/978-3-030-68446-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119101$E7435F71-66DC-479A-B317-2DAA2853E147","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$FEC6D352-3F73-4D8C-A81C-89B6D6634E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72dabc59d6ac55abae8a5d41136834dd0407ff86","datavalue":{"value":{"entity-type":"item","numeric-id":276250,"id":"Q276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$E940F22C-2F34-4DD8-BDD6-D6D0553C671D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aa1d2d8467e713a3bff3ca93031dfa09d4c4894","datavalue":{"value":{"time":"+2022-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2119101$6CF1B550-4172-45DD-B15C-6CAAC0D0B6D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1a710313cd1349b0cb33992c4327aeb8f87b091","datavalue":{"value":"https://arxiv.org/abs/2012.06370","type":"string"},"datatype":"url"},"type":"statement","id":"Q2119101$9E5153CD-41F5-4B40-95CD-3D9E1AFB6817","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119101$3CC8F8A6-F4BC-4201-A204-FF23AC0C4170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49ed46e4c3796e04d9e2fa866b0866eb386d76fd","datavalue":{"value":"7496640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119101$31456269-993F-4779-A72B-861FBB692BCF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a348546449022e02dc30871364e9d316b31227e7","datavalue":{"value":{"entity-type":"item","numeric-id":25785,"id":"Q25785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$0FEE058E-6534-421C-B1D7-201BEA8103FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68e5df8c3dae7752bf7f3ad5b01ba30abc445cad","datavalue":{"value":{"entity-type":"item","numeric-id":39280,"id":"Q39280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$79A034E6-DD1E-4647-A7C4-5EE60CA46A92","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":"Q2119101$99714958-7210-4017-8436-81CD9E306D8C","rank":"normal"},{"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":"Q2119101$C21AF623-13E3-43EF-89D1-DD74446B666C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$CF46499F-8D13-441E-973E-3F7276089462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e52735493c96056a5f9fc9d0bd08503ea2205783","datavalue":{"value":{"entity-type":"item","numeric-id":28906,"id":"Q28906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$A96F4D6F-EBAD-4105-A0D9-87B324A6CAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$FF6E5131-6106-4F90-A802-AB9580F461AD","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":"Q2119101$79B6A22D-BA33-4ECC-AD9D-F81C1F90CF36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67622191a836082ed4830c8127487c0a59f2a76e","datavalue":{"value":"W3133800324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119101$283BF532-1934-4DE1-89C6-AE9B05907554","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed46dc2b3832d6a8321d33eb42dc2ec453be9910","datavalue":{"value":{"entity-type":"item","numeric-id":3522073,"id":"Q3522073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$9BE34047-5BE7-43A7-98F1-D512CD7F962E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64c0f6c86d151f61383ea03d9b987d31df98c45","datavalue":{"value":{"entity-type":"item","numeric-id":2946710,"id":"Q2946710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$C9C48B53-D6CD-43EE-B266-7D577D147F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8540fe0517f2d5cf0be7b1905c72108509166024","datavalue":{"value":{"entity-type":"item","numeric-id":2981952,"id":"Q2981952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$EA29DD25-2136-4DF8-99A5-6E8B105DCE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460a54b19e446fbd918e99b70c249e191621587a","datavalue":{"value":{"entity-type":"item","numeric-id":276251,"id":"Q276251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$5A93CBBF-36A4-4A46-A30D-9F93CD8E3FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$04FD6C96-CE70-41C6-A2E1-2A4E03447404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e2619d921a90a23a3b4e83cf6d7c062656523e","datavalue":{"value":{"entity-type":"item","numeric-id":2164209,"id":"Q2164209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$CA0E53F3-EB02-4E41-9DBB-9D76ADAAA156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2908b882f84be4917b45ada52813497d33c1e4b2","datavalue":{"value":{"entity-type":"item","numeric-id":1799091,"id":"Q1799091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$AD35C131-4023-4F89-A0F9-900CAC9DE362","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":"Q2119101$F7958E81-FA38-488B-B5A5-52A164067E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae29fa61df2f7e9b8f7b41e6d93afeb1143844","datavalue":{"value":{"entity-type":"item","numeric-id":5389070,"id":"Q5389070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$880A08F3-CCFA-4CF4-938C-A96A3AEB70E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df050b8b4fa215ee0bb7a41d1fc6b779a27de52e","datavalue":{"value":{"entity-type":"item","numeric-id":5045475,"id":"Q5045475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$9E3DAC2E-0811-40DC-9E78-37E0B2D9FB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced3b913b09e86cfeb91f326a2ba44ffdb3909db","datavalue":{"value":{"entity-type":"item","numeric-id":3636817,"id":"Q3636817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$D5B7882F-47BA-4D97-B517-C3B0E6C291E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d51aca6beb1a70c4f7a03278c2c88c76364cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5278212,"id":"Q5278212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$9B5D256D-C1E1-43D3-95F0-BB4BE182A78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$F13A1101-ECDC-4789-867F-86F71398467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e310a6e4c7dd191248769828a27c22df80c4bcf","datavalue":{"value":{"entity-type":"item","numeric-id":3636853,"id":"Q3636853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$3FDFC91D-BA03-46B2-A60D-D9C52573E5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e754d2489cd4e938ceb6ef25e32ef535b674e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541717,"id":"Q3541717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$5D39C2B9-9D9D-4BCB-B252-AE870A2619AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fc6eb76d008c38f8d5f3864b312ce3bca80654","datavalue":{"value":{"entity-type":"item","numeric-id":5370874,"id":"Q5370874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$99B72E4A-E1B6-40EE-88A3-1C4DA92054E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2867379881a9fad1d7058ee036fa7796030eccda","datavalue":{"value":{"entity-type":"item","numeric-id":2849501,"id":"Q2849501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$36FDDA29-2F96-4D60-BE5D-A0A9BF5DBE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401927881e41fc37b8317fd7b28f5bd64001daf","datavalue":{"value":{"entity-type":"item","numeric-id":3460083,"id":"Q3460083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$CCE482BD-F8BE-4951-BF71-6608465D5C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cb6297ef3879559869fb85a895cac11989b1a2","datavalue":{"value":{"entity-type":"item","numeric-id":4779112,"id":"Q4779112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$D6A36755-647B-416D-9EDF-519347EF19A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4d3b60d147cb23c7c6afc467f003f6d2c00f84","datavalue":{"value":{"entity-type":"item","numeric-id":1640985,"id":"Q1640985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$DAFBEE51-07C9-4AFF-B9DF-F4A5CD3A3755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae06c013af453b2df0cc901e465903ce2dc7354f","datavalue":{"value":{"entity-type":"item","numeric-id":1629968,"id":"Q1629968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$21580DFA-7D65-4FFD-876A-5CF7A543EEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88530834ec12c39dd9fcfa8ff40d5bf40aeff0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2351155,"id":"Q2351155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$570F0B3D-3798-4D54-9246-A40B04FC4C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$057E3748-A9E6-4F56-AE5C-F2B8070601C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd4091d7ec35b20d706fd3149220a7a0ef1eed2","datavalue":{"value":{"entity-type":"item","numeric-id":2931277,"id":"Q2931277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$0C320F74-52D9-4D5F-B6F7-D8E03F95990B","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":"Q2119101$706DFE0B-0DC0-4F85-B004-3D5DC60DDFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d10fc74bb631d103d55d98623ca6a59a70b5d01","datavalue":{"value":{"entity-type":"item","numeric-id":4993362,"id":"Q4993362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$8BC3C121-174F-4FBF-A24B-52CE2641A679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa375ae76c194259271500956f28a63d0198e05d","datavalue":{"value":{"entity-type":"item","numeric-id":2119101,"id":"Q2119101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119101$6EF7956E-DB8C-436E-870E-D674F695E92D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2119101","badges":[]}}}}}