{"entities":{"Q2425445":{"pageid":2436188,"ns":120,"title":"Item:Q2425445","lastrevid":78781655,"modified":"2026-05-06T12:25:38Z","type":"item","id":"Q2425445","labels":{"en":{"language":"en","value":"Languages of logic and their applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271137"}},"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":"Q2425445$6BE3E9B8-0416-4EDB-ACBB-78718FE04BD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af19b3cd9eb2f0fd5f389fb181e61d0f4ee8d242","datavalue":{"value":{"text":"Languages of logic and their applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2425445$C5D0BD06-B2CE-43F7-B1B5-DE88BB92672C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69dd8583b780e2fda5e6ee23056ac5118900750d","datavalue":{"value":"1138.03321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425445$F66FBFC7-DFDE-4BD0-BB23-6A8ED7601D74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2654db8da3b5dc79311d991c1608f77b32056240","datavalue":{"value":{"entity-type":"item","numeric-id":2425444,"id":"Q2425444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$8D9ABEA3-5B16-4428-853F-CF91E8ABD1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbf9d861cd51c44957b299d1a906d4b562f5447c","datavalue":{"value":{"entity-type":"item","numeric-id":200267,"id":"Q200267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$A6642970-3018-4B5C-83E9-5DC7FA970287","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0c85f5b96b986df789b8d4fc9e866a9d7e884a6","datavalue":{"value":{"time":"+2008-05-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":"Q2425445$EB7C3DD2-FFF3-4365-BA4D-5D1B086F27C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ced696b820ed63c0509009a309039ee3ce5b2e7b","datavalue":{"value":"http://hdl.handle.net/2437/90886","type":"string"},"datatype":"url"},"type":"statement","id":"Q2425445$6F93AEE2-F495-46C3-BAFC-109DCF92B694","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425445$10A60770-CF61-4989-82DC-023E6E761AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425445$818BC1A2-72E9-4E64-BD95-A259A5FB09ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425445$BF15664C-A847-49CD-9506-282B39DDE960","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb23e161893605e860ced01cc65a772c962d11ed","datavalue":{"value":"5271137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425445$82003144-9121-46F6-B74A-A1436659B808","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"337188a250a96de432be12dc91feaddecdc8f4be","datavalue":{"value":"first-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425445$D82426EA-C04C-44CC-8CA4-18680776D9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425445$9F44C5A6-B3B5-4F10-9DF1-6F2CA29523D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425445$5F3EAFF2-2FDF-4946-B973-07A429C21099","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":"Q2425445$EE0527FB-127E-44C1-81AA-61DE09A89BF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b889f25822cd71dd54e6960945da5436a8c2322f","datavalue":{"value":"W2062554483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425445$97ACC965-4E4E-437E-AFDF-DD40ADFBC580","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$34DB6313-E0AC-49DF-A3C8-0C3495368EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$49E3DF72-2729-4032-A229-1DD7C4A989EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$9BA2E54C-0A3E-4E7D-A40C-9E9D4358A04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$9AD6891B-C716-4FEE-AC28-70B17B97D4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61d2c0839b617ffb8c56cdd4f63c4f46d62d5d2","datavalue":{"value":{"entity-type":"item","numeric-id":4857787,"id":"Q4857787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$DFD335A0-C2A3-4DC8-892D-61EDF2DBDFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7acd6881add1114f062391b8c55ecda1033c2b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$990B1503-F4EC-4FBE-88DE-AB6928DA5CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febf694c8f169e136a53523527c0c26f1ad9067e","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$A437DDB2-3A4C-4E35-B2D8-02C38BEA535A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$0D8DD1E3-222A-4C0C-9F23-FDAC8C488B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$47CD62BA-D521-4849-B716-56FDF2454642","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aaba0a26438abbe10be461614b96050179f1ea3a","datavalue":{"value":"10.1016/J.CAMWA.2007.06.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425445$69B9C3EB-269A-496A-BFA5-41A578E0B594","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425445$2B944A52-29EA-4EE8-BCE9-FBDB9D98A0BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3075f86122fc42ffe61f44127c74fe597a27497e","datavalue":{"value":{"entity-type":"item","numeric-id":2865748,"id":"Q2865748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e6dfe0472b632da9bde884f80b39e4ded09009","datavalue":{"value":{"amount":"+0.7192818522453308","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":"Q2425445$9C576A45-80E5-4235-9DC4-C82CBC01F926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffe0cedf38144a74ca7aea8ab51eaa5df85c54a","datavalue":{"value":{"entity-type":"item","numeric-id":5740437,"id":"Q5740437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc547c37d6269f91443857df754ddb2ca469ece5","datavalue":{"value":{"amount":"+0.7167912125587463","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":"Q2425445$6B8101A0-3858-4878-A99D-BAC1EFCE1B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d94e1c966dbf57dfd74ba7e8ff5286868b42fb","datavalue":{"value":{"entity-type":"item","numeric-id":4532187,"id":"Q4532187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2422d70a68c69914e8c344810d9d20e26e917c","datavalue":{"value":{"amount":"+0.7113558053970337","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":"Q2425445$6B2F2FB0-4521-4090-AD8B-9DC7329F8A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efb51e75b6f33854c5e989b70a521a281c616f0","datavalue":{"value":{"entity-type":"item","numeric-id":4664260,"id":"Q4664260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2422d70a68c69914e8c344810d9d20e26e917c","datavalue":{"value":{"amount":"+0.7113558053970337","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":"Q2425445$25DA5024-7AD3-40BF-AD50-3AB792B18859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32809c293635d049ae406af9f8691702a58a15ab","datavalue":{"value":{"entity-type":"item","numeric-id":3983346,"id":"Q3983346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ed65714fa55d32e70181c0758dd9e97ec74fc1","datavalue":{"value":{"amount":"+0.70662921667099","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":"Q2425445$C628FFD0-4147-4FAD-A5BB-4A251B11B9A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Languages of logic and their applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Languages_of_logic_and_their_applications"}}}}}