{"entities":{"Q5410700":{"pageid":7440274,"ns":120,"title":"Item:Q5410700","lastrevid":51980786,"modified":"2026-01-20T16:38:35Z","type":"item","id":"Q5410700","labels":{"en":{"language":"en","value":"A Coq formalization of the relational data model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286386"}},"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":"Q5410700$50389963-1DA0-40B1-B162-E62718B7B3BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26c9d625537d6ab158d5c4905c1533897671bc9d","datavalue":{"value":{"text":"A Coq Formalization of the Relational Data Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410700$17AEE610-7300-45F5-B523-5FE44D479DA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4ae712d8d31dec7404d7a12732c7d03987dba5e","datavalue":{"value":"1405.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410700$02995E88-F2BB-4D35-9809-3E83C3E62EC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b676ac56be7d34198274f95f145d354df2e50e2b","datavalue":{"value":"10.1007/978-3-642-54833-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410700$5DBE4056-C3F0-4D51-8CE6-D80886CA4710","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"385d2c324a3558e57cf8738beb99a6c61eee2c64","datavalue":{"value":{"entity-type":"item","numeric-id":1687730,"id":"Q1687730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410700$17C3A809-BA61-4A78-8060-8CE31354A11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55727f9f4a7efb137e6c3bf39c513ca15ab9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":851140,"id":"Q851140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410700$0A057368-5841-472C-84CD-D37BD9E771FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d3040bc44ebc877d3d64d0b4e1311aefaa8419","datavalue":{"value":{"entity-type":"item","numeric-id":1687732,"id":"Q1687732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410700$293986B1-3777-46F4-A639-FB3FF7715C39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410700$7ED5DEA1-B146-4EDE-94E2-B15E3705848B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410700$E4FED29F-DD24-4FA9-8167-C3B97DD80D45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410700$0F0FE98A-4EE3-4145-8442-36A9D03B4302","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"476a87f86d5f8c4d686ba3355b59fec7578858d8","datavalue":{"value":"6286386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410700$F8A2A3F3-90AC-464F-9D44-3AA21EBB8DF4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410700$74A120FA-28A6-4A22-8757-B0906D3A5F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410700$D47E174B-62BC-42BB-9D82-6AAE60544758","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":"Q5410700$BC200F05-45F9-40CA-8212-4F96C40C9952","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06d7e4768e3a0d76e04a2caf1464e22da5a32b47","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54833-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410700$ED0E4E0B-F6DC-42E4-95EA-4FFB7DFA01C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a74db54080dde8cda0385633fc71f39710f9f3e","datavalue":{"value":"W79051208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410700$B9CB9C94-E8DD-4FC4-A6C3-DEEE41540629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1fb77698fa2ca18c6eff7948366c3f03b915a6","datavalue":{"value":{"entity-type":"item","numeric-id":1791148,"id":"Q1791148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d6f4253062e55f805871d4289d23daf66ab9ee","datavalue":{"value":{"amount":"+0.8239957690238953","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":"Q5410700$DE9B6DCD-B229-4C5B-9E97-1AB44EB98A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d8313658e95b15113e09c4e0131c11cb8c6ce5","datavalue":{"value":{"entity-type":"item","numeric-id":5255077,"id":"Q5255077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9ea0d05bb02aad7b86af7557a3a5a2c151e924","datavalue":{"value":{"amount":"+0.8090968132019043","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":"Q5410700$5BDB22F2-0661-4001-951B-3B463C824235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8588e7022841ed5debfdb61a3acfe69850f346ea","datavalue":{"value":{"entity-type":"item","numeric-id":5712427,"id":"Q5712427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db06cf36f62c6687d405e1e0d76402748f624b7a","datavalue":{"value":{"amount":"+0.7708824872970581","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":"Q5410700$069BADFA-F3F9-43BD-ABF2-AE896A7E6152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c02c752d086a2e12b552562c483583c71303b35","datavalue":{"value":{"entity-type":"item","numeric-id":1064084,"id":"Q1064084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe6481bc59cc61bcde9ec9ef08526c2f3da877b","datavalue":{"value":{"amount":"+0.752764105796814","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":"Q5410700$A34E5E0E-36DB-4C30-A520-33E8ADDBB9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81112f804b1d3742fc6d6a1ac1752c6bf80624a8","datavalue":{"value":{"entity-type":"item","numeric-id":2102947,"id":"Q2102947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e25ea664be98db818332bdb466208047a9f788c","datavalue":{"value":{"amount":"+0.7524099946022034","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":"Q5410700$3E792CEF-D359-420C-908B-DA568A72F63B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410700"}}}}}