{"entities":{"Q1333262":{"pageid":1344001,"ns":120,"title":"Item:Q1333262","lastrevid":46279788,"modified":"2025-12-24T11:38:12Z","type":"item","id":"Q1333262","labels":{"en":{"language":"en","value":"Conditional lambda-theories and the verification of static properties of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 638555"}},"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":"Q1333262$0DEDE7B6-837A-4A1C-A77E-CA9D1BE9629F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db7ddd621f450bdafcb5a12850f641ffedfc04d8","datavalue":{"value":{"text":"Conditional lambda-theories and the verification of static properties of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333262$08404DE1-3033-4D3B-AC9A-FBA252B5C18B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"518f1a62f009c32f10cf4eaaaafce7697d7fb1d6","datavalue":{"value":"0821.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333262$5B6AAD81-9E39-43F4-B872-B88E1A59DA0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333262$91F8C6FE-8BED-4AAD-AE77-A731BDA94517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae8d5d8c9e87189340fa825d5ed7a7b71278b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1065012,"id":"Q1065012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333262$D53FA38B-7869-4F55-97DF-86F2E61BFC78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333262$7B6CBAAF-BCAE-4975-8611-9A740F6585FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a511c8ef0b44d10360e4b2f51c22be5a4c1a9ced","datavalue":{"value":{"time":"+1994-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333262$CBB58590-1A4B-48BA-A47D-D095057F864C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333262$605A3DB8-E86F-4DE4-80E5-E427A8B0C521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333262$BED40DAF-8F37-420D-9F43-AED347C88978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333262$EA0591C0-117F-48A2-837E-D50F2C12E774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333262$F158DD0E-FD02-48FA-BB3D-FF7BCB825671","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df0e84ffced161b4dd5cb76cb2eb453c80ef4445","datavalue":{"value":"638555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333262$9B5D77D1-3650-4D63-8BDC-73942F035088","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333262$6A12BDA8-71BC-426C-8738-2A7EA37264EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32fcae0260dc1e54aedf57c169901d42889ea5d9","datavalue":{"value":"conditional \\(\\lambda\\)-judgement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333262$A440D5E3-5D02-4DAB-A122-2BEC288AABBA","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":"Q1333262$2B9E3BBD-C4E4-4584-8999-098C3F3DAB3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e78617adc6c1c9acdc38d81451a94a30c615bb33","datavalue":{"value":"https://doi.org/10.1006/inco.1994.1072","type":"string"},"datatype":"url"},"type":"statement","id":"Q1333262$0FD180DF-AD93-4E1A-9104-50D10AA0F77A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ff7ffa072a24178594baaa0cc4a837a46e947c9","datavalue":{"value":"W2098533610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333262$89517BE0-786A-4DEE-A9B1-E46C2BE23AFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"443c0f3294060a71fc697b87a76dd37b002c3555","datavalue":{"value":"10.1006/INCO.1994.1072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333262$C15CF1EF-99CA-46D9-A783-38C6AB5C4E93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753995a7591fdc07125446e04545c9e631973be2","datavalue":{"value":{"entity-type":"item","numeric-id":4474853,"id":"Q4474853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c407111f915e519d29b1a1443c12c4bf066a090","datavalue":{"value":{"amount":"+0.7283282279968262","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":"Q1333262$411E040D-D342-48D3-80E3-72FF99BA91EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ec55ae651c94a18007aafb265d66f89e568dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1091795,"id":"Q1091795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c89373aa31ac2b4ec39d3e5451e977df2bd375","datavalue":{"value":{"amount":"+0.7208347916603088","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":"Q1333262$6EE6F501-F77F-409A-8BE2-259D8E00261E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f19e19a4a72c2189645907ab007786a8647c8c4","datavalue":{"value":{"entity-type":"item","numeric-id":4236754,"id":"Q4236754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596e648808ab1f772de293c1113adaf8f43fe587","datavalue":{"value":{"amount":"+0.7181550860404968","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":"Q1333262$636D5125-C81D-48A6-84A4-800653F7E0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9dcc6ecbbcb1b6c503b1ff4e2ede75be7f09c1","datavalue":{"value":{"entity-type":"item","numeric-id":2817681,"id":"Q2817681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10da6ac709062161f1916f08ea2162ad9c162c1","datavalue":{"value":{"amount":"+0.7105104923248291","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":"Q1333262$B8F97580-3A03-4BE7-9C72-2BD885D1BC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50812e84f626b74ddd471ea701957b323e2b02c","datavalue":{"value":{"entity-type":"item","numeric-id":3340121,"id":"Q3340121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd221983c26aa903b8d1135f51f5025b3f84622f","datavalue":{"value":{"amount":"+0.707973837852478","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":"Q1333262$88454446-84C5-47F0-881A-9DE443BFCBB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1333262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1333262"}}}}}