{"entities":{"Q2500698":{"pageid":2511441,"ns":120,"title":"Item:Q2500698","lastrevid":49898104,"modified":"2026-01-11T19:59:13Z","type":"item","id":"Q2500698","labels":{"en":{"language":"en","value":"Verifying an infinite systolic algorithm using third-order equational methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047645"}},"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":"Q2500698$8D4FF28D-9379-4C5F-8D0D-3AC6FB437891","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52daef9abeb9e3842cc95373aa6ae87d4d8d8eb8","datavalue":{"value":{"text":"Verifying an infinite systolic algorithm using third-order equational methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500698$06EF56D9-3EEA-4F37-84C3-A5B139AB8A26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d25411e23c1ccdb3867fa82aae5ec773d8811c4f","datavalue":{"value":"1101.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500698$9409E732-C83D-4859-A499-F2B8C9E6F8B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4ec5efe6a019f0f43d27add0ac0e9917393300","datavalue":{"value":{"entity-type":"item","numeric-id":218988,"id":"Q218988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$C0182B36-6198-4F17-9624-1606892FD032","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$630CEAEE-144A-4160-81C0-5804DE50FF9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"843bd17abb8f5e9fd7f0b14de142c4a143fb1c46","datavalue":{"value":{"time":"+2006-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500698$F2DB98B3-9DFA-49F8-95B7-2EE42A1CEF58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500698$B1CCC7A9-0E1F-4E19-88E6-7D2FA1478BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500698$0A1E56CD-C70E-4394-999E-EF9A7EDD137F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7868c4172387a46e89bccf1d3f383c7644657d4","datavalue":{"value":"5047645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500698$40BB4264-65D8-4381-8728-74E001B7F1D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e406900fd9380f51e8459f5eee05cfc51d2bc80","datavalue":{"value":"higher-order algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500698$53AC92C8-0E61-4D8D-A50D-DD6BFEC1C310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a1358fdf2981208ac946ced8ff6a547a2aa6ec","datavalue":{"value":"third-order equational techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500698$76EB608E-62E5-4AEE-9FBE-F4CEA715DF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee1dc375caa14fb1e2143b4a4cad4385e934c798","datavalue":{"value":"infinite systolic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500698$2DF80BA5-71FB-445D-9409-AD1838BA530A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$29B349E5-AA6B-46B2-B437-521E8B57E0D0","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":"Q2500698$CD2ED669-22B2-4C83-8085-8DC1BBC11F9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baf56252d7fff1a1370c9708cadf146152980798","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2005.10.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500698$BC482EBA-5BC4-40E2-A2F4-3CE1ADCD3D5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"431caddabc4a91588af861895351512fd468fe24","datavalue":{"value":"W2165205418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500698$A2C4552F-C232-4889-B0A3-748A0E85F552","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d0f673a1fdbacfa022a609a6311f8aacc2eb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4000384,"id":"Q4000384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$A081F3A0-FDD3-4277-8D90-5548F7A457F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e64a3429b5662f7e97ee8af5e2adab4b73acd2b","datavalue":{"value":{"entity-type":"item","numeric-id":3028333,"id":"Q3028333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$CE7D5E21-9407-4C40-93E4-2DD5213CA0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$22AC188F-4AE6-44C2-96FF-DCD54E2741DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d81257f3403e2bd6dfaf12e4319d6962382d0e","datavalue":{"value":{"entity-type":"item","numeric-id":5096184,"id":"Q5096184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$602320DC-EB20-4D8A-BE3F-793FC404719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59dd6707e2d45afafa6c2faf7d6f9346e75471bc","datavalue":{"value":{"entity-type":"item","numeric-id":1908358,"id":"Q1908358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$F94674A6-C088-4050-A53F-B679640B1C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d97644f1b02a0f2e6d1000c97a5212800d7859","datavalue":{"value":{"entity-type":"item","numeric-id":2785427,"id":"Q2785427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$7E1F05CC-827C-4C3D-B886-93D399582BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e549581c03e6951191873931c64b3eb74c2755e7","datavalue":{"value":{"entity-type":"item","numeric-id":3860824,"id":"Q3860824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$1C9C07DE-1594-4755-880A-449257161A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6164d85c4694c71a8983f1c45bf387f665fdff","datavalue":{"value":{"entity-type":"item","numeric-id":1199827,"id":"Q1199827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$83F3BDB1-932B-4D5D-BB6A-D5122353737C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba15febb67e64952479a08617fa84b8824f38045","datavalue":{"value":{"entity-type":"item","numeric-id":4645808,"id":"Q4645808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$9162E06F-6444-446C-A5DA-819319682D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1742905b9d2a4f372607906e8e8d82e1785bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1362341,"id":"Q1362341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$9AE22580-C251-498F-B02A-6CCE8041446C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ab258ce3a93d04948c8705462f3fcde707422c","datavalue":{"value":{"entity-type":"item","numeric-id":5950718,"id":"Q5950718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$41F9BC4E-9947-4803-92AC-13B56A434D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702b2821c5367dd27f221db66964c05d11d7f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":3809236,"id":"Q3809236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$D58ECBB9-C196-4600-9DCF-D53ABAE561DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356da62d478be74d040e21e1547c482877f10984","datavalue":{"value":{"entity-type":"item","numeric-id":3694667,"id":"Q3694667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$A30886D4-537D-447A-A2E0-EF2C5D5F9598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a92b361a18a5491ab3cc99003979f5f231d4721","datavalue":{"value":{"entity-type":"item","numeric-id":3719801,"id":"Q3719801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$43CD838F-AE27-431B-BEC8-E386EB02CBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7182ce57f503c6c9134e2d3cac4f980e58f65963","datavalue":{"value":{"entity-type":"item","numeric-id":1323318,"id":"Q1323318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$49C189B9-963E-44CC-A792-7BF74BABDF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1822b40c2cb5ff6650d48e30c40425acfa2351fd","datavalue":{"value":{"entity-type":"item","numeric-id":4364371,"id":"Q4364371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$3383DEB1-DD0E-4229-A839-A768E8E2B017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5059f33f63fd96d1244072b94ffd457c49c3b5","datavalue":{"value":{"entity-type":"item","numeric-id":4520833,"id":"Q4520833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$F7A36029-6ACD-4808-87FB-CE62C17C4924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8138d7cf8d12ec4f6ff8cc7b747f03401678975c","datavalue":{"value":{"entity-type":"item","numeric-id":1365475,"id":"Q1365475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500698$F2F9996E-7A3B-4753-9D73-BE6DD90D877E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5adb5730979b62f2df58c91297809d505d3de543","datavalue":{"value":"10.1016/J.JLAP.2005.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500698$1B99B276-6B18-40F7-8EAA-CD8A97EF0EDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441e05b212b1b6d7b680aed158f808d54d716c53","datavalue":{"value":{"entity-type":"item","numeric-id":5950718,"id":"Q5950718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6197d6f5f362891c35cd2c0e59c790c8603a0acb","datavalue":{"value":{"amount":"+0.7415589690208435","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":"Q2500698$49EFA8D5-86C4-40BD-9A6D-33546F69E7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc82ddf8e293b54268becba9cebc82e2273a9f7c","datavalue":{"value":{"entity-type":"item","numeric-id":1123588,"id":"Q1123588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ade71fa67e46c84af00b44c2c7fb4cf201601f","datavalue":{"value":{"amount":"+0.7142168283462524","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":"Q2500698$A20EBDEF-FF0A-473A-BA22-0AF6F1F05BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"029c5258001484b5db028f67c70e78f8a93ad1a0","datavalue":{"value":{"entity-type":"item","numeric-id":1189257,"id":"Q1189257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdd492cb84ed1d79a054109fe8f6c86043d86cc","datavalue":{"value":{"amount":"+0.6959615349769592","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":"Q2500698$124F4059-7DD3-46F6-A6B5-FA7854ECE3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99557215988aed1340ebb29c3044545df58872e5","datavalue":{"value":{"entity-type":"item","numeric-id":2760254,"id":"Q2760254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241a6106ee41de56d58344512347e91a2a5a3007","datavalue":{"value":{"amount":"+0.6868728399276733","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":"Q2500698$2F5872E8-31DB-46C0-B714-5C26B422A6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a0823fbee8ce54ee6e908d466a6fd4b4e0f9a8","datavalue":{"value":{"entity-type":"item","numeric-id":3338117,"id":"Q3338117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd01133e1a899e3e3fda2596a5a03f569e4b2f5f","datavalue":{"value":{"amount":"+0.667206346988678","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":"Q2500698$FCE0FBE4-6A37-40C8-83F4-C1E6A47A5D80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500698"}}}}}