{"entities":{"Q3709841":{"pageid":5739747,"ns":120,"title":"Item:Q3709841","lastrevid":50524277,"modified":"2026-01-14T07:11:49Z","type":"item","id":"Q3709841","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3938516"}},"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":"Q3709841$71F835F1-CCEA-44C9-A89A-EA6BEE2C9145","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cceadb579a347972ba71f2f6919187d11715fb2f","datavalue":{"value":"0585.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709841$0EE6D533-C9DC-4A47-8128-29FE801086EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3709841$C8191C4B-D003-4FCF-98D6-5849EEE21B14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709841$8E8C2406-FD84-4A83-BC5E-A8789DC39AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709841$55F82D92-7C25-4E5F-91B7-6987EBA06595","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dc63fd2983ea7acf1bc3c7ccd79c6eda9b8021f","datavalue":{"value":"3938516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709841$47695CA2-AB92-47C4-BA35-168B6404301D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01873808ed420453ae082d7e18447e172733687b","datavalue":{"value":"higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$A24E1943-9CAF-400E-9066-7B59DB8852B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$A95F7493-09CA-4A75-A2BB-BA62B53FFBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3394af52b81ce2d897b9fda8e3d1ac80a66d2534","datavalue":{"value":"intensiontal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$E8DCE2D1-CDF7-46CF-8F4F-7FE1FC5738CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3ce2728917c6e7fc4ba0060e5541c13ec2d882","datavalue":{"value":"Symbolic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$0C422A64-CCD5-42EC-B5A1-8A00A43FC5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd0876bf5f4faf5bd231346cf8ba22833c58aaed","datavalue":{"value":"Propositional Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$5F19FD06-0A34-4FBC-8F31-6240E9D587B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde291e218e390ed65af77a449380cc828e2ba16","datavalue":{"value":"Predicate Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$01CD4B7A-D720-4AF1-AE43-5CC9F7973696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099dd75c88b10e4f1c659ea549e0715edbe717de","datavalue":{"value":"Montague Grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$8B3A4DBE-1985-45F8-B3F7-0C611E840A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$71702B4F-524E-458A-825E-76512567770C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$A7D5A0A2-A6C2-445A-9FD8-4BF01220E505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$242C0985-3BE5-4F43-80C3-6D9341C21DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f306f05c2898835f334aded0c47d877b6b04b1","datavalue":{"value":"categorical grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709841$462E2FE3-94A3-4805-862E-6532EAD118D2","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":"Q3709841$A00456E4-8C9E-4688-AA8B-5DD8D1CA8464","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b794253b2e9e2482eff79e13612af6241366db42","datavalue":{"value":{"entity-type":"item","numeric-id":4457514,"id":"Q4457514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7349247109816301dd7f772d04e890c931edff00","datavalue":{"value":{"amount":"+0.8707901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709841$C0BC035B-62AF-4C51-8EA9-F93E73B5E94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71af5f0d633f2a1e8385bada4270e5228dbc2d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4570893,"id":"Q4570893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d3ef15750bdba75214c72df704cf210f1fa334","datavalue":{"value":{"amount":"+0.8707339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709841$9BA907D5-773A-4974-84DC-C5A522AE92C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428a92d8d6cbccb9ccbac170d12096fbdd7796be","datavalue":{"value":{"entity-type":"item","numeric-id":4570892,"id":"Q4570892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9206bfd9bd91931773204ab4f862baac0ff549","datavalue":{"value":{"amount":"+0.8658609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709841$9CE37917-DF1B-4173-B54F-F933CC660862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0ac18de1ce43e3685a00fc6b86542d78060272","datavalue":{"value":{"entity-type":"item","numeric-id":5137234,"id":"Q5137234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733a2d102097cb36ada371d533af4947504df507","datavalue":{"value":{"amount":"+0.8628047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709841$6E1527D6-39C5-4286-862B-95A2306632EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c26ef938e2a2fcf8cd7cfc3ea861d9fd08abe2b","datavalue":{"value":{"entity-type":"item","numeric-id":4637952,"id":"Q4637952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c456fd5e057a06a7956799baae9c3f70b59f3ab","datavalue":{"value":{"amount":"+0.86090887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709841$1CAC4B4D-A3F8-40BB-818A-0994D51221F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af29ebcb678af71e9e2059b99db941bb1ff700d","datavalue":{"value":{"entity-type":"item","numeric-id":4530623,"id":"Q4530623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594cd7417fe22eb11927e3adcfbf6e2393b69763","datavalue":{"value":{"amount":"+0.8553438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709841$4050733B-6232-4B91-8CE2-07BB68179DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691389f68bea506acdda64d0829e54e7c3b876b3","datavalue":{"value":{"entity-type":"item","numeric-id":2904374,"id":"Q2904374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e9290401b9365db4c1e5bb78bd3b7d3396dcf5","datavalue":{"value":{"amount":"+0.8527628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709841$21DAE1F3-0963-4366-946B-FD80C64D31EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e05b03e01e42b4db855c4fe4eca3a74b42e86c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677745,"id":"Q3677745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6d1d0c58b0959f17cccb1f395b93c7760d7971","datavalue":{"value":{"amount":"+0.8462533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709841$1A607EF0-C234-47E3-B2D6-80456D0FFCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143ddee9cdd87941c3e8dad1a31d51d36ab9f72b","datavalue":{"value":{"entity-type":"item","numeric-id":5937844,"id":"Q5937844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b1949d4c5bf0e389a1455881b3fe2b6db8b2cb","datavalue":{"value":{"amount":"+0.845832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3709841$E4F1B5D0-4BEB-4ADD-B9C3-07BA3B59DE64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3709841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3709841"}}}}}