{"entities":{"Q3087995":{"pageid":3098710,"ns":120,"title":"Item:Q3087995","lastrevid":51317597,"modified":"2026-01-17T17:56:11Z","type":"item","id":"Q3087995","labels":{"en":{"language":"en","value":"Structural analysis of narratives with the Coq proof assistant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940060"}},"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":"Q3087995$14B840F9-4151-4046-89F7-BEDAF4D5595E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"346eceee2669bb47afa6d98aac2ea61d0b7d5079","datavalue":{"value":{"text":"Structural Analysis of Narratives with the Coq Proof Assistant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087995$C63C7BC0-27D4-433C-A2EF-D2118E17CE3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88e57cc36a3d342bc099f98150fbe3914ed48b41","datavalue":{"value":"1342.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087995$7A18E360-912B-41FA-B757-864C9F3DFBB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcb8c1390f13e678b791f0b801fe9e788e3dd61a","datavalue":{"value":"10.1007/978-3-642-22863-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087995$4C3EF4A9-F8E3-4176-894D-F13CECF8C47A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a72e3bad7c0e877b54f854ceafa213a4852ba3","datavalue":{"value":{"entity-type":"item","numeric-id":2999207,"id":"Q2999207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$5EA0D7BE-7D87-41D9-BB4E-66A507B0719E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfcdce602f947ea2b49893140570219e6c30f521","datavalue":{"value":{"entity-type":"item","numeric-id":483060,"id":"Q483060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$DF6545BF-174A-4260-8C91-F0BC7D7C1443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56edde208bf248962b68bd4f23acb521eb5af39","datavalue":{"value":{"entity-type":"item","numeric-id":2467564,"id":"Q2467564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$91A11646-E1E6-4BE1-941D-53FE2B6E1660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb0808c123495e362959a853df58cf7affa5ec5d","datavalue":{"value":{"entity-type":"item","numeric-id":2999208,"id":"Q2999208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$2C5BAFD5-4044-4E91-B19F-7046E1A5CECA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$D7DDF477-A71D-4B08-8BDE-88A157F8F9D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087995$34E4DA52-59FE-44C8-BEFA-74AB0802431A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94b40fc8a42dc140ddd3163366f87276b86187ab","datavalue":{"value":"https://research.tees.ac.uk/en/publications/813c661d-f423-4ed8-ad31-b53da2d22919","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087995$9E3896C8-BD29-4E81-BE39-97B268F51822","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087995$CBF5A9EF-9FBD-48CC-8FC4-08C7283B5A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087995$10E34B26-4954-4DF9-936C-255668DB7D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087995$7253BAEE-184B-403C-B997-801B1B49A2DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b2f1c0bcc22438412d24c6047cfa66585cc180f","datavalue":{"value":"5940060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087995$AD00BE3C-290C-4F7F-A404-99B49C35DF39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c652923ecca4fd3ded89e4b5b63c4a607ada120a","datavalue":{"value":"applications of theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087995$0CA7CEF5-A4AC-4F6E-8A51-2BF1AA0EF69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087995$51476B9C-352E-4E10-B0B3-FFBFF16ECCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d2b0112bd383eb8e29d5e498df2a3ee5c7a658","datavalue":{"value":"formal models of narratives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087995$3EE9463F-EBB4-49BC-9DB4-D72D42DE7523","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fe2b6e19fd6c96309a256191b5ca8b9482675acd","datavalue":{"value":"Q57516617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087995$856A1185-22C4-4CFB-84B6-406DA6CC151F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$C0FB2D83-EA90-4260-B4B9-FF8ABE359ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$6659626B-F475-4DEE-8BAC-B2540A032CCA","rank":"normal"},{"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":"Q3087995$BDFCB08D-D7B3-40DE-8DDB-D53220EEFA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"481dffd61eb894e10ccc10733ac19f0d30b8b01f","datavalue":{"value":{"entity-type":"item","numeric-id":33392,"id":"Q33392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$E75880EA-F99C-4767-978B-3E1AD61EF5EE","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":"Q3087995$7E642298-5DA1-46E6-BA61-DD6AA0C7BEE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9ad6f8a8a7d34b30cb8c9b3ccae9d467412cd8e","datavalue":{"value":"W4300749781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087995$36A87762-F5A4-497D-B99B-C2DEF1774E1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6318f3b6e287b831942248adf183b1cf5287c4","datavalue":{"value":{"entity-type":"item","numeric-id":2999209,"id":"Q2999209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$52100642-9671-4AA8-AF4A-149FF8BE70A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332cb923403194095e23a2ff2dab2b9505a88d38","datavalue":{"value":{"entity-type":"item","numeric-id":1016033,"id":"Q1016033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$95E8B656-EB8E-476F-AF96-C4EEC3293D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$8BAF9C70-9069-41DE-98A5-5BB2663BD552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$28FE506A-84EC-4D59-9EF0-2E76B08F98C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29296419733cec00d5e60f6515ecd8938a9dcfd4","datavalue":{"value":{"entity-type":"item","numeric-id":4352533,"id":"Q4352533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$B4FC8904-94CC-4A0D-88A9-027C5B332B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc96276b204882b9f1c05c0d6dc7b11a36979c1","datavalue":{"value":{"entity-type":"item","numeric-id":4842970,"id":"Q4842970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$DE9EF8CA-14AB-4D07-89DB-77BBA1F42F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7cd37dfe23c4785f349344453d3f8329f5595","datavalue":{"value":{"entity-type":"item","numeric-id":1802078,"id":"Q1802078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$BE8CFF19-F845-4FAE-AF99-1E513D9AF8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28aff50fe8c186ed6c74cedf85881e09d7ecec4","datavalue":{"value":{"entity-type":"item","numeric-id":1802077,"id":"Q1802077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$41A0C3B8-5029-4294-BE3F-66ED238599A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66a4c7dd843b9cde3eb2494c0b27cc06c0d8702","datavalue":{"value":{"entity-type":"item","numeric-id":4316293,"id":"Q4316293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087995$E8218AFF-5BF9-4959-AF45-4A1441E94B9E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fe3ebb61385b1a7bdcc55d166561722ea75c90e6","datavalue":{"value":"conf/itp/BosserCFC11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087995$1ECE1FBD-6BD9-4E8A-84C2-6A70DEF49131","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516e79b59ce2fcd3883199c07cd6b1feb4ee6acd","datavalue":{"value":{"entity-type":"item","numeric-id":2999209,"id":"Q2999209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d393fb3aa3b69dc813b3bd80ee6c23c542a26a","datavalue":{"value":{"amount":"+0.7201171517372131","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":"Q3087995$FC895B57-8CB0-4698-B336-A95A5AD47B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdaa9ffffb05aebd4060ab1df95877050d007278","datavalue":{"value":{"entity-type":"item","numeric-id":2963996,"id":"Q2963996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c20d9e0772fcfa7ae07c9074849e618e1a59e802","datavalue":{"value":{"amount":"+0.7016682624816895","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":"Q3087995$1CD5CFA3-F20F-49D3-9419-1FD97D193866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee983bc78083752546e2ba89d6235ad1b118428","datavalue":{"value":{"entity-type":"item","numeric-id":5428279,"id":"Q5428279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ee69b9b4d6f2cd060b53fd2259aa9fc548a8cb","datavalue":{"value":{"amount":"+0.6820405125617981","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":"Q3087995$F177BD47-4E12-4C14-8E69-B7AD64F5F940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cdcf48e2229f3526631ece2a3e1a80cc930fcc","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34be6c9deb9f171b2010740ee9b8ee361e43c52","datavalue":{"value":{"amount":"+0.6791490912437439","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":"Q3087995$E944B850-FED9-42A5-AEB3-44961BB8F125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55d40f9656f79cb943f1db96ffd80edd18eb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6d061aa956961e5913afaf3565fecfd7d35a6f","datavalue":{"value":{"amount":"+0.6781875491142273","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":"Q3087995$508111A3-C49C-4D4B-BC11-607EA096E6A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087995"}}}}}