{"entities":{"Q3673081":{"pageid":5702987,"ns":120,"title":"Item:Q3673081","lastrevid":49981789,"modified":"2026-01-12T11:17:46Z","type":"item","id":"Q3673081","labels":{"en":{"language":"en","value":"The Type Theory of PL/CV3"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827180"}},"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":"Q3673081$B40847A2-AED2-4FEE-A772-9E2C64356EBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c036a1b182b385496e79fafe6a8db80d7771565","datavalue":{"value":{"text":"The Type Theory of PL/CV3","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3673081$7FDC0DB6-3365-4CE9-AAD1-7AD4DCAC833E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cfd1f5f80d4fb7d954f6dd577463114534e725b","datavalue":{"value":"0522.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673081$ECD7B8CD-C5EE-4A64-BA75-48C63C63EAA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fd246cb27048b309eb414cea3263edcbae9f73a","datavalue":{"value":"10.1145/357233.357238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673081$14B000A4-D732-4916-936E-491F1C1ABDCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"535a674bd8922b5f79fe7d2c8fbb5415ae04f30d","datavalue":{"value":{"entity-type":"item","numeric-id":3673080,"id":"Q3673080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673081$EE572D0D-3762-49AA-B5DD-4982E0892B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673081$FB412862-5500-44C2-9492-AC505F2D4249","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673081$72029F8D-01CC-451E-92A6-878E77EE2BC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3673081$256EE05E-6983-44C7-8A53-4974AE31C68D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673081$F4E7EFFE-1A72-444F-925F-EC2039A07948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673081$6C31BAB2-CE50-4634-815A-27ED66AEB452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673081$D35D6F64-C616-4B06-A7EF-6F2804499FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673081$65EF675B-8DFE-47BC-9FF4-3624B4183583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673081$68563352-96FF-409F-AB41-CFB6A8A57290","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86f8473a98694d2139ac0e23da30a417f267d995","datavalue":{"value":"3827180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673081$590DE1DA-B707-413F-ADE2-C12BA42CB002","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673081$D9734888-70A5-4DF5-869E-4BD8EC5F9CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673081$1BCDB2E9-400E-4C74-96C7-C74773262E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d25e98a2bc8b71348e997bf9bd35f5e589d822a","datavalue":{"value":"automated logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673081$1E1EB144-26F8-4149-ABA9-5079D2A8BD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673081$43059F7E-CEEF-4289-910E-4CB12DB94955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673081$BBF53954-3DC8-4A41-907F-A8A92A4E9BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673081$6DE294D3-7CC6-4BAE-8C98-E0454900379E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673081$F13F2F7A-86AD-475A-A207-D3B3A85B488A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673081$AF735908-1A8B-43F3-BC09-7E6BCDB53C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2444da0282f3c15bb118f9be04f6022ecaf9f9c","datavalue":{"value":"data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673081$F0497336-2D85-44BC-AD8D-F7F48B06A501","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":"Q3673081$E6F329B4-AEE1-448B-8C7D-D073ECE239CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d4ba0432fee7ca418c937762168de7f307509dd","datavalue":{"value":"https://doi.org/10.1145/357233.357238","type":"string"},"datatype":"url"},"type":"statement","id":"Q3673081$FCBBC9DB-B4A8-40FA-83DA-A2BC6AAF2DEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5ec4f7688af30dcce9da03e617271433014c7b5","datavalue":{"value":"W1986382835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673081$491A2BD0-0A22-4A2F-BAC5-95B0243F63B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3673081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3673081"}}}}}