{"entities":{"Q5212032":{"pageid":7241603,"ns":120,"title":"Item:Q5212032","lastrevid":41195330,"modified":"2025-04-18T23:07:59Z","type":"item","id":"Q5212032","labels":{"en":{"language":"en","value":"Skolem\u2019s Theorem in Coherent Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157389"}},"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":"Q5212032$E72B8FB9-1BDB-429F-AAB2-D3A195A0AFA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b19d163b28ca4a04434c43eea018c5a40a0b737b","datavalue":{"value":{"text":"Skolem\u2019s Theorem in Coherent Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212032$16648AD2-FAD7-4A18-B481-89A89C707EAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afdbdd68cf6bc8c848ba0e97f66dc29792fdc580","datavalue":{"value":"1458.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212032$D7DE00A8-E6F2-4B78-B6B2-3338142BE9A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e494041eb00cb3a5202c22e9d9d0d2a546b8db34","datavalue":{"value":"10.3233/FI-2019-1853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212032$28C1F46D-EF2F-4FBD-A115-5DB3E740E6DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212032$B2039EEB-0F83-4736-8EEB-ACC1B42D3146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212032$E1490CD8-CBC6-452A-9EAF-F9A776B747A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212032$9E7558C4-9565-48E8-93AF-5212F8F7E475","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77882ece4e85a0ce08660c13f940a3d72965a05b","datavalue":{"value":{"time":"+2020-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212032$339E2B34-CB5A-4F69-ADE4-1A8139DA06BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212032$849516DF-72D4-4038-AD81-763628D121DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212032$CD6EA269-FF71-45EE-9794-E6D2D30D70B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212032$2BEB7F5B-B961-4141-A482-37DDB833CC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212032$700F561C-5540-4464-BC41-5090A5D50E0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7ee2a30fe53f8f9b1f97ae066d82b40fef512ac","datavalue":{"value":"7157389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212032$3783F1D7-3297-4BD7-80E8-DE06D5531F18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfc2b60f6c1615841c7d216459671525557c4aeb","datavalue":{"value":"Skolem's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212032$38C57AF3-16D3-4E6D-90DF-60BBD84D367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223556ef87b8f25f218d19756cbdf5e24d0a2719","datavalue":{"value":"coherent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212032$EA111B4A-568A-4D20-BA30-A5784DDDB3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212032$71E8B854-8066-471E-9D43-0FD2B7753741","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":"Q5212032$3E23B7C1-FEB5-4D54-9708-5024C20080E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44dc1ba2160ca035e7d1c764c93abd7c91b6280","datavalue":{"value":{"entity-type":"item","numeric-id":2683781,"id":"Q2683781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0915d7e23c2f5961b0e5539646c39c22d2edee","datavalue":{"value":{"amount":"+0.90392","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":"Q5212032$398A9D3B-A20A-404E-9B4F-8FB5C44D0D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e55542fb7a9a0f71b97df3e8580db63c5d1b9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3815294,"id":"Q3815294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f96a94b5f3f6a5e95706501df63f610f3fc103","datavalue":{"value":{"amount":"+0.89976215","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":"Q5212032$A819F0B3-B9DD-428A-9DD4-D575B760E98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7e050d3615e021ec0ee06c0f0f472456fe7fa9","datavalue":{"value":{"entity-type":"item","numeric-id":4329244,"id":"Q4329244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fa8ac7e0751ceae80644469eb77339f5ffadcb","datavalue":{"value":{"amount":"+0.8976021","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":"Q5212032$F812F288-D10D-4046-85A2-843DFA69CA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957b0082b4552dc28eccfb022df1d8e8d75b0496","datavalue":{"value":{"entity-type":"item","numeric-id":3511466,"id":"Q3511466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03aec7686d230788757d81d6e11cbf4e5f1885b","datavalue":{"value":{"amount":"+0.89188695","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":"Q5212032$B430FA56-8C63-4C91-B988-56E476215D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cadeb0cbdbcea2206210b92406402fcf304fa5a","datavalue":{"value":{"entity-type":"item","numeric-id":2702564,"id":"Q2702564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987f04b7a3ccc2f451677d48804533421efa54b8","datavalue":{"value":{"amount":"+0.8905159","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":"Q5212032$D0870721-9F05-4776-A95F-AB507D85CADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0889c397bb9e0c6b3dac12ab5bfcbc3d54f3a508","datavalue":{"value":{"entity-type":"item","numeric-id":4639910,"id":"Q4639910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3df49123de8f0bd71b63b8494a34d92b566bf2c","datavalue":{"value":{"amount":"+0.8880408","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":"Q5212032$740B5D54-280E-412D-A3B7-123BD09F4043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d132c21349ba05646944055cc9e7765bca88e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3695260,"id":"Q3695260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a11ddf55c793fcace659e9d4271d87d78ff3235","datavalue":{"value":{"amount":"+0.8864594","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":"Q5212032$EB5A9796-23D9-4021-B549-CAE1B8F39740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eabcb88b00641670f019369e567f0e51de504921","datavalue":{"value":{"entity-type":"item","numeric-id":5394570,"id":"Q5394570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad97d11314b823e120896f0d4179a3d59bdc65d4","datavalue":{"value":{"amount":"+0.8839908","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":"Q5212032$C830AAA5-0B04-4ACC-82CE-B2699220A485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2535b1517c541c95e14c717ef417610842c24782","datavalue":{"value":{"entity-type":"item","numeric-id":3094144,"id":"Q3094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe59b495d6db3c65c2243d509fa1dbdb4c7d140","datavalue":{"value":{"amount":"+0.8837095","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":"Q5212032$216F4C2E-650A-4372-A856-C51BF1FDC380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618cd251419a4ab76994643a3e4a2ebd8bea1b1","datavalue":{"value":{"entity-type":"item","numeric-id":4876809,"id":"Q4876809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8cddaebbaf0ec6a3975a688ae80d567e546932","datavalue":{"value":{"amount":"+0.87889636","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":"Q5212032$52C7B517-917F-4756-9829-3277054DF213","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5212032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5212032"}}}}}