{"entities":{"Q2865746":{"pageid":2876466,"ns":120,"title":"Item:Q2865746","lastrevid":51883613,"modified":"2026-01-20T11:30:42Z","type":"item","id":"Q2865746","labels":{"en":{"language":"en","value":"Preliminaries to classical first-order model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235339"}},"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":"Q2865746$5FD0E53C-AA65-4E8F-8516-6BBA653F8DFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d563c5bede664552136a1a2d268f8c2765d84505","datavalue":{"value":"1276.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865746$565A3D80-8F18-4B40-8C5D-AD45616DBEB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865746$CCA9FF08-FA2B-48D7-9FFD-E411FD5A332F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d63e12fb168c9b9e750bf0cf507f57fd61fc6db","datavalue":{"value":{"time":"+2013-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2865746$A8E54340-8638-40F6-A0C5-E4A8C1D085D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865746$46C52CB7-071B-4723-BC77-7D7289CD8C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865746$0E4338BA-3D55-4A7D-B2F5-5748B444711C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865746$6034E3E3-FBFA-498D-8FDF-BFD26917204C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"defaa6b86f6301ecb0b52d17e992d9791ac6ae65","datavalue":{"value":"6235339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865746$CD6C31C1-911B-4E1C-B9E3-E97616C3CE4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3fcc21df8775948283a2fd666470875b573983","datavalue":{"value":"Mizar Mathematical Library","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865746$63C97E64-0233-44B4-B722-9D565C8CFE8B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865746$37063EF3-86A1-4620-98DC-EC0F944BBD2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd203fcc0df99bfc5d96e5da8c712e14410da8f4","datavalue":{"value":{"entity-type":"item","numeric-id":1945909,"id":"Q1945909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865746$F26EA946-48C6-439C-A992-26DBB990A3C4","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":"Q2865746$390E7FF6-DB62-43C9-8FC2-B2AED34FCC7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75be093eccc7d763f84cae9dc8c9e9c5f0ded886","datavalue":{"value":"https://doi.org/10.2478/v10037-011-0025-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2865746$6E04CA7F-736C-4136-9B6F-AE67D9B73961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2788832ccd0a952d8ad0c5065b16f52f3a2e3dd0","datavalue":{"value":"W1974420731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865746$4D30BB97-7714-445F-9DD8-CCFB38DF86DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"723b98e8766f93dc60cc0f6f734780baf36c30de","datavalue":{"value":{"entity-type":"item","numeric-id":2852181,"id":"Q2852181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865746$303F1ADD-BB23-4D2A-B524-C85A3BDC0CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865746$180E1883-A21C-4BE2-B8E5-FA767C752D15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3849e4d07c42ae5aac5dcb90e3202f8f29c4b4bb","datavalue":{"value":"10.2478/V10037-011-0025-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865746$ACA7B6EB-E900-4AE8-B9A1-5005938AB307","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9ad91cb8478741923dac523d72b9a62d5b372c2","datavalue":{"value":{"text":"Preliminaries to classical first-order model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2865746$2C7EB8FC-D652-446E-99D6-EBA36105E4CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518f113214d8dacdfd65ea5ea7302a8ee399d9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3075243,"id":"Q3075243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5263ac1a8e95699dfc414dceb498964a45193538","datavalue":{"value":{"amount":"+0.8358290195465088","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":"Q2865746$979931E2-D718-4DA2-B8D3-44EFA97897C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf1e310d4319850dc53c03d715caa346851662f","datavalue":{"value":{"entity-type":"item","numeric-id":2865750,"id":"Q2865750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570ec0260ee675c55dd1f8d6ccdce51e17a4999c","datavalue":{"value":{"amount":"+0.809924304485321","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":"Q2865746$9EE7296D-8FAE-45ED-9A86-1BC657DED943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ac198f3b8901bd1a102322ec9b9127c4cafa5c","datavalue":{"value":{"entity-type":"item","numeric-id":2865747,"id":"Q2865747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86693eac2674a64a81d5daaf8e9e47a15a9ecbe","datavalue":{"value":{"amount":"+0.7719719409942627","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":"Q2865746$3ABE79FE-F091-4C31-A1B9-80865A95E7F1","rank":"normal"},{"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":"28574162843b5652aa2b92951d727c05e869163e","datavalue":{"value":{"amount":"+0.7620965242385864","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":"Q2865746$E0F0C0EE-BEA7-4CB3-9C45-9EB258FB4766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fab66fa4452b185827448d18b127de03bccdd3","datavalue":{"value":{"entity-type":"item","numeric-id":2852157,"id":"Q2852157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14179b2fb0e376f06bbd0edd7195040f5102b1e7","datavalue":{"value":{"amount":"+0.7614463567733765","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":"Q2865746$AA33385C-ED53-46EA-9AFD-8F9E32A06871","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2865746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2865746"}}}}}