{"entities":{"Q4291871":{"pageid":6321472,"ns":120,"title":"Item:Q4291871","lastrevid":46325859,"modified":"2025-12-24T14:07:13Z","type":"item","id":"Q4291871","labels":{"en":{"language":"en","value":"Translation Methods for Non-Classical Logics: An Overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567635"}},"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":"Q4291871$0D4741AC-F834-424C-9541-2EB3C17639DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f271ba81b00419865cbab27ec2aa0c7bbb5229a","datavalue":{"value":{"text":"Translation Methods for Non-Classical Logics: An Overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291871$8357E1B9-4F89-4D67-8CE0-40F86E04CE0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d417beac6f87f899dc0ff823f71322282ff76df","datavalue":{"value":"0795.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291871$5FBEC353-C48C-462A-9FF9-84C8074C603F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d9914bc6feb5fa01fb9ecfc8e4444ea1144570c","datavalue":{"value":{"time":"+1994-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4291871$567F5C67-E209-4787-AE44-F5BC9A6E75D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291871$0D6FDF27-05F9-4406-9B3C-4FBBA3929A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291871$E7AC5093-76BA-41FA-9230-AF92C81655F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291871$239AAAEB-3A16-407C-8AE4-4A661CAE4D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291871$2829150F-CDB4-4D13-BB9C-D7587AA4B182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da01b5aa9353fe19d135dff7dd83261e6d390ab8","datavalue":{"value":"567635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291871$BDF037D9-1CFE-490A-A0EA-520F38097721","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291871$151A6FBC-0CB4-4D81-A3FA-A4C008D2F688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d28208040ed8239ae32610dd661bb7e2cba76a76","datavalue":{"value":"translation methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291871$569F68B2-136E-4AE8-997A-2FF992215AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291871$4A83D67C-8DC2-4CDE-9DB2-4407AF637816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291871$B5360DBE-D7F3-418D-88E2-08B21B5B8CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6309f3a61a725928a10cca9d43d3a50009640787","datavalue":{"value":"translation into predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291871$4FE2E89A-8EF8-4393-B263-ADDFFACCEE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe643dfaf07ed66ac845ed3cec36f82d60c92f2","datavalue":{"value":"Hilbert axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291871$9328046C-9114-4F1D-9944-0FE4A57DF670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291871$469A3E30-6DC8-47C3-AD0B-17222307107A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad85fd0db6467d71e74313095d444d398003ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291871$BC836880-E2F8-4E77-B4B6-9176539D598E","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":"Q4291871$2C148FE5-1922-4012-8C1C-EAFE15B80DC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a81ddb0953db87e727772a84029cb270cfb062b","datavalue":{"value":"https://doi.org/10.1093/jigpal/1.1.69","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291871$F05E38D8-9A6D-43DD-88C4-2EE96CEDF84F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61c261e4c33c6788cdc2a8ca547c73b3f4ba4bb1","datavalue":{"value":"W2169882082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291871$E4B01C04-3DE1-4DF8-9901-A185D1DCF6AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a311120a5f3fa33205e0419d7eb87a9cf2acb907","datavalue":{"value":"10.1093/JIGPAL/1.1.69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291871$990976BF-F2C6-4D1A-BD49-BA2CDA2AF509","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291871$000AD595-D814-4691-83C2-831AA4F35428","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1a068d35d562d02668f24ef2466262100aa9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02af780381611d7c0dfed0ba3400c89b5b5c8d6b","datavalue":{"value":{"amount":"+0.820641279220581","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":"Q4291871$CD8DD0C9-DDE0-43E6-82D6-8FF9AD0ED70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0bc3db9f544a0d2af7b777694ee79acef8ed47","datavalue":{"value":{"entity-type":"item","numeric-id":4282526,"id":"Q4282526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29eb4ed48bc6b01e2f60d0875b13afb7eb034c1","datavalue":{"value":{"amount":"+0.8195065855979919","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":"Q4291871$B2C8F8CB-ED67-421D-A989-C2205D1215D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34590024e296261db3e421cb1e76a7a33f346d9","datavalue":{"value":{"entity-type":"item","numeric-id":4317726,"id":"Q4317726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb51a74b83d31d9025e0e9d8583af0b7927ae7c2","datavalue":{"value":{"amount":"+0.8062596321105957","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":"Q4291871$0262728B-3928-4615-BA4D-9DD2DC3844A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c353326a7014fdb6567a392652546507c33ab0","datavalue":{"value":{"entity-type":"item","numeric-id":687153,"id":"Q687153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d5e6e02de21ed554511e5d213a05ee026b6b97","datavalue":{"value":{"amount":"+0.8048885464668274","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":"Q4291871$68557335-CC8C-441D-883C-4150A7AC2A9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4291871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4291871"}}}}}