{"entities":{"Q2795295":{"pageid":2806033,"ns":120,"title":"Item:Q2795295","lastrevid":83415980,"modified":"2026-05-07T07:38:34Z","type":"item","id":"Q2795295","labels":{"en":{"language":"en","value":"Geometrisation of first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6558673"}},"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":"Q2795295$EB6177A6-2776-4B0C-8007-B496AC50B313","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"317f945748c74db8d8e642e02aad3d5ecf43989b","datavalue":{"value":"1368.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795295$6135B289-E087-4D7A-9112-8B52720A0BD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$2162EFAD-9972-4FB9-8F60-55E182996488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$41B56E2E-D39E-45DA-88ED-D5E2FF2BDE3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$3FED2730-DA3A-46CE-896B-6B9885F17FCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c77c292dd234a248484083a7dbe176fc10a2d6fe","datavalue":{"value":{"time":"+2016-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2795295$F81167E9-552A-4C04-BDA9-7A8F6FBBA9C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"516adf661e4ef16397d8058af0d7063db853bbca","datavalue":{"value":"http://hdl.handle.net/10023/6818","type":"string"},"datatype":"url"},"type":"statement","id":"Q2795295$3FD13AEB-E4BA-4DD7-A8DE-C9BC8870357F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795295$2F58CB48-40C1-4931-BCAD-1581533B1AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795295$70568A6A-589F-4DFA-8349-E745A9AFB9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795295$5757E91F-7099-4BCC-BEC9-AFA013C9F2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795295$D37C8CB3-8DC7-4451-B9EC-F0384724C027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795295$9558E821-09D9-47EF-91AE-F59213B27204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34c7f36dd486ae3517644029344199d0d6e253c6","datavalue":{"value":"6558673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795295$2B8EA287-2443-488D-89BB-274B9501F43D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3eab208a7a0744c9ecdca72ae97364d56a45e59","datavalue":{"value":"coherent implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795295$A299E496-F168-4189-BB32-F44357EFEDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223556ef87b8f25f218d19756cbdf5e24d0a2719","datavalue":{"value":"coherent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795295$39B8F6E1-83A8-4C5B-A655-969E344DD8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cee997b59789f85389e5368906dadd5b2641bf0","datavalue":{"value":"geometric logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795295$3DFAFBDF-4C50-475F-90BF-43B1314EFA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795295$11C2294D-C521-408B-A624-15D138401257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4ea7229186b346e5ec40c92646dc085b26540e","datavalue":{"value":"weakly positive formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795295$2B1BC97D-2684-4010-B07F-3FFF1208EC7F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0df35e35bc9e0d646d3ffec0c1dfd6eea794d089","datavalue":{"value":{"entity-type":"item","numeric-id":19245,"id":"Q19245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$79E82F22-A4F3-41F9-AD90-D8A46415627A","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":"Q2795295$5B05CA98-A5C5-4F93-AEEE-AEAA0F295ACE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d2921ad81ffc2547503608173a592d285cac15e","datavalue":{"value":"W2216255786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795295$A8D1D796-53F8-414A-B215-E08D823CE20C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$65699FF7-429D-4861-BC87-C91699B0A287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb539f4340a3b122713825beb6206958ba3b45c","datavalue":{"value":{"entity-type":"item","numeric-id":4796510,"id":"Q4796510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$9A3F4BF9-1C74-40FF-8DDB-9ECFB78FD764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05b88e8939da5afe0e37d672faef2e7bfef9975","datavalue":{"value":{"entity-type":"item","numeric-id":2254557,"id":"Q2254557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$FCAD8746-9D46-433B-8625-F1B3B411EB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$527EF986-5F8E-4143-9794-507AC08FD746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5791688c0d08cb0956d2f1e861eee0a36c47d237","datavalue":{"value":{"entity-type":"item","numeric-id":2471743,"id":"Q2471743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$F2CE831C-31E6-469F-9429-E12E81FD705A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a5e37cfa8fe119d133cf38f120bfd07e3c3368","datavalue":{"value":{"entity-type":"item","numeric-id":2443327,"id":"Q2443327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$1FB6530A-3C95-4BBA-B015-54050C99EC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5347980181241ef228970bc3d15a49730ba49ff","datavalue":{"value":{"entity-type":"item","numeric-id":1212528,"id":"Q1212528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$CA3839EE-1BE6-4AFB-8869-C6A72466B348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$0422708C-6740-44D1-90D6-0BDF0942F776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$1D8E7614-E23C-45ED-BC0B-C6F161345E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"756d966be803b85e663cf95bea2c99bda7052769","datavalue":{"value":{"entity-type":"item","numeric-id":4513929,"id":"Q4513929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$381EEBDF-C3EB-4222-822D-2967F3132284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$CD1CA3C5-2E12-48B5-991D-E1B2EAF5FE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$5658FD3B-7B87-49A0-B1B8-05A8DFF56246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e221fb6ed46f2a9b37a51c8db37bfc0da2b6e6","datavalue":{"value":{"entity-type":"item","numeric-id":4531092,"id":"Q4531092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$6F836C0B-BAC9-4C59-8736-B1B29393437F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$FDB80052-7191-4EBD-858C-31F51040ADF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a8a36327ea86df5522203c0e0180d9b3bcc5cb","datavalue":{"value":{"entity-type":"item","numeric-id":1311413,"id":"Q1311413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$DB79B365-F29A-4B4E-BF63-092D783E19DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3860c002e5bd73f6a4938093fc1d13dc428ed801","datavalue":{"value":{"entity-type":"item","numeric-id":5850985,"id":"Q5850985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$DF52F57B-882A-487E-88DD-6B55DE19DB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$205D7FDD-95BF-4045-9EB0-2905B03252F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448244272da4dbff5b7c78c2545c59c5b5af64d9","datavalue":{"value":{"entity-type":"item","numeric-id":3102745,"id":"Q3102745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795295$FC3F3AD1-E183-4E9F-9648-9D54CAE1D687","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a899c9203bc263d1a04bb9ee960dd39e39110299","datavalue":{"value":"10.1017/BSL.2015.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795295$8885CBA6-40B5-413E-A3F3-4BC6C16CCA3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf4fc87679ab8ba60967b27328405b5b1e4e7994","datavalue":{"value":{"text":"Geometrisation of first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2795295$04C4F0B3-B3DD-47C4-A291-DF17A8A514E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3654415bcf028df8e7038249871b2382e13ebfe","datavalue":{"value":{"entity-type":"item","numeric-id":3455757,"id":"Q3455757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd445eee15c7eacb34263a33b14f6a186b56711","datavalue":{"value":{"amount":"+0.8509945869445801","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":"Q2795295$69EE5E25-DC7B-4564-A13D-70E4F3192679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b67bffec3e8ff84fe4c320017461e4652ba0c6","datavalue":{"value":{"entity-type":"item","numeric-id":4268451,"id":"Q4268451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca77f4c8d310ec206ebf436c89e2213b53be6ae","datavalue":{"value":{"amount":"+0.7597663402557373","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":"Q2795295$F9299B60-9074-4FC5-981B-6B44BF93FB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd29ab08c41b3b55cf2da3860391223c62f2e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2186699,"id":"Q2186699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888ea8b39a1796780bbd506825ae7ce0d2e83d24","datavalue":{"value":{"amount":"+0.7361016869544983","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":"Q2795295$B84A6297-3DC9-4989-B077-93BDBF7999A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bdc79557cd2edf6ee29e757de8f2027807c5fc","datavalue":{"value":{"entity-type":"item","numeric-id":4812323,"id":"Q4812323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2371d964f5b06a60a75e7d97345bba1e05df8bc5","datavalue":{"value":{"amount":"+0.734647274017334","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":"Q2795295$4EDD4D0F-FEDF-4DD7-AC1C-95BEE3993C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4918dcc0852802501c8da716cb79c534700ae418","datavalue":{"value":{"entity-type":"item","numeric-id":3509053,"id":"Q3509053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41697c0ddb75880ac071a53a666dc367bcae80da","datavalue":{"value":{"amount":"+0.729367733001709","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":"Q2795295$0F062341-D231-4B29-BC2E-24DA3B5E1AC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Geometrisation of first-order logic","badges":[]}}}}}