{"entities":{"Q3400636":{"pageid":3411339,"ns":120,"title":"Item:Q3400636","lastrevid":87162665,"modified":"2026-06-04T10:51:44Z","type":"item","id":"Q3400636","labels":{"en":{"language":"en","value":"Theorem-proving support in programming language semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666843"}},"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":"Q3400636$E89CD5C8-42FB-440C-BBF5-1C389FA2E8D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7042bcdabf77ed9b0b47dc15346acea026f76358","datavalue":{"value":"1195.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400636$4B879443-3C16-4A0B-B356-603507674338","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7dd0a058a70d0c79c3596424a2206799a87b313","datavalue":{"value":{"entity-type":"item","numeric-id":703857,"id":"Q703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400636$B76B2BF2-E45A-4598-8DE8-14FDDCE2EC7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400636$9B3A8000-CE48-43DC-89CE-E5EE39DA1F28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400636$16E73E1D-D823-435E-8039-DE3DDF3A6A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400636$D47D5084-840B-4037-B1A4-04483A78D077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400636$E144B281-3F58-4738-A0B1-784E76EFA64C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dd2ff8feb3cb45ef8f98af710d759f090ea9cfc","datavalue":{"value":"5666843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400636$3E7273BE-C10F-4D6F-AD85-711C23DC86C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400636$1539D517-6C35-4EAA-926A-7C490F386B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"059daaab1abd1b69a3c94e6a0530da90d3f220f4","datavalue":{"value":"Coq theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400636$157C6971-1DD1-47A1-8A62-392D35AFB7E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400636$E7920630-C5D3-40F1-ACD9-27A07B4D9817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb9f239c20e39259a420e68c66d4f251305d84b4","datavalue":{"value":{"entity-type":"item","numeric-id":22254,"id":"Q22254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400636$325EA6BF-17D5-40AF-9162-06EA7A12CCDC","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":"Q3400636$C3A53A9B-C82B-4135-B985-DFD46FCB3AD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b29c499323d35dfcc5c765968119e36c36f5c9d","datavalue":{"value":{"entity-type":"item","numeric-id":5096388,"id":"Q5096388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b9ef042a13f391e4ea9ca124e3181ea5076745","datavalue":{"value":{"amount":"+0.8210515379905701","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":"Q3400636$F141ED65-7DFA-46B8-96C6-26F8534A8801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcdc9c8130a0a23aaf28a3baa7ea473daf8ec85b","datavalue":{"value":{"entity-type":"item","numeric-id":3060983,"id":"Q3060983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50a0cd3a2468f7820d55af9cd625038cbe0a626","datavalue":{"value":{"amount":"+0.7688406109809875","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":"Q3400636$3B2F64DE-3BB6-4D96-95C5-6B0010C27BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b980f02bbfdab06904251eb25e41ba0a430fc4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5191090,"id":"Q5191090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813a4d67a009c8af7ab29d97949a86b86d0cb224","datavalue":{"value":{"amount":"+0.763397753238678","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":"Q3400636$BB3ED4DF-08CE-4585-A73E-B6A3026D406E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6328892829268e13d65cdead5f98e742e6847e06","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c1410c7b4bf6f29a14c822eaeaa0ab7582a1a3","datavalue":{"value":{"amount":"+0.7540948390960693","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":"Q3400636$F6B32292-5A56-4EE7-90E9-7BD40035BF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2830883c821c59e8ea357fc4abf509bdbccc9c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1945919,"id":"Q1945919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef860178dedf7a11fd3c2cd89a7cf53da4dc1b40","datavalue":{"value":{"amount":"+0.7484796047210693","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":"Q3400636$BDE304ED-0121-4665-B5C6-E9A84369B0F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem-proving support in programming language semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem-proving_support_in_programming_language_semantics"}}}}}