{"entities":{"Q1364103":{"pageid":1374842,"ns":120,"title":"Item:Q1364103","lastrevid":68730984,"modified":"2026-04-13T01:42:31Z","type":"item","id":"Q1364103","labels":{"en":{"language":"en","value":"Generalizations of algorithms that find invariant relationships in programs over algebra of terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1051128"}},"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":"Q1364103$7FAF1802-9F29-4EC1-9167-2BD58B746986","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"734b491ab6b766c096363380cccf5e9ba0bdb5bf","datavalue":{"value":{"text":"Generalizations of algorithms that find invariant relationships in programs over algebra of terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1364103$E3F32A57-5919-4455-89B7-A382FFC55489","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c9c03762cc91e0ffa439a904129814f3c94fb7d","datavalue":{"value":"0879.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364103$2555ABD2-4FB5-4D88-B264-CEA7F1D8D840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9a04babea67523577188a9fe20e46f698100ec3","datavalue":{"value":"10.1007/BF02366578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364103$DE87C786-570D-4AAC-8641-D6D5ECCCBE75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2e6a0353a5a7b0d82ef9ca7c50f143590a03fea","datavalue":{"value":{"entity-type":"item","numeric-id":1349019,"id":"Q1349019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364103$98F7E798-B671-444C-A5DA-B97F00EA70CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364103$54014CA0-C8C5-4405-B7F2-1F5F397D4BDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad4ab8f37a90ca87e9ccd9974f355802c12e0ef2","datavalue":{"value":{"time":"+1998-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1364103$2A885044-BBC3-4F19-A697-5109F106D784","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364103$C1F641D5-C9C6-4192-81D3-912E7B772A74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcf4bb7867e2c7674261e7645ee6ef0328a890e5","datavalue":{"value":"1051128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364103$B05E42F3-A1F4-49BC-B55B-2EFED3041C24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a434f71eff49c935ec3dc4390f7da0a0a94521c9","datavalue":{"value":"program invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1364103$83639E7D-155D-4A33-9A7E-21C2AD63D2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1364103$E474E7C0-5CFB-47B8-BBBB-D1BF958D09E1","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":"Q1364103$040A31B3-18D4-445A-84E4-7AA6747A7A81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364103$E56603CA-1CFA-4B28-AA08-4A72CDEBAF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c714c39906d907f6de9565f81d0934aa4f510f79","datavalue":{"value":{"entity-type":"item","numeric-id":4164790,"id":"Q4164790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364103$B11342FE-F6D7-43B2-8278-1B790E1AB2A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e1b506199af77a353cf4fd8a42ab0932c2fa35","datavalue":{"value":{"entity-type":"item","numeric-id":3706481,"id":"Q3706481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2123a56c641f98f53a7187942da154d4b3022d","datavalue":{"value":{"amount":"+0.92509514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1364103$325E1271-EB6D-479A-ABC9-E473E7E3554E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d50d2a57f60cccf17ecda3ac0e8f3684dfba99","datavalue":{"value":{"entity-type":"item","numeric-id":3585039,"id":"Q3585039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c8da9c73ec3ab646ac54b6dd86dd258080eca5","datavalue":{"value":{"amount":"+0.90022284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1364103$80F58BDE-4011-49A1-A1B6-A1CB6D4955E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc372ddcd05f1d33bb670f2df9fe27a034e54e01","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a9e43a5fb324702313419c11eaa3c7cd4f7221","datavalue":{"value":{"amount":"+0.8781487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1364103$5DE52775-B61A-42C6-82FE-EA7A83DD64C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96e21c91f53242c4f35eea328c507de68e90a8c","datavalue":{"value":{"entity-type":"item","numeric-id":3033332,"id":"Q3033332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c54d224df074402fadc103dd344b8525d9d3652","datavalue":{"value":{"amount":"+0.8760333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1364103$7056AF85-29A3-4B6A-8CCF-DB7B8DFDE3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ac48785266b934049e115a22c29640cef3fafe","datavalue":{"value":{"entity-type":"item","numeric-id":3698287,"id":"Q3698287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6bc0ea440461c62079de5dd62a4decee3e5176","datavalue":{"value":{"amount":"+0.8735471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1364103$090508A0-8376-4E47-B8D7-727873D082D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9d7d97ee42b888904de875c2ea55e9a15b8f70","datavalue":{"value":{"entity-type":"item","numeric-id":1066663,"id":"Q1066663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9273659c6628cd086d8c11c2dd50cfb6a3b39868","datavalue":{"value":{"amount":"+0.87340635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1364103$7E77B51D-166C-4B0F-8B89-90C4A9087A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c13988aba604286380ae796b695abe654561d5","datavalue":{"value":{"entity-type":"item","numeric-id":5395800,"id":"Q5395800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9c87511561e4f1cea013b2ca3a26ca1cdf661c","datavalue":{"value":{"amount":"+0.87205327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1364103$4C232E54-E2A1-4D8C-8101-F25787F63069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd620244d5c9465827a44dfc70b08fe227e6c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5466568,"id":"Q5466568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd009c7d2fd2727c75c9d54a2be4ec5b12a41f1a","datavalue":{"value":{"amount":"+0.8704524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1364103$DFB3227C-D2C4-4FCD-8707-D2D2FFDE74A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92caf6871535017967a10c581a49028a9c1f9a93","datavalue":{"value":{"entity-type":"item","numeric-id":5363376,"id":"Q5363376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e170324270b98a7ac8f288ebd4a185bd21e9adae","datavalue":{"value":{"amount":"+0.8694202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1364103$12E2A624-376E-463A-9722-CF9224521CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fce6f8ad6b8c888ba1179087486e580713294fa","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a204e889ec324d7ab0c67a414fa920729c3975b","datavalue":{"value":{"amount":"+0.8691851","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1364103$B06488EB-F3A0-41E3-A24B-87341C71734C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalizations of algorithms that find invariant relationships in programs over algebra of terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalizations_of_algorithms_that_find_invariant_relationships_in_programs_over_algebra_of_terms"}}}}}