{"entities":{"Q4267724":{"pageid":6297325,"ns":120,"title":"Item:Q4267724","lastrevid":96615440,"modified":"2026-06-05T11:45:26Z","type":"item","id":"Q4267724","labels":{"en":{"language":"en","value":"Automatic verification of functions with accumulating parameters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1347960"}},"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":"Q4267724$D5760888-2F79-4093-A997-BC0EF3C4D077","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9417177a62e8a1fc4a89f7b0eb068534b480ce65","datavalue":{"value":{"text":"Automatic verification of functions with accumulating parameters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4267724$245B74BE-3A2E-4041-93B3-A01F1D650119","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0943ba5a778caeff7b5d943c18bdda1121e76d05","datavalue":{"value":"0940.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267724$777E8226-C4B6-4529-A5B5-E5A51CE1704A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"307289f9f477570562e0a4ab49f7474573a84aae","datavalue":{"value":"10.1017/S0956796899003408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267724$2DACB62F-6080-4159-82D9-BB9ED55B7EEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"982d9eb1fc0eb5fc17fd1d5b1b0dc7d42b2233e1","datavalue":{"value":{"entity-type":"item","numeric-id":685547,"id":"Q685547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267724$BDB19C90-D2C0-45B3-819D-86F175092040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267724$58C77962-C8A6-4FFE-BCEF-01B5B06D0C0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4267724$6C01DF26-170F-4BFE-BFC3-C84CC3FCB9CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39911b3a5473df3f27575bea507ad91be8380315","datavalue":{"value":{"time":"+2000-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4267724$89873B5A-D107-43BA-8090-F81A815DB948","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267724$C296116E-9725-43EF-AC32-026B129B9A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267724$3FDFBCE9-F02B-4660-AAEB-43DAA6854FB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6fd52597beda4174ccbdc6de4c4e84cb92fcb5d","datavalue":{"value":"1347960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267724$A4A89827-4F2A-44D4-99BE-22460FCC79D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"849e11fdfc614c8a417ce287f8d9832bc20960a1","datavalue":{"value":"reasoning about functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4267724$7A97FF2B-3BE3-43ED-8FFE-B1F8A162BFD1","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":"Q4267724$9A8421CC-8DC2-4A7C-9BB5-04EF77FC524C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c49aa648de6cb443340b567f7486310c9e26e7c9","datavalue":{"value":"https://doi.org/10.1017/s0956796899003408","type":"string"},"datatype":"url"},"type":"statement","id":"Q4267724$AFF46627-613F-4185-9B41-1DFA0E85227F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc590a0c7fcfba35661a48f0f9515755562b45b9","datavalue":{"value":"W2169770847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4267724$2A8F597B-665D-4605-8AFD-E65922FF1DA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6a893f98cd18644c4965ecf15548dbe09dad42","datavalue":{"value":{"entity-type":"item","numeric-id":882487,"id":"Q882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d5e6e2ddfcc2bafaffd61c9c64bdb5d71b9811","datavalue":{"value":{"amount":"+0.766033411026001","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":"Q4267724$0D4891F2-881D-4C7E-942A-31673D7DA422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99387871c9d552c3be5c78e7a6b920f1049d820b","datavalue":{"value":{"entity-type":"item","numeric-id":5896945,"id":"Q5896945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8eb1ce9adce6e9a08bae36f92c45d060ac68f5","datavalue":{"value":{"amount":"+0.7609068751335144","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":"Q4267724$68DAD321-F25A-44BE-BB56-3858C19A06DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81f0140d925efb9c7f35cf9e012c60f913b6247","datavalue":{"value":{"entity-type":"item","numeric-id":4365106,"id":"Q4365106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c290144072da292d40b6674aff84097bb5e3c1ee","datavalue":{"value":{"amount":"+0.7349596619606018","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":"Q4267724$EC88361C-B8FD-4DED-8C63-3A1EB7590FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704a49cab08e72b5b7eb95f34ca27569ea97ba64","datavalue":{"value":{"entity-type":"item","numeric-id":1595923,"id":"Q1595923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0e484c49dcc4624ef5f7de73c1833496d307da","datavalue":{"value":{"amount":"+0.7343454957008362","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":"Q4267724$D057C698-D46F-48F4-87D7-DE6483956087","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of functions with accumulating parameters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_functions_with_accumulating_parameters"}}}}}