{"entities":{"Q4930738":{"pageid":6960320,"ns":120,"title":"Item:Q4930738","lastrevid":51095606,"modified":"2026-01-16T15:46:41Z","type":"item","id":"Q4930738","labels":{"en":{"language":"en","value":"Verifying a local generic solver in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794767"}},"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":"Q4930738$A2FAA562-C432-4266-99A2-6E64FDDCF59A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"825eee2aeb7338883ff953be8eb967325f2e078a","datavalue":{"value":{"text":"Verifying a Local Generic Solver in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930738$F877A9A7-32A2-4FA5-BAF1-6FD7BECDD407","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26b61d93471b8c6848e12dd77b87478afbd6e3e0","datavalue":{"value":"1306.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930738$87692D51-41D9-4421-9731-E0D3C6229EA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4975417b3a663dc03486771d4eedc1053fffe6af","datavalue":{"value":"10.1007/978-3-642-15769-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930738$1E757EF7-9222-4635-B8B0-570F113E4679","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930738$EC8B74C1-16B9-4A44-87A7-62B5DF48E77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930738$AF7806F8-EEDB-4882-BEF5-F305F8329B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfc7b1b7ab0184a05cf0cccf558a3e1b198b2a30","datavalue":{"value":{"entity-type":"item","numeric-id":2324193,"id":"Q2324193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930738$B44B0497-3993-4F9E-96DF-52B64ED5EF37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930738$272EB151-DE67-4870-8590-FB9C215598D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930738$D213995E-E51D-4D44-B916-F40780F67062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930738$531A00BA-8FBF-481A-9FBD-517445402C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930738$3C6E8433-B1D6-49AA-AA37-FBBC042D9879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930738$C939754C-848A-4812-A7D4-EB5083279072","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3db33b65b08e2817430d87613b4bc7e4dadc1725","datavalue":{"value":"5794767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930738$E2A3A565-5769-4F7F-B1C8-D0C3E22E125B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5574904c136aaf97f29ecb5dc2d363b9407b57b0","datavalue":{"value":{"entity-type":"item","numeric-id":21798,"id":"Q21798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930738$C6EA3947-0631-4CCD-A4BB-9DB949731054","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":"Q4930738$2AA37E82-1334-4EF7-B6B5-548F88AFC92D","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":"Q4930738$3A575606-D2C2-4D0F-AD2F-A57E3D1F0E59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79dce1c23425a4672d32020e087d7e024c00e12c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15769-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930738$0F3BF73C-0043-475D-8B5C-E7844185E7ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b4598c3ab7ba983e8d55f027e93624bd8bc08e9","datavalue":{"value":"W1561135709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930738$02D6C281-E31A-4023-8896-F6437EE5AA02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169a950f09238a837af1698b0abfa717b2cde9ff","datavalue":{"value":{"entity-type":"item","numeric-id":3192248,"id":"Q3192248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"344ce77e02499c6c66c998e5f8528bcc0525de6c","datavalue":{"value":{"amount":"+0.7205553650856018","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":"Q4930738$C3E4ABF3-7CE5-4ED4-9CB8-108022352943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0eb8f42634fd5463d7a6e54ac1e0786d4dbd72b","datavalue":{"value":{"entity-type":"item","numeric-id":5744123,"id":"Q5744123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa435a78a263415947f03d2d041e5c6ce76d5f09","datavalue":{"value":{"amount":"+0.7111354470252991","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":"Q4930738$6989B353-3C99-4C78-9643-3563014FAB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20cca9340feb7c823f0cd98d8b977656e13b879f","datavalue":{"value":{"entity-type":"item","numeric-id":5308711,"id":"Q5308711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3601b445b0c48e1b66a853a745c07ae6e64b27d2","datavalue":{"value":{"amount":"+0.7102617621421814","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":"Q4930738$9F2F2B12-F44B-4D68-91A7-04C6D746E019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bfb3293b1b2063e0a2de5380d914ac96eed29e9","datavalue":{"value":{"entity-type":"item","numeric-id":5415621,"id":"Q5415621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce281e3c4e29d1871283b1e9f63cc443ae7cf0f5","datavalue":{"value":{"amount":"+0.7011755704879761","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":"Q4930738$85352BF1-F134-4006-B4DE-D9FD6F13CD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feda1caeb49f457c696226d802fc53e5e8f5dd4c","datavalue":{"value":{"entity-type":"item","numeric-id":2566027,"id":"Q2566027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca350e002451c3cd39d3a903ea1b0f85542b8dd9","datavalue":{"value":{"amount":"+0.7004258036613464","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":"Q4930738$EEDBF2C4-726C-4C7D-9ECD-B81CAAE55A9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930738"}}}}}