{"entities":{"Q2804327":{"pageid":2815065,"ns":120,"title":"Item:Q2804327","lastrevid":83312588,"modified":"2026-05-07T07:11:50Z","type":"item","id":"Q2804327","labels":{"en":{"language":"en","value":"Realization using the model existence theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575039"}},"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":"Q2804327$79CF0BAE-F3CA-4E1D-A308-9D25C2E7A376","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c278a89ba861a71171693cf40b2a24baa3b64c8","datavalue":{"value":{"text":"Realization using the model existence theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804327$F26FFA5D-4AC2-4E4E-8D73-D9223A63D2AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb8781f39c440ace88bf782a4151d579aae8c116","datavalue":{"value":"1403.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804327$24B8CA99-E054-4ADC-8EE8-C79C3D9BAC86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804327$1AFAF11D-F41E-4AE0-8C8B-546CA9888A9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804327$EA2A2EC2-CE66-4E24-9246-C98C0D9D14AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8ef3cc3ef24ef50aad739941c44e5ec953c9eb3","datavalue":{"value":"https://semanticscholar.org/paper/21f91086d767db66ffc0ad731fba14c8f92d0a21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804327$59410CAF-E063-427E-9223-256CA1904E6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804327$BD610B38-36AE-4E64-B4E1-1AD61CC70FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804327$4D64A1D3-BA63-4CAB-BAD7-99784800ADC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e142fc87acb3e04b71d897c51ee2787e6d05fe3","datavalue":{"value":"6575039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804327$007A3A2C-FBD8-475A-9A52-DD5078A0DF83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804327$08B2B53C-4D47-41BE-9D88-3C4DBDE2ABBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5545abc8b18618f515aebfe0a0f2c81cc8fe80e4","datavalue":{"value":"logic of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804327$C628EC03-9E0E-4550-A773-B932DA0106B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3af2123ea8a9abdd42b6656031cf7115b3a7de9","datavalue":{"value":"model existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804327$53A62FCA-61A4-4D36-9FC2-961C4858EB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b355c8a4174d6d8394d7bf240c24bc9a0be14b8","datavalue":{"value":"realization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804327$D9AAB13B-F030-4D3A-B8E9-A39F4AEA430F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804327$DC3C0A0C-BB2E-4CAC-A45B-A340E9F9C70C","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":"Q2804327$309F6A40-0C21-43ED-8EB1-549379DB1949","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6041d72a692706901fa6a37580d01ebffbe5599a","datavalue":{"value":"W2070949243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804327$09B67513-3718-4E68-B992-82CBE107B253","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67dc2ed9663060d73370181142546aa27ef94a47","datavalue":{"value":"10.1093/LOGCOM/EXT025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804327$DA1102F4-D57C-40DD-96F6-EB8EBF5A9630","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804327$44F87807-5299-403C-A499-16F5005461F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5646299774de4ddc4302c0fd8a64fd9710fe67d","datavalue":{"value":{"entity-type":"item","numeric-id":286591,"id":"Q286591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021963bbec3cccdbe071f4b23f836915c3ca3a9f","datavalue":{"value":{"amount":"+0.8877862691879272","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":"Q2804327$61B238E3-C1A9-4F56-B0AF-6D7B0C66F5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ff6608b7da2e212e876bf74689dbe24421c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2284501,"id":"Q2284501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0728a54953a770a380e2a12d4215ded68785b0d","datavalue":{"value":{"amount":"+0.8748409748077393","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":"Q2804327$9B300354-EF92-4CCF-841C-F0B8D0D24616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2531406e3155dff98348c617f86a83978b1d3e","datavalue":{"value":{"entity-type":"item","numeric-id":435202,"id":"Q435202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08b36b9f456dd3cda26f564658b2caee01e8ade","datavalue":{"value":{"amount":"+0.8667743802070618","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":"Q2804327$CBB0BB0A-AAA4-472D-BA60-C282206EB5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f92a32375fc167fae3d9c10aee21ad6951317b","datavalue":{"value":{"entity-type":"item","numeric-id":2904046,"id":"Q2904046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4080ad9a8f59cebafd975c9cc6084e5d7434124c","datavalue":{"value":{"amount":"+0.8667616844177246","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":"Q2804327$3636890A-36ED-4F9D-A763-56F8D008691C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f1e97173db305564213a200ec48a7aa5ca858bc","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e620560ce056f98fde292a6ef63c2b34717877c5","datavalue":{"value":{"amount":"+0.86182701587677","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":"Q2804327$7D893E0E-C37C-44B0-BA45-2E89CCB19387","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realization using the model existence theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realization_using_the_model_existence_theorem"}}}}}