{"entities":{"Q4460845":{"pageid":6490444,"ns":120,"title":"Item:Q4460845","lastrevid":48265351,"modified":"2026-01-04T04:11:06Z","type":"item","id":"Q4460845","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2063228"}},"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":"Q4460845$702EDC58-6677-4275-A399-EF78DF4A5078","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ad9847cb13e5a92ef374905b502ea9eec58f295","datavalue":{"value":"1048.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460845$4B2B5E20-B158-417E-9769-C0F046EAC944","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05601a30d2332fb5b5c95c774ac3fc8d65c65046","datavalue":{"value":{"entity-type":"item","numeric-id":2709210,"id":"Q2709210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460845$AF369DB7-1DD1-468D-9567-DB81E84E5117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33423fd214e41478017ece7904a590cfc211acb0","datavalue":{"value":{"entity-type":"item","numeric-id":752666,"id":"Q752666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460845$C5D2081D-1CD0-4067-A284-4D79397CF207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1cd9bf3779f6c23821bcce79ad403c8df2b71c8","datavalue":{"value":{"time":"+2004-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4460845$935613EE-E9CE-4596-8361-C72637C367ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460845$86A37966-E2D1-4844-8148-C3EFF0A4C7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460845$0945E2BA-FB38-4489-A3A8-858C63615AA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"748a0365e7333760436324790b1cd4a097db27b9","datavalue":{"value":"2063228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460845$DE91A888-EFE0-4A06-9407-DFD415BBBC52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460845$43C8DDBA-FC8E-4E35-A39C-98476F9D7A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460845$7ED943B5-9DC3-4710-A3D3-C251C31DD7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8469432c7e2e4cd59d964f83e69cb11b07596610","datavalue":{"value":"imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460845$71925872-23EA-4EE4-8FC2-6EBB16A9C1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460845$24A4C339-3499-4080-87F8-339B36D93FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460845$38290219-9AD8-460C-8EB7-1D131370424A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460845$75C730A5-DD89-4CBC-94C9-D52A04FDCD91","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":"Q4460845$5697CF72-A354-4FF5-8565-64EBB8B9BD54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fd31864e0639cd93478e914b51ddba04399be8","datavalue":{"value":{"entity-type":"item","numeric-id":5693641,"id":"Q5693641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fdd790d511b9c7c7adafeb214a5c0b1af243e1","datavalue":{"value":{"amount":"+0.8488287925720215","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":"Q4460845$793163E2-841B-4748-8FFE-5B6D5ED8799F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c3243e05fe0fd1aebb4021426442c3380da6c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5369477,"id":"Q5369477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a365ce5356dfde1dbba7e7ab290b559b1d204b","datavalue":{"value":{"amount":"+0.7975786328315735","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":"Q4460845$CAD75058-3E0C-45F0-A099-5E8A1C5F46FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a4841cbd91fad18a3443c16cb27b975d599133","datavalue":{"value":{"entity-type":"item","numeric-id":5902410,"id":"Q5902410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df5e9503caaf8c4f7277c5a7d69908bcbd8725f","datavalue":{"value":{"amount":"+0.7787451148033142","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":"Q4460845$E9B1303B-07A1-46DE-8AF0-64958184B0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b644f0db550959452a6b37c2ace79081a94270","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa10db01ced13d674125182ca84df3371497bcae","datavalue":{"value":{"amount":"+0.7530090808868408","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":"Q4460845$94DE2593-9C6F-41E4-8C51-60FD5E4AC8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f63b9e9dd25376cdf732a2b26f544d7e29c912b","datavalue":{"value":{"entity-type":"item","numeric-id":4263876,"id":"Q4263876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da008531498a52a56f5bab100c71635ff3e3c76a","datavalue":{"value":{"amount":"+0.7398050427436829","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":"Q4460845$E715B86B-64C1-472A-B20F-1A05DCF0045D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4460845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4460845"}}}}}