{"entities":{"Q579925":{"pageid":581692,"ns":120,"title":"Item:Q579925","lastrevid":62944743,"modified":"2026-04-11T09:09:26Z","type":"item","id":"Q579925","labels":{"en":{"language":"en","value":"Building exact computation sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016184"}},"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":"Q579925$0BC1B81E-4808-4A41-98AF-B369F4A6F2C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58e3acfbc3c64c0432cb60b6e8bba0c4cf0badc0","datavalue":{"value":{"text":"Building exact computation sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579925$44089695-17A7-4DD5-916C-D45E6CD1C8DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6013dba90db9c869bc39b7bc7bec980d034ab8e","datavalue":{"value":"0625.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579925$DDD1FC20-F543-4F7D-BF93-9D526A006BF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"544c73bbe108dd2dc5ad372dc53a1c9271eec021","datavalue":{"value":"10.1016/0304-3975(87)90029-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579925$64A904C9-E952-4277-AA52-EE6E33A12F0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd700e382b17a51f7a7eb15a1a3de100b49badb2","datavalue":{"value":{"entity-type":"item","numeric-id":579923,"id":"Q579923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579925$EE265B55-BB09-4163-B955-65D4114A6A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579925$B95E7970-5CBF-42F2-B283-144B0FAC489E","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":"Q579925$BA5EF5B3-0011-43A5-A69E-81D3AA2544F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q579925$93DACBA2-7DDB-4967-A367-6F2BECB9ED3F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4582eb61fcbd3abe8ef3dab908328db71b3775fd","datavalue":{"value":"See the review of the preliminary version [Lect. Notes Comput. Sci. 214, 45-59 (1986)] in Zbl 0605.68019.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579925$31486BE0-6A15-406B-9B48-EDAD125B86E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579925$E2C8C101-B277-4F2A-9C4B-205C21A4083F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579925$0978E2DD-E3F6-4E6B-AAE1-742065A6616B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579925$D84AE1EB-ADF7-4E73-97F5-396133A72526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579925$0DB5C14B-B44F-49FB-B633-93E406C9B42B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81cdb2965772bc99b6ba6faca4618df2cd629ec2","datavalue":{"value":"4016184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579925$16620281-D71E-4B72-A909-79BAE42E98AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q579925$C6D110CF-F9E0-437E-8796-C6A95B928C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q579925$C0FE1530-DD09-4397-B6EA-FB8659737739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q579925$4DE8ADA0-0DB7-4413-BA97-5A5DA8316100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e972ff2173c0deffa6eebf1618724b2f35848ea9","datavalue":{"value":"conditional equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q579925$35B385F7-7B9B-4BD9-90D7-850689AA5C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0da61290eef6747c5795b79a46e62e23a0358b1","datavalue":{"value":"step function","type":"string"},"datatype":"string"},"type":"statement","id":"Q579925$65DBA5B2-6EA0-49CF-9DE5-3FC978F9AE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abdc823c60f81523ccd98fdd9e55f4a0356f0be7","datavalue":{"value":"top-down reduction extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q579925$8329E7BC-BDE0-4797-AD10-A0040EAABF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q579925$82427B13-C8D0-4008-B641-B11640A0FC8A","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":"Q579925$076E6813-7C49-4D9C-80CD-95C4D74108E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da4d8febee909bad712ef1c34f946c60dd6e13d2","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90029-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q579925$A9BFC5FD-80D9-4A33-A472-4204570C1C44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00e963b45a3a4d8bef9cf7b3ce8294b9c056d7f0","datavalue":{"value":"W1986503158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579925$FE78E861-A950-40F4-AD64-F0E4B90EDE1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579925$F16B5A2F-2C80-4531-95D7-2791EF923073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579925$C32A7087-B44C-4D12-975C-A0464A4F5D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aabd8f3595e1331a44dc7a6dd5f7e7d6bff224f3","datavalue":{"value":{"entity-type":"item","numeric-id":3336735,"id":"Q3336735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579925$5D30E01E-EF05-40FF-A3ED-C56EE20AC904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579925$E892786F-DF78-4D27-A25D-D61C2EB8AA25","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":"Q579925$FA4FEB48-E117-483D-96DD-E6360888D4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59039c304cefa089c2de717037730a79479caebe","datavalue":{"value":{"entity-type":"item","numeric-id":3336736,"id":"Q3336736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579925$139EB17F-95A3-4967-9602-6DE18C85C30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407daa1c47ad4e1b7bcdfae46df97a17606dddfa","datavalue":{"value":{"entity-type":"item","numeric-id":3338226,"id":"Q3338226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579925$71B58FD9-2C3A-4968-B70B-40F73F85ED7B","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":"Q579925$38744551-1A91-4614-9849-2A15C348D315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a88cb4a4ba45237255ea0b03d6122d8646f7bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3337523,"id":"Q3337523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579925$53D1F57C-E991-4DE3-8626-CFB5941AF12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ef386f6527a54be0326ea546decc64011096e8","datavalue":{"value":{"entity-type":"item","numeric-id":3742704,"id":"Q3742704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579925$19A6A50B-8955-438A-B5FF-0CDB34D4E7CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Building exact computation sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Building_exact_computation_sequences"}}}}}