{"entities":{"Q4803973":{"pageid":6833553,"ns":120,"title":"Item:Q4803973","lastrevid":74844501,"modified":"2026-04-15T00:37:30Z","type":"item","id":"Q4803973","labels":{"en":{"language":"en","value":"A completeness proof in full DDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1895905"}},"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":"Q4803973$267B9DBD-9C9C-4B81-BA04-1CFE0B6C9705","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"506d92c30df85dda9c118a91e3845d0e4393cbef","datavalue":{"value":{"text":"A completeness proof in full DDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4803973$75C75142-2E9A-4DDB-96A3-83346F6F3E33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e236148e7d401db8078542c1b2383225e9799baf","datavalue":{"value":"1028.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803973$E50DFE1E-2B6B-4283-A9FE-398DB278DBA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44d69a402c1113d769c2aa611fbb8ed0ee590225","datavalue":{"value":"10.12775/LLP.2001.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803973$033E9E5B-984A-4D63-8A77-5B666ABBD00B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8907116e2bbe8be1296da2cbc227854582eff71f","datavalue":{"value":{"entity-type":"item","numeric-id":190285,"id":"Q190285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803973$8805FDC9-E130-4222-BCDC-E5A596526DE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803973$C61DF537-73E4-42F9-8542-914E5EB33836","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9dfc5e64288531cd390628a54589b6c7824785d","datavalue":{"value":{"time":"+2004-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4803973$5DA1113D-BB9A-42F8-B357-B46D96EF54FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803973$75EE0718-AD63-4E91-A841-791909951579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803973$B2834957-A888-4091-9647-89B64888ADB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4aefce732a3d29b91db5023ee8a22a9aafa3659","datavalue":{"value":"1895905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803973$214AE132-3A8C-4BF1-A5C9-681A222D921D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803973$E79BB620-9835-480B-8106-525CB8CF30A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b8d62d0bb2cfcd9a718fee7427bd6c2e57e42bf","datavalue":{"value":"dynamic doxastic logig","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803973$11E12760-AA0C-4AEC-96B3-122C90709E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001b8f2ff301d5cbd960be7aabe82795c1cab551","datavalue":{"value":"AGM","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803973$DBF1867E-1108-4791-8143-3EC5AA358FCB","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":"Q4803973$D859505E-4381-4AD4-BAF5-7C3581B07C81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45784bff5a2f670a64fe907e86d578e7863a02a6","datavalue":{"value":"https://doi.org/10.12775/llp.2001.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q4803973$5E33C0AD-1E5D-40F3-8A91-3303321F5A02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68e6007b6f4cb20f68977dc3627a5371901cc203","datavalue":{"value":"W2072009148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803973$C5704928-6B5F-4C21-BC26-D95CF5DAC47E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3fb0f3307041652d527cbd8d97acae6954101b","datavalue":{"value":{"entity-type":"item","numeric-id":3577742,"id":"Q3577742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aacbd0446b5f034b6ae191980437fabdd5c1c52","datavalue":{"value":{"amount":"+0.8257496953010559","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":"Q4803973$B8E0D04E-345D-427F-9BE5-171AA2A81D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56310730f25f0d735b8d3e8dece4f45244c8f893","datavalue":{"value":{"entity-type":"item","numeric-id":4546696,"id":"Q4546696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e8ec9d2ec5c12d10d8975f6de865ac9441884e","datavalue":{"value":{"amount":"+0.8179430365562439","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":"Q4803973$CB570F33-3A26-4976-ABA4-3E9EA43A88D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1839608168579bb3db79e4a3ba48033c0c7f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4982660,"id":"Q4982660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a0c1c431a0efee74253c7bbd6a8df9aa7c3219","datavalue":{"value":{"amount":"+0.8134310841560364","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":"Q4803973$AD573F2D-514F-4BF4-A6D7-87AF6851D863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba021d95b3a28250b84754635560dbf412274ddb","datavalue":{"value":{"entity-type":"item","numeric-id":885520,"id":"Q885520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36da8852d22e984444e81dd28e8998a5da3120cb","datavalue":{"value":{"amount":"+0.795032799243927","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":"Q4803973$1D5B84F7-384A-49A3-8210-B39441946FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90d402756f974e0a3030b7688f494a83b3f2d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4847368,"id":"Q4847368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b9b57e31644ecdebcf80f9a1eb842a557102f8","datavalue":{"value":{"amount":"+0.7793914675712585","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":"Q4803973$84351235-D3DB-4E83-A870-F2A1E641747B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A completeness proof in full DDL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_completeness_proof_in_full_DDL"}}}}}