{"entities":{"Q6841000":{"pageid":18343707,"ns":120,"title":"Item:Q6841000","lastrevid":84286229,"modified":"2026-05-14T16:16:42Z","type":"item","id":"Q6841000","labels":{"en":{"language":"en","value":"From program logics towards language logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8175048"}},"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":"Q6841000$87D0EF22-6E5E-4B6B-A5E5-E4E29307D3F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b3e0930bdafe07283ef7cc7ba74c81edfd35bea","datavalue":{"value":{"text":"From program logics towards language logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6841000$76223370-A085-49EB-AA7F-C0EBB03B1524","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6455ba487b2c214680e29fe1f263c7a617b76735","datavalue":{"value":"10.1007/978-3-032-11176-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841000$CF55AF1D-1347-4725-99D0-C53BA5219221","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48d319662af7b9422c1624ab46529ca13af618cf","datavalue":{"value":{"entity-type":"item","numeric-id":2039938,"id":"Q2039938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$2CAFBF2F-F220-465F-B4E6-38518542800E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18cefc5b01f2a823fd075bc66e852b3f0c15dac7","datavalue":{"value":{"time":"+2026-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6841000$7D118362-CF1D-4981-98FD-2B75F4FB9A0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841000$8199478B-182E-4167-A18C-AE645B5A2ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841000$DE63A6E3-EB91-4FA2-AE17-F2E4C9812D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841000$9E38C148-32DB-4E9D-B0EA-EE78A4306586","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f095b53cc570b7b2163aa2ac4320c209d278c2c","datavalue":{"value":"8175048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841000$1980E7AB-46B0-403D-A4E3-8034AD0A9C72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec597a3efe3ca728a1b6f30e442e733d5a1eaf48","datavalue":{"value":"language verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841000$90DCC2FA-09FF-4314-8043-5AB94505754F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841000$85B3CF66-534D-4B0D-8F51-8A20BE20A58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841000$9A05465F-F060-43AA-A3BD-781D996F21FC","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":"Q6841000$D7F5B519-F5EA-4756-B33B-D6659BF74680","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$1E59AC7E-DA4A-46FA-A64E-5209D2959A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d5c006305603ea251952b72b3907af5565470","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$6FF1D583-63D1-4F13-B800-4DEC9FE2038D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$A4FA85E3-9143-44C5-9594-A32125276400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$9E52948E-5D48-41F8-A6F3-96E8D283BB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$0F8190FF-ED39-4449-B76C-579D23F4B4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$F986A8B1-9710-4E7C-B989-DADB14EF3B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$2ADCAB93-C6C1-4FB9-8039-4E62C4C23369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$4A134043-EBA6-4042-81B2-3A7A3B707EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$464EE1D1-F876-4C42-BD99-8979C2F282BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$F787F2E6-FE17-4E1A-AD72-7BCACC58A591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c043d2799fc2d98f6a4b192df15139c7e790b11","datavalue":{"value":{"entity-type":"item","numeric-id":1295984,"id":"Q1295984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$8FA09D31-5E34-4E44-9AD1-E1250F293642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$7DA03F09-A025-46DC-BD49-7822E7B34104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aded3f9c41f40827cb7b1b61c5c29bdb1bd7f42","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$25EF03DA-915A-4801-A13D-C6D37CEBE59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85e681da6eb9c803a28a957ee8fde8d57a8a6c7","datavalue":{"value":{"entity-type":"item","numeric-id":5029454,"id":"Q5029454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841000$771C6BE4-FEE9-49BA-B059-6B28C17DD1A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From program logics towards language logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_program_logics_towards_language_logics"}}}}}