{"entities":{"Q3314971":{"pageid":3325679,"ns":120,"title":"Item:Q3314971","lastrevid":48678859,"modified":"2026-01-05T14:23:19Z","type":"item","id":"Q3314971","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845031"}},"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":"Q3314971$745D3EC6-F16D-4CFF-8C9C-D5ED1E55602C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edfb1ae9a192e27faa5ceefa22e0c3fa1adaeb8c","datavalue":{"value":"0532.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314971$C5DEB62C-4C56-430C-AC27-0B3D11A0DE1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51149425cfd0041766e9190a28dd4f1dfa2163a2","datavalue":{"value":{"entity-type":"item","numeric-id":223042,"id":"Q223042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3314971$D0BBD925-D414-4F46-BB02-5F9CE66691DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e356b1262bbad58b83622f5ba1ddf4009a21e08","datavalue":{"value":{"entity-type":"item","numeric-id":3038637,"id":"Q3038637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3314971$C4C0E48A-2923-4FA0-BF56-66B866DC920F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3314971$08D9D819-7E8A-420A-9AEC-2BD4AD93EA46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314971$96C15DE2-9884-457B-BAB1-4F200747D936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"916972c90ad7b25550237c7f12834b8f694a0436","datavalue":{"value":"3845031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314971$411D720A-85CC-4DAB-81B3-5CC4B56B7B7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b1b57278dbfe0191664931a2598a7540b5af04","datavalue":{"value":"lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314971$81E73C1D-82E6-48BE-BD8F-C6556606673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314971$F7850E8C-08EE-41FB-8C18-DB0F97BE674F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00e3256c2f5bb390a3b44cf06c36ced2c74cd8a","datavalue":{"value":"elementary functions on lists, structural induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314971$35C8E8E7-59EE-49BC-93A8-F20191E6A7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314971$8EFD3649-FDD5-4294-A606-A5D2768F29A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae9160ab6ebf0e806fbfec0faad1a85a9eca617","datavalue":{"value":"program proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314971$E0D71809-DC12-4F0E-A89B-1C7E9BF4EA38","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":"Q3314971$D91C6967-3F1F-49F5-9932-9A5D0F18B23E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c02e3149e1e8373cebee18739c84d5d205337c","datavalue":{"value":{"entity-type":"item","numeric-id":3585155,"id":"Q3585155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a398fb59cc57e4780ba0509d12604ff8f74f8f9","datavalue":{"value":{"amount":"+0.7013379335403442","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":"Q3314971$7D55A2FA-9A98-4B2B-888C-1A7B28032353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5da8aace6d9bfa5286ec314ab8e30ab3675ba77","datavalue":{"value":{"entity-type":"item","numeric-id":447718,"id":"Q447718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df91b6b5f76e04afba4df9cb2f9a3553359b6d2","datavalue":{"value":{"amount":"+0.7007137537002563","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":"Q3314971$D75A5D68-E08C-46C8-BC7F-2C227CCEDD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49283f14c7cc27f0d17b2a320f270711e5a0367a","datavalue":{"value":{"entity-type":"item","numeric-id":4036550,"id":"Q4036550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5618f2de1a23bd9809260051c2995a780de59e3b","datavalue":{"value":{"amount":"+0.6999601721763611","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":"Q3314971$D5BAF724-E66D-4507-A93D-5086AEC70A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446f0537937102cf8e2bb8dbc7e1305728a3c801","datavalue":{"value":{"entity-type":"item","numeric-id":4036554,"id":"Q4036554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9b6671ffd58fbf7c07d73b665891e0e06c24b1","datavalue":{"value":{"amount":"+0.6992259621620178","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":"Q3314971$42281062-D7C0-48B6-9BE9-7B3DC18D59E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be45a14fef2c9b2a008fdef34e5e38a884f7eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":3792663,"id":"Q3792663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840fc126932a85ec595427bac7943a8308b660ad","datavalue":{"value":{"amount":"+0.6973088383674622","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":"Q3314971$A7BB0943-7BCA-4838-B786-F8279E0646C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3314971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3314971"}}}}}