{"entities":{"Q4560349":{"pageid":6589939,"ns":120,"title":"Item:Q4560349","lastrevid":89729060,"modified":"2026-06-04T18:07:08Z","type":"item","id":"Q4560349","labels":{"en":{"language":"en","value":"Type-theoretical semantics of some declarative languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992060"}},"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":"Q4560349$6DF498D3-CF0D-49AB-BE8E-DE2EF9B4CDC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a099c97b918d15ec769f1d50d96fb4000dbe2f13","datavalue":{"value":{"text":"Type-theoretical semantics of some declarative languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4560349$C7A4ECB0-8032-4558-A3F6-E467565D9C32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8dba814b15691346081e24904249fa8a4c8b31d","datavalue":{"value":"1412.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560349$9885C9D2-9122-4D7E-9CEC-F7241D97C087","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7d96d2c68882294e26baabd03e0c606a357194","datavalue":{"value":{"entity-type":"item","numeric-id":800718,"id":"Q800718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560349$F4D9B347-0556-4489-BFC1-E2E5254B90CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560349$2420CB51-FE2C-4AB5-A042-490007249F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44cae58b7b1ebd97a8ba1cdb3090f9e875e9f030","datavalue":{"value":{"entity-type":"item","numeric-id":1607555,"id":"Q1607555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560349$C51C58F7-1BA0-4AD4-998C-7592179B89D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3debad901ba3f2473ce6548d6207f925a5175016","datavalue":{"value":{"entity-type":"item","numeric-id":4560347,"id":"Q4560347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560349$C3714E34-ACED-4D64-A199-CE077F1A6695","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8096502b9da70fcca6bebcdf976f1e511fee9ef8","datavalue":{"value":{"time":"+2018-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4560349$889BB1CB-ED58-4202-A326-ECBE36DE4A89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560349$57541070-3604-4ED6-A281-2D504C33FC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560349$010125C9-91AA-4CAA-80A8-EBD57698DBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560349$3ABD0B16-36FB-4DD5-ABFC-85F565A1E0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560349$99401971-100C-44EC-B0FF-9CB045926155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560349$EF7F3118-40E5-4530-90AC-8EC8B9E29D8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3f73715268fedca6e77cc2a4db0b8f6ca4bceee","datavalue":{"value":"6992060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560349$D31D45B2-1B27-46F8-AC64-3A05C36B8BD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560349$7B14BD18-980E-46C3-8CE0-2A5F76E892CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560349$17C4BECC-BE17-4A90-B20B-6AA1A4F9591B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d86666bce4e863fa22d076e113065531d77c2aa","datavalue":{"value":"propositional variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560349$BA29F69A-2BD9-40C5-845E-B60B597A1CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75d83daa08e1cd1c2c066b00170a931ae6cec38","datavalue":{"value":"structural synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560349$ECBF7E90-23D1-4CE2-BE0F-1F8F68308045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b69a8b9a57f57a4e24ed688a4a4c1ad8de0529","datavalue":{"value":"declarative language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560349$EEC13D29-4DDE-46D7-A0E0-AA1A4E60C1BD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7c418bdd80155e7ed6c64506326d67cf77aabc4","datavalue":{"value":{"entity-type":"item","numeric-id":41427,"id":"Q41427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560349$A66E12D7-2C10-4BE4-B3EB-D7C866467C13","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":"Q4560349$DB3E808C-30F8-4699-B080-3D23FAA85668","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0574bf1e7421285f6d41c77a38aaf8fcff92b930","datavalue":{"value":{"entity-type":"item","numeric-id":1104778,"id":"Q1104778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560349$5BFA1B0E-73DB-4758-AB6C-BF318FB11624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d43a6c33156253752e38ae783551b22c61b06f","datavalue":{"value":{"entity-type":"item","numeric-id":1085599,"id":"Q1085599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560349$16C552DE-691C-4507-ACA5-37392D82F9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31c53983c1a7e991cffc3a1b9fe552e4900d46d","datavalue":{"value":{"entity-type":"item","numeric-id":3730008,"id":"Q3730008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560349$83084293-12E7-4535-82AF-FFD2C5D80FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba9e501d5aba2e4a55df28cb0b797cc91929ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1051416,"id":"Q1051416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560349$0A3ABD4A-B613-4722-95D9-7A8F34564C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bc039d44d623f0917cdbb32717a65429665c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3666280,"id":"Q3666280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560349$8E02AD7B-D707-4BB6-933A-1ADF6C379BDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"873823e716c20d441c7f15009136868c13dd262a","datavalue":{"value":"https://doi.org/10.1007/bfb0019354","type":"string"},"datatype":"url"},"type":"statement","id":"Q4560349$69D5BB0E-09A7-4E90-8A56-063738E20B01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"045bac3643d6a64489bae811ccbe57ef53fe4eea","datavalue":{"value":"W1624926207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560349$F62C7AC8-D82C-42D8-971F-8AA26B72730C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"387c6a753c1dbb2b58de74b1e02e27a549be8590","datavalue":{"value":"10.1007/BFB0019354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560349$2A8DC77A-6A8F-45C7-913F-25F55FF6DAE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type-theoretical semantics of some declarative languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type-theoretical_semantics_of_some_declarative_languages"}}}}}