{"entities":{"Q7320678":{"pageid":31337749,"ns":120,"title":"Item:Q7320678","lastrevid":105115999,"modified":"2026-09-17T11:22:57Z","type":"item","id":"Q7320678","labels":{"en":{"language":"en","value":"NuITP: accelerating the inductive verification of equational programs through symbolic simplification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8247042"}},"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":"Q7320678$35659D79-4490-4819-B1FB-041B19AC53C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e7b48bec9b50847ab9d09f219fe4c62e6606c0b","datavalue":{"value":{"text":"NuITP: accelerating the inductive verification of equational programs through symbolic simplification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7320678$913E248F-A522-4F9C-8FB4-005426D6F058","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98a05d175c0062e804195f800c9426b74b44515b","datavalue":{"value":"10.1016/J.JLAMP.2026.101155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320678$C8F72DE2-14E6-4A1E-BE02-95B3BE296B2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e79680c85f7071a30303966dd871c96745d2ddd","datavalue":{"value":{"entity-type":"item","numeric-id":347376,"id":"Q347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$49259BC2-1C13-4948-BD11-B94A7D2026F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$30E881B9-6E51-4A91-8E74-BE560E0B01B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$6F4C9E91-AC61-408C-A8EF-5BC4D788B969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d326dde040720157c585183b6d2e8a202bb550f","datavalue":{"value":{"entity-type":"item","numeric-id":739629,"id":"Q739629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$224198BC-1E47-4AE0-8D90-BB275DCE216C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$2773B409-BDCA-4046-A4DF-DF58494AC372","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba7debfa9fdf0040043d7d7d65003e0398bcfdac","datavalue":{"value":{"time":"+2026-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7320678$FFAF32FB-D2A2-44CC-BD60-C3151772F8D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320678$9C3244CF-9E46-4439-B18B-8523AAD63403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c1507179a12a63452b990bd4cba03cb3bfe1ca3","datavalue":{"value":"8247042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320678$3E3C885A-409E-47B0-AF82-4D62C009545E","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":"Q7320678$480087C0-037F-4DB0-AEB2-8FD5B91C7607","rank":"normal"}],"P223":[{"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":"Q7320678$1EFB5DED-EFF3-41C1-ADDA-7DC54FD1ACF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$545E35C8-9ECC-4DDB-BD11-BF295B4F1E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb176e33191c1bdb10e72d085b171a598ebbffc","datavalue":{"value":{"entity-type":"item","numeric-id":7009392,"id":"Q7009392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$520DFDAF-0F49-4603-9ED5-5E4D0E73E4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$0817158B-342C-4DA1-8254-FC3AB5D75053","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":"Q7320678$E7308456-D496-420C-BEEA-9849BC699198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$7B4C3F77-CA3D-459C-AA2E-0F78C08DC852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$C11E36BF-C4F9-408D-AB34-3D1EFD1A17D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1272332821781f00780d9c30b66a912b70f4d17","datavalue":{"value":{"entity-type":"item","numeric-id":1854350,"id":"Q1854350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$C21E069A-E364-4B54-AB76-A2B3F3DADEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b4043c10572e49ad813f1f8314c7ec54a9a837","datavalue":{"value":{"entity-type":"item","numeric-id":4916079,"id":"Q4916079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$511217FB-F939-46F4-B7A9-BE80159C8174","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":"Q7320678$68030B96-0CE2-471E-A834-1177C4E3D15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093682f82b55047546d767040082e61c8c07c786","datavalue":{"value":{"entity-type":"item","numeric-id":4282672,"id":"Q4282672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$4F2CE3C8-4B00-4F56-A861-BF57D471BE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d402734edd30c9e3a9001c5499ea254dcb28bc07","datavalue":{"value":{"entity-type":"item","numeric-id":5403084,"id":"Q5403084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$D5F2A583-1219-4403-92FE-1213ED112067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d97f07ac0995d1b282f16896a4bf73bdecceb9e","datavalue":{"value":{"entity-type":"item","numeric-id":5747655,"id":"Q5747655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$65866D36-4048-4535-8D01-EE091E48692C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$A6133721-3539-42ED-9F55-BF240520323B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$2B8D454A-0BD5-46C7-9EBA-A84E4E525621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$D8CF498A-79D1-4048-B36F-B6884C9BB561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$71BA0852-7559-4626-BEB6-FD9B43B9650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$BC3E1C96-A9EE-4410-9E9A-4A283D9304EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$B9472637-A378-48DF-9621-E4D2CFE8D05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67737023899dd2252d79885f477a3601bda6d265","datavalue":{"value":{"entity-type":"item","numeric-id":6114261,"id":"Q6114261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$140B0B0B-9B14-4A5A-8489-B8ECBF098526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797d69ccc16ac41adec3adfdcc63bc05d0208ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$D50E9EBE-EE43-4C68-BDCF-910061621F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"674b20c3236b9fe5338c929f7f2bef21f80418e6","datavalue":{"value":{"entity-type":"item","numeric-id":6643468,"id":"Q6643468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$3D49C55E-4BA9-48EF-A2B7-E0BB87213CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa72e383c8b5500a940c4911f0d87670e9142811","datavalue":{"value":{"entity-type":"item","numeric-id":3067467,"id":"Q3067467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$422B3407-3F85-482D-A544-DB859788DDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d5c006305603ea251952b72b3907af5565470","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$68256C9A-CCA3-4074-AB5B-04740B28A4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c644393292b3f41469d648371f2669fdfbbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$145024C8-36B7-4A86-A8E7-B39EB336FCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$1CD7EC6A-5BBD-4F16-8211-BAC7D4E981FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f4fdedc40fb7c3ce8c155e6cd5be5b45cbba5e","datavalue":{"value":{"entity-type":"item","numeric-id":6847672,"id":"Q6847672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$E338A365-A11B-4022-8030-E71818726005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9be21175f0a1b2273831d6764d400e811c3643c","datavalue":{"value":{"entity-type":"item","numeric-id":6486039,"id":"Q6486039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$50FE4A22-0C2E-431B-B23F-D340FFCAB00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$7E38A3CE-B9C8-4E03-A4FA-5588229BDB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0c1063d2d24fe1956813fa9bc95f21d14d9d1e","datavalue":{"value":{"entity-type":"item","numeric-id":730473,"id":"Q730473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$C0ECA716-E046-4541-9728-C09CD44639CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$2202AE07-B74A-4A29-8949-9ACD8848006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$074BB3D5-B045-48CD-858E-256F0D3A7CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7677402c1f33917bba280f3264f0a6b4b2ec079","datavalue":{"value":{"entity-type":"item","numeric-id":2413027,"id":"Q2413027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$8C586272-7014-4A8D-B738-C2EB0D34DEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7585a3414ed5d460ebd13d62b6e4dd63859751d","datavalue":{"value":{"entity-type":"item","numeric-id":2811360,"id":"Q2811360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320678$FC7A1644-6C80-4FD2-AF0C-DDF94AFFAA98","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":"Q7320678$63414CEE-BC7D-4C9A-A499-6BB36CF221C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NuITP: accelerating the inductive verification of equational programs through symbolic simplification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/NuITP:_accelerating_the_inductive_verification_of_equational_programs_through_symbolic_simplification"}}}}}