{"entities":{"Q672756":{"pageid":674605,"ns":120,"title":"Item:Q672756","lastrevid":63463383,"modified":"2026-04-11T13:20:17Z","type":"item","id":"Q672756","labels":{"en":{"language":"en","value":"A direct characterization of completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985175"}},"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":"Q672756$0D73694D-E428-40B8-802A-254A6B927856","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c43ab970077f7f7a039daf22978b7b90b6fa1a06","datavalue":{"value":{"text":"A direct characterization of completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672756$445F80D8-F517-48DC-8EB6-A71D8A5DA598","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"165502b97d81457b38f11a58964ad0783c3f30ef","datavalue":{"value":"0872.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672756$20DE0E5C-6425-4ADC-9A86-64D293D1C217","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5e625c924c20c5a3277afa5fd65ae1905f96a57","datavalue":{"value":"10.1016/0304-3975(95)00088-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672756$921C2928-A44F-43B2-9014-5583727A76F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672756$A0B9A872-9FD3-4B74-91E0-4265C75C93C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672756$02E558F6-1B3D-492E-B571-D0A1F7FBC150","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-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":"Q672756$5613D899-3931-4554-BF53-3B8CB81FB055","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672756$8ED55D25-C844-46A8-8427-72ABE7754594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672756$812C4F04-138C-49E0-92F9-CFEF6CCE1315","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d7a88770f720f473f853908d28823321585f56b","datavalue":{"value":"985175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672756$A9EF18E9-FE12-4895-8F63-F3EB03A72D84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34634c50ce48f20cbce186e08200f3872019ed9e","datavalue":{"value":"fully abstract semantic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q672756$7D655AFC-2683-4782-9DB7-E305B66E946A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaa40505e267383a42ddb7b65fc36281b169b8e","datavalue":{"value":"cpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q672756$D7DECB41-F7CB-465E-A4EC-4A48C7B0CC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee57bc8a2719d0d680cf26c4debfaaddee3ebda5","datavalue":{"value":"completed poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q672756$4F77223C-24D0-4DC6-98E7-009C40173E02","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":"Q672756$B3BBCE93-2C39-44E5-8A81-739F8B013CDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62c5fb53786a886d817e4eca9efa4f683e362948","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00088-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q672756$A217543E-693B-44D8-A1F9-3BC337ED2F2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0c8791cc87bde399091b92a304ad3ccbbcb1f06","datavalue":{"value":"W1985630949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672756$214C6535-F618-4C27-AF19-761615F3CFE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"297dbf9ba742c7ed93a39cc09ef8a96197a3d196","datavalue":{"value":{"entity-type":"item","numeric-id":4481743,"id":"Q4481743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672756$BCD9A658-389D-4E34-AE0C-EF154C4600D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f74bfd35147b7190ef986a865640caea98fab7","datavalue":{"value":{"entity-type":"item","numeric-id":3912630,"id":"Q3912630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672756$6A5D0B47-ADFF-44FC-BAD7-775070F6D40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b767ec68ccc42fd52f2f3a7c69dce1ccd9b8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672756$7BB3BCB7-5393-47E3-BDC4-D0F0FB88CFBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec84920a00bea77ef72259367de98aadd78d13d6","datavalue":{"value":{"entity-type":"item","numeric-id":2423773,"id":"Q2423773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f386fc823f10cedcd1a424a183d5abb501489f15","datavalue":{"value":{"amount":"+0.748111367225647","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":"Q672756$BE293F4E-7580-4DBC-B2A3-6A7D6586FCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f7409b9870c38bf699cdf658e9c7945d1d4b62","datavalue":{"value":{"entity-type":"item","numeric-id":2350955,"id":"Q2350955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8af64e5b488dec59ac56c210a92ec82cbd7caf","datavalue":{"value":{"amount":"+0.7303109765052795","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":"Q672756$9D11DDB8-99CA-42BD-9954-8D66BA2E93EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5946ed5ff29e4ac98f42d8e3b73bb87dec2251bb","datavalue":{"value":{"entity-type":"item","numeric-id":974109,"id":"Q974109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca189f39c86a618af254726eecb9955bf673916a","datavalue":{"value":{"amount":"+0.7250562310218811","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":"Q672756$CDC00D7F-A525-42E6-8C56-A155247770A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131aa159405cbe72076e109fd0ea8a5b786cfae3","datavalue":{"value":{"entity-type":"item","numeric-id":5863859,"id":"Q5863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fd0edb881cc18f66daf838f675a13221307b98","datavalue":{"value":{"amount":"+0.7215997576713562","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":"Q672756$ABA4DB7B-9B1E-4A1D-A72E-EA26D03EADB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5607cf69413ed43b4fd6e4f0dcb1c754788ae715","datavalue":{"value":{"entity-type":"item","numeric-id":4688519,"id":"Q4688519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98b3f553daa7bab272b17408f53428ead38d0d4","datavalue":{"value":{"amount":"+0.7203311920166016","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":"Q672756$7068BB8B-A1E6-4FA6-B3C0-CA83CFCB3457","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A direct characterization of completion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_direct_characterization_of_completion"}}}}}