{"entities":{"Q5096388":{"pageid":7125964,"ns":120,"title":"Item:Q5096388","lastrevid":41219836,"modified":"2025-04-20T16:54:28Z","type":"item","id":"Q5096388","labels":{"en":{"language":"en","value":"Encoding natural semantics in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572213"}},"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":"Q5096388$DFCB58F3-0F8D-4A11-8447-58DB52608C9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28256891381ba9a3ccf69501d6b1b0175971d25e","datavalue":{"value":{"text":"Encoding natural semantics in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096388$7C44AFE2-4F77-4068-AE96-8C340D2D514D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f4617fdd4343113daf5d3e6f772da6ad2654e58","datavalue":{"value":"1496.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096388$3B41932C-56F6-47A5-A922-0941D4D38A75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d689fcdaace2af332afdcac9dc4a241df437771","datavalue":{"value":"10.1007/3-540-60043-4_56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096388$D5BD9EBE-C971-474A-8E4E-D8ED5B506ACB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcd59f4149a9afe4198ea3498fce8a2983db1f42","datavalue":{"value":{"entity-type":"item","numeric-id":4647572,"id":"Q4647572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096388$711AED3E-54CC-42B2-B0E1-01017E5A7489","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096388$8EEB75A9-8092-4E8B-B515-B50C3C4318B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-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":"Q5096388$8018A288-1559-4DD1-BDA7-442955BE80DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096388$5060E15F-8C8F-4AEA-99FF-E6A840F28FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096388$A16AB16D-65C3-4840-8D0F-9874E90DDDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096388$70E03E34-136D-4C44-AA26-4DC0FDD63DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096388$E5F1397A-4648-49F3-8700-A0F909D3FB49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f12a129fd56970eb710393a58d2a4d6202c763d6","datavalue":{"value":"7572213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096388$73864228-5C29-472B-8581-AF5125C98470","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":"Q5096388$D8F4DFCE-BFF7-4375-9ABC-B015EDB75585","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0107c156770fe3f36f32bef2a062b71d1ff4b15d","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_56","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096388$FE4A4D4A-4692-4B99-9B85-4A22FE6139BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c8c23b4b2705c428ce33dcc8de333667b9d06f2","datavalue":{"value":"W1596425290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096388$816897C0-446D-467D-97E1-7C47BDAF07D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c510f33cf3069aa89560a85f6fc0e2e71f04618","datavalue":{"value":{"entity-type":"item","numeric-id":4490725,"id":"Q4490725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096388$1645FA8D-8291-4502-84CC-AB5E41E2BEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096388$9A85CBC4-364D-4000-8EC3-C020596F4FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128e020ba7fd715406da6da5c129f63f6a4f81b3","datavalue":{"value":{"entity-type":"item","numeric-id":4004235,"id":"Q4004235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096388$AE9FF95B-E491-4786-8890-580F39F699F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c86f886252b33e55bf44589da1e8c9916d4a14f","datavalue":{"value":{"entity-type":"item","numeric-id":688727,"id":"Q688727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096388$254299F6-03F6-420C-8F42-2F498A1E6E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096388$D809C1BA-A30E-4FD6-9C99-26FCC4953A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096388$A8FA5ED5-5620-4B9E-9D3F-B91480D2C1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096388$3E786337-43D5-481F-A026-DD7AC6EB3D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a9169f9863dd0cf907a7ea462945e74c6dee2f","datavalue":{"value":{"entity-type":"item","numeric-id":4939703,"id":"Q4939703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096388$8C1F4CE2-3EDF-49F4-96B2-BF885AADCF2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e455d4ca94c6ccec51ac2375f704f1f242475f","datavalue":{"value":{"entity-type":"item","numeric-id":2258817,"id":"Q2258817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f8d20ade15cf576d776a54b0751c7b7a96e2a7","datavalue":{"value":{"amount":"+0.9220055","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":"Q5096388$4726B3C3-0F69-4EC7-A2D8-8BAA640127FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c334ac6483fbc8edd0cf8c7d4e3a5ee4d35781b5","datavalue":{"value":{"entity-type":"item","numeric-id":1798946,"id":"Q1798946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7333937931922a06becf0721f064bbaf0cbe42","datavalue":{"value":{"amount":"+0.8733865","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":"Q5096388$06F0E270-B257-4CC4-A657-15C38C7F5276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a464af9d0a75eab232264b9bc71a3cb17f6591","datavalue":{"value":{"entity-type":"item","numeric-id":2888486,"id":"Q2888486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d451ed068dbd4dca26b124ae58d43183b158db00","datavalue":{"value":{"amount":"+0.8713902","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":"Q5096388$52A9AA32-81EE-43D9-A805-E84CE6F8D3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b85b92a612525e53f1940e47c9de317d158f38a","datavalue":{"value":{"entity-type":"item","numeric-id":3608814,"id":"Q3608814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff0779f8106a92a5bb3124bd295b49cdffa0bda","datavalue":{"value":{"amount":"+0.8674445","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":"Q5096388$A3CECB67-A2BF-4C44-B540-A5A27202A4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e649413681a21d6a72aaed2e7c95ea38361baa","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93d8010eaa79f3ff5517c4a5f9631b7c9483306","datavalue":{"value":{"amount":"+0.8659778","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":"Q5096388$7FD5CB53-348B-4A22-88AB-3F54AD6D94A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8981901febcd7accd965714d3a1f4b9b8c7219","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abaec49e79ec3d9074b44cd979dc5e43c1bbe2a","datavalue":{"value":{"amount":"+0.8619688","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":"Q5096388$AF3A9991-C155-4D01-BD25-62CB2C283454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96f86b1d42820e56e89a9c5aff7e04de83089f4","datavalue":{"value":{"entity-type":"item","numeric-id":5195243,"id":"Q5195243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1a5dd8bc67bba6c2387242caf31bf7df938099","datavalue":{"value":{"amount":"+0.8614353","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":"Q5096388$8570E6B7-3ABD-4136-BA9B-87CBC34C386D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09924f6b28baa80e42b0d6ab97c1db84b2c88d9","datavalue":{"value":{"entity-type":"item","numeric-id":1663246,"id":"Q1663246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc0e4ad607f2b817f70701db27a1aa7f022fe99","datavalue":{"value":{"amount":"+0.8560605","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":"Q5096388$3AF4F9EC-7404-4F7C-8D9F-2B2D6CE29EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ac105ce3172a3ea2919fdfcd7f106a4b9e2e84","datavalue":{"value":{"entity-type":"item","numeric-id":2871861,"id":"Q2871861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f74467a09530d9cf42ed21e51aea82594f0f8c","datavalue":{"value":{"amount":"+0.85480595","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":"Q5096388$9258A220-846A-428A-8E4C-DCFBDCCD0AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7288cbc5259961bb40cee773c21afff8008c52b","datavalue":{"value":{"entity-type":"item","numeric-id":2879253,"id":"Q2879253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df7419385e51155f83980aafd55e72a382e29d2","datavalue":{"value":{"amount":"+0.8535415","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":"Q5096388$3F3421BE-F1A6-4292-8600-B43CFAD1EAB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096388","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096388"}}}}}