{"entities":{"Q4842638":{"pageid":6872218,"ns":120,"title":"Item:Q4842638","lastrevid":82648946,"modified":"2026-05-06T21:24:55Z","type":"item","id":"Q4842638","labels":{"en":{"language":"en","value":"Model completions and omitting types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 785348"}},"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":"Q4842638$6475BEA3-135D-4F10-8ED0-27C4B78561A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"362519e61c8d03770f7aa8406a1d089601955aa3","datavalue":{"value":{"text":"Model completions and omitting types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4842638$4C78B7E7-770D-4AB6-A71C-E90CAA1E4759","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af67978ae84848c3bc0705029f2d62c11091a1e4","datavalue":{"value":"0831.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842638$C6FC0312-3794-4506-90EE-B3ECB33FC016","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"761a06b0403070b8471e2bba74f170bfd3cf7b5d","datavalue":{"value":"10.2307/2275856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842638$66C3822B-7F2A-42A1-8F93-1FFF756E76E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e38d9177582285932fd34fa31d4c43fb1a72ca61","datavalue":{"value":{"entity-type":"item","numeric-id":1057258,"id":"Q1057258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842638$FA353399-EB34-4155-AFAE-B6F4296135AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842638$8775DE78-5111-4B54-BD65-A8B4B60C50F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5eaeb2c9097fea69c487fbd2ea3e5d8c5e6a6b7a","datavalue":{"value":{"time":"+1996-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842638$F52973D1-8D64-4383-BC3F-D27B1239AE4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842638$70C23898-ED3A-46E1-BC9C-71BE4C38ED4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842638$02F9FFD7-AA7A-44DD-AC32-796B41FE3903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842638$A2C8EEB3-01C7-4718-B931-1290A4D684E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842638$AC930703-ED17-482A-84B5-DEB307FB9EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842638$13BE91BC-9DC3-41A3-9010-AAFFCE0C289F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a49765db635c55ecb50c3c24007e6cc19a568c83","datavalue":{"value":"785348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842638$7860508A-0C92-478B-9C13-FEDD52613D05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f37a320fdbde9930be84e0be2ae70f06cce0f0","datavalue":{"value":"syntactic characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842638$F7E87412-A45C-4D36-A5B3-18E03FCFAA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ccae20fc7a9056fcd6b10116c3d410f684687fa","datavalue":{"value":"model completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842638$207A921E-666A-4A77-8E8C-048BC2DEF773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145122a4e9209e30cddd8aa5a9074a618a22c369","datavalue":{"value":"omitting types theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842638$9368E60E-5CBE-469D-81E7-B6FA3FFC7F17","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":"Q4842638$29EB597C-2A5A-4B8C-9F2E-2E05E857A154","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0542d721d85a5769a6126102a692cc1cead219c5","datavalue":{"value":"https://doi.org/10.2307/2275856","type":"string"},"datatype":"url"},"type":"statement","id":"Q4842638$D8BE0F8B-3646-4B22-A638-6486EAF8B803","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eff21fee1725e48b388e592f9ffc777cd1b6b1ef","datavalue":{"value":"W2163605189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842638$0832BA5F-B71F-4BD5-A31E-21B80E040BDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f27b1389f67ebcc3889ef7540bc843fc14abc30","datavalue":{"value":{"entity-type":"item","numeric-id":810001,"id":"Q810001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842638$73807A00-9E23-4305-9EC1-21DAD30F6D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955db2d1081e1b63b84d294fb213b7f5e310df56","datavalue":{"value":{"entity-type":"item","numeric-id":1216298,"id":"Q1216298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842638$0AB138D0-2610-40D2-8886-FDCFB1F96E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62f4fec68fac768858001b55e43cb7a310467c6","datavalue":{"value":{"entity-type":"item","numeric-id":1802756,"id":"Q1802756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842638$5E6B8B3D-401E-4584-87B0-06F6AB51C464","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4770c95abdcba0c31fda4a50b054041fc4c2ace5","datavalue":{"value":{"entity-type":"item","numeric-id":1049741,"id":"Q1049741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5687ac3ea597898a52673405c0a69d2191de95","datavalue":{"value":{"amount":"+0.9688289","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":"Q4842638$5CF5C878-686F-4EFD-AE88-F16F60CDA80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0487bf72bcaa7ac74e9574378d57bf826157640b","datavalue":{"value":{"entity-type":"item","numeric-id":2853715,"id":"Q2853715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1a9881d6e9c471681e7d0d6270594403f0bf93","datavalue":{"value":{"amount":"+0.92301285","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":"Q4842638$0832CD79-2715-4D7C-81ED-2FB249DBDC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe1a21949850d6a59d10fc929003a1d4c2d4b75","datavalue":{"value":{"entity-type":"item","numeric-id":4879910,"id":"Q4879910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6cbc161fbcd470ad880792e4bd95fd632a7f59a","datavalue":{"value":{"amount":"+0.917305","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":"Q4842638$E5C872E8-B1DB-441D-BDB8-03A0B3DE0A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0333dd274cdfd6d1d3f199e44df381319cd2aaf4","datavalue":{"value":{"entity-type":"item","numeric-id":4133974,"id":"Q4133974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec2d1454345ad6d0f62b41c0cf9e64a502533e5","datavalue":{"value":{"amount":"+0.91243726","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":"Q4842638$741BC74F-60EB-4F04-BF88-72189567603C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e597bd7312a26234bf0be95d59ebb406df5de0","datavalue":{"value":{"entity-type":"item","numeric-id":4874811,"id":"Q4874811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75d31d435fcc9bc4b22bb41656d9d7c3821d25b","datavalue":{"value":{"amount":"+0.8989539","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":"Q4842638$5D7F93EE-F78E-4DF0-948D-E7C2BF6CE18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4312be99e1412b078d44e6ef99955db0de6a43","datavalue":{"value":{"entity-type":"item","numeric-id":3086771,"id":"Q3086771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f390fb804cca5fab5cd48d4b34996ca6cdfa85d0","datavalue":{"value":{"amount":"+0.8891689","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":"Q4842638$D84A0904-D59A-4DFB-821D-CCF9142E1166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3622b805f412785f6aeacc17833164ba6ad1fabc","datavalue":{"value":{"entity-type":"item","numeric-id":3808071,"id":"Q3808071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa0ac2cf08e6be76093495ac732056b6338e67e","datavalue":{"value":{"amount":"+0.8886162","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":"Q4842638$8DE5AA1B-F5AB-4068-86D3-FBC7E24CE0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8cd6b36ea0442839830ea811799d04ed7bf360","datavalue":{"value":{"entity-type":"item","numeric-id":3642694,"id":"Q3642694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19da1fd419a2ef0c12cd306d9d4d965009720783","datavalue":{"value":{"amount":"+0.883463","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":"Q4842638$4B73023C-1734-4BA5-A9B0-B1C15001F727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294e306416be6abf0921bdcc8428660a154da1e0","datavalue":{"value":{"entity-type":"item","numeric-id":1117215,"id":"Q1117215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f2daeae2d56a62f7b059d9081930c19ff7f44a","datavalue":{"value":{"amount":"+0.8807676","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":"Q4842638$7078CC09-A0B2-4E77-AE38-0977A67B38AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b139450a1fcab6deccb5d391d2a5f2b494ad6f30","datavalue":{"value":{"entity-type":"item","numeric-id":688799,"id":"Q688799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a569684df91b616bb50e80741f6c39d98568ed","datavalue":{"value":{"amount":"+0.8737428","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":"Q4842638$9FC63B23-2072-44C6-80FC-0C8AE0025E3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model completions and omitting types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_completions_and_omitting_types"}}}}}