{"entities":{"Q6043005":{"pageid":13177161,"ns":120,"title":"Item:Q6043005","lastrevid":56877210,"modified":"2026-03-24T09:54:18Z","type":"item","id":"Q6043005","labels":{"en":{"language":"en","value":"Omitting Types in Fragments and Extensions of First Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7682097"}},"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":"Q6043005$6D8A559C-38C6-47F2-AC2A-49CC2719E9BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73952a0d611c3d344f2ad7a7d039b4825d3b3c81","datavalue":{"value":{"text":"Omitting Types in Fragments and Extensions of First Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6043005$42C1E8A4-C0BD-443C-979E-386C4340C5CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"479f6ef3cece105b28ef2340961e00aa9cf1cfdb","datavalue":{"value":"1529.03216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043005$A49C03F1-5B1A-43F9-82B7-1CD6242EF005","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e7ebd4860bc76fbdb6b0d10db25ed60778166a6","datavalue":{"value":"10.18778/0138-0680.2021.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043005$0A3B87A0-46E3-4177-90C1-78B1A3C48AE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$500631E3-9B8F-40AF-81C6-095C5C83C282","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$16387473-ECF2-4D2B-A5FD-EEFC0ABFAAE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e4c1e2e99f4a92e25ea29c7e68e8be697695342","datavalue":{"value":{"time":"+2023-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6043005$D5D495A2-7B9F-465A-9079-F853FF7D55D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043005$5CE6B481-3EC8-43FE-9D1D-3889BC3F6542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043005$EFF3B37D-D44A-4187-B208-0ADC2606A22C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bea8e135d032e7dde109007c98be603719b6e404","datavalue":{"value":"7682097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043005$4659D17C-6E63-4A4C-AF51-064E7F917CCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6043005$8CC7126C-95E0-407E-BB80-007555A56C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7369b00dcc2de789af51f57c7628c1a00a554901","datavalue":{"value":"multimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6043005$803ABAB6-FCE9-4514-9E6D-E4621F0FCCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6043005$2FCE4034-95EC-417B-A113-9A94F62969B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a0469e5d9a2de1a01598586e4d14ee0d8ea929","datavalue":{"value":"completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6043005$4FB6D2DE-3CFD-4E34-9E48-A829955D1DC9","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":"Q6043005$6A257E29-8B43-4D99-B8A6-C91E3222D62F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e30441f79807a832d18662ae43bb3b70b41d50a","datavalue":{"value":"https://doi.org/10.18778/0138-0680.2021.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q6043005$7DB182FA-4DF0-4BDE-9C59-5F64C2F6987F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3146c06bccd805dc31759ff064fdd2ad199ea5f1","datavalue":{"value":"W3169674195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043005$048ECBEA-1554-4016-B64D-4C24B20A8670","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a1e1f8c4b16f252aa222d9d19b22001d1c05c7","datavalue":{"value":{"entity-type":"item","numeric-id":5387302,"id":"Q5387302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$F5E9E8AF-A333-4CDB-9C72-6A2C94D3DF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2377d3b7676d1c90850ec185215eed480678ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4032865,"id":"Q4032865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$6543C513-BB15-4F1C-8619-9602094A63B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$F5A0DAFC-5B48-4F23-B9ED-E63B2A3D4637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cf70196c9b3bfac415e698b5218c37435b01f5","datavalue":{"value":{"entity-type":"item","numeric-id":387126,"id":"Q387126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$46CA90E7-E3DE-4653-980E-73A582233438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54885bbfa8aa8525df1fda1937ed9ed06683319d","datavalue":{"value":{"entity-type":"item","numeric-id":5733519,"id":"Q5733519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$743ACB40-C61D-45A4-AE73-08E5A10CF60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b91fb34b309a1448e42736f924e3a5012ab649","datavalue":{"value":{"entity-type":"item","numeric-id":3253064,"id":"Q3253064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$A125629B-4080-4DC1-BA24-91DF44DC12E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a93da99b0193beff092ff77c295ff6a2d4aae91","datavalue":{"value":{"entity-type":"item","numeric-id":2853712,"id":"Q2853712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$CEBFA661-2224-480E-89AA-2885D383FC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf2b852cb33f86ca571b1f718a86f6fe483f27a","datavalue":{"value":{"entity-type":"item","numeric-id":3344197,"id":"Q3344197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$37D30944-50DC-466C-B213-5DA9DD707445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$88E6E64B-7E38-44DF-B7E4-5349100ABDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f464bd83d76ad46f861be39216b7715bd765f61c","datavalue":{"value":{"entity-type":"item","numeric-id":4372908,"id":"Q4372908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$537E5C3C-73AE-440E-8015-50C67211A005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$91F6CA85-BF78-4D41-AA37-5AD3FAB13DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12017f7ed03ff264e273fd34bb3ef986199cf28","datavalue":{"value":{"entity-type":"item","numeric-id":2853709,"id":"Q2853709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$3FC27142-D2BE-4505-BE07-03EBB6E9ABBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a32c88d106fd07e2d599f69881d855a700317d","datavalue":{"value":{"entity-type":"item","numeric-id":4532612,"id":"Q4532612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$2CAE1BD3-C634-45C2-B5B3-8FC534AFD288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c2b7b60fbc2ec48a0d9604e7a0eb99a9173a2d","datavalue":{"value":{"entity-type":"item","numeric-id":1377624,"id":"Q1377624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$C067D262-5FA9-4D46-BC94-B9C9AB448CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa0425f5b7807bba3d4f50b1605fe47dabc7c43","datavalue":{"value":{"entity-type":"item","numeric-id":2853714,"id":"Q2853714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$68A03D29-E613-4224-8840-47456FC762DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62a7ee57a756d9c692750076403c6b2fb06447b","datavalue":{"value":{"entity-type":"item","numeric-id":4204149,"id":"Q4204149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$BA8A24A2-C7DE-498E-99E5-470F82B1A313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06793f8be208802b4fd8a1db2fe40ab89337a9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2583600,"id":"Q2583600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$EF8E07EB-F2D2-42F3-98B0-5A9F12F05653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29681c1d8664d0f3663b3b0f11381066e98f341e","datavalue":{"value":{"entity-type":"item","numeric-id":2853715,"id":"Q2853715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$6C089005-B613-46D7-BF00-BF4B96EBC642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad60a133e66b1e91f874fac24bc39afdb5e06b7","datavalue":{"value":{"entity-type":"item","numeric-id":2853711,"id":"Q2853711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$44234560-B5C6-43BE-9DD6-213E0CF00FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320632fc85ae420d726b331309728c099a8ef1e3","datavalue":{"value":{"entity-type":"item","numeric-id":485109,"id":"Q485109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$38C7E7EE-562F-4D93-AA00-7A10EEC6F275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb6005797724130e9dd6c53cf8c550965089afea","datavalue":{"value":{"entity-type":"item","numeric-id":3460522,"id":"Q3460522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$C47104F4-846A-4BBB-90E1-BAF51AEA7D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3d39a5853b9c29b21a76e1322de637c0afaa6e","datavalue":{"value":{"entity-type":"item","numeric-id":5244456,"id":"Q5244456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$C43CB4B8-E7FC-4E66-91BD-2B5AD48EF9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$D1F6684D-3EA1-49EC-B081-B90D9D4E61BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ee5cbcb602f5552f779a98540126bce4ab9b71","datavalue":{"value":{"entity-type":"item","numeric-id":1272149,"id":"Q1272149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$DD99B727-4398-4CA8-9915-805136ED47CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc49419ce7345a5ebad029e4a597a096be59487e","datavalue":{"value":{"entity-type":"item","numeric-id":3433178,"id":"Q3433178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e097aca208eb0fdf64e4d2eb6ce52f60617cfc72","datavalue":{"value":{"amount":"+0.8632820844650269","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":"Q6043005$E7EDC50F-FE5E-4953-A530-722B4B8D6D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e82f419ca7b004ea7b4df1062bfe262c27b40e","datavalue":{"value":{"entity-type":"item","numeric-id":5387302,"id":"Q5387302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f45bcfd8b3afe0d9b96f0b730b5de955f3a98c","datavalue":{"value":{"amount":"+0.8023587465286255","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":"Q6043005$43ECA158-53A7-4626-B68C-CD550DE1F851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72c41bf564a25f129e984e61287d20e33702d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3192943,"id":"Q3192943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4225f9829d77059624dbcbcc08d478d09ca0c6c","datavalue":{"value":{"amount":"+0.7883725166320801","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":"Q6043005$5C9ED446-9273-4CC7-AC03-D172F73335BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64df11251b31fa5b794454366aa0caf52a9f4f73","datavalue":{"value":{"entity-type":"item","numeric-id":3091417,"id":"Q3091417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad3bdddb29ade0c81302a7ce489c82774af732d","datavalue":{"value":{"amount":"+0.7839785218238831","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":"Q6043005$5E5F8D26-0ED2-4C74-BC2C-8A021726E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c217b066510f9d42f79bc56ff1dff7f0451cf19","datavalue":{"value":{"entity-type":"item","numeric-id":3185015,"id":"Q3185015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58557a555da218406ee7ee20cc419adf285e80a","datavalue":{"value":{"amount":"+0.7737573385238647","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":"Q6043005$246ED481-B535-4F59-A093-EA7CD30048C6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043005$11EFE5F2-51DA-497E-BA99-7F0EDA9AB5A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6043005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6043005"}}}}}