{"entities":{"Q3073622":{"pageid":3084338,"ns":120,"title":"Item:Q3073622","lastrevid":51186458,"modified":"2026-01-17T03:30:24Z","type":"item","id":"Q3073622","labels":{"en":{"language":"en","value":"Partial derivative automata formalized in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850579"}},"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":"Q3073622$C3DF994B-0C50-42D3-9D73-1120204F407B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44d7283d73721e3554072e07a35773ab2f4f369c","datavalue":{"value":{"text":"Partial Derivative Automata Formalized in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3073622$E6B6C43E-F2DD-4B73-A64A-CDA7BEE27AE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65418aee51cebde4bc25d1e6fe87eefd1e9aa8dd","datavalue":{"value":"1297.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073622$B72E9534-13A9-4F38-BDE2-5F924F92690D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbf5cce8da02bbdefce7d4740bde6bad4ee51886","datavalue":{"value":"10.1007/978-3-642-18098-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073622$19BCD12D-F52D-40E6-9581-2B3799A14525","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5600a361c3bd384dab8b5caf52d841503a78cac","datavalue":{"value":{"entity-type":"item","numeric-id":498391,"id":"Q498391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$E39A0503-F215-4F34-B1E5-9BC3C38F266D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a76e7e11dd196b2ec388e08dcfb73b7f835c8f9","datavalue":{"value":{"entity-type":"item","numeric-id":967554,"id":"Q967554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$BE091CA5-6311-4968-B3DF-75131B59794B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc44cf567d5313a91ff3d79601fb3b8611d7ad4c","datavalue":{"value":{"entity-type":"item","numeric-id":861686,"id":"Q861686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$D6B19E47-2C0B-49B3-9BD5-28FD881CF8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc687281410ad150f448b1775c32d6b9ec61b01b","datavalue":{"value":{"entity-type":"item","numeric-id":1960260,"id":"Q1960260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$C4AC2878-805E-4ECD-98E3-F273F06D3C5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$604D384A-070F-4BE0-8327-AC6A7252EAA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68c84d94dc2b0d372224244b271c713d0aa2e67","datavalue":{"value":{"time":"+2011-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3073622$3F038D53-19B4-4BD1-A3DE-11F58D9EE597","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c8c5cd689ed7e3bd8febf3e4cee17f2604cf4bf","datavalue":{"value":"http://hdl.handle.net/1822/13097","type":"string"},"datatype":"url"},"type":"statement","id":"Q3073622$5AB0171D-9541-4F6E-9EF8-E58EAAE09F5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073622$252A5BE8-3FFD-4D2A-AD51-13E6FAF21206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073622$3AB992D8-2909-4758-9BDE-2CDE06F1C915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adea1c2b72cdf864419562397d1f784c4780df6d","datavalue":{"value":"5850579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073622$0884E8D4-71B0-4021-A9F5-7AF6C89FF7AE","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":"Q3073622$3659519E-93FF-452E-B99C-B2A51D762AB9","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":"Q3073622$C1C4B7B4-BEF7-42B0-BEAC-F2127237C5A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67dc2455df96412da985ab409ca5528d093889fd","datavalue":{"value":"W1638179998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073622$8CC7D11C-8AAD-4C57-BF41-AAD8B0F0E893","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac3e8dc4206192e976789864a140a7e1fb10df1","datavalue":{"value":{"entity-type":"item","numeric-id":673635,"id":"Q673635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$AA0AD1E1-6665-4F7C-8378-1E0DA3ECFE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187a843cba6d1464b232140bc22e7bd2f38409f9","datavalue":{"value":{"entity-type":"item","numeric-id":3395137,"id":"Q3395137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$528C43BF-DD5D-481B-987B-0A58F297E48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61a11302dd27b175d9ddc2097bbe77cfae7ef49","datavalue":{"value":{"entity-type":"item","numeric-id":2819377,"id":"Q2819377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$EDA92318-C8D0-4BB8-A34E-A7B81A1EF774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$BCDE8268-F4CC-4795-B253-AB4F4BD8CDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$7E588285-25E3-4649-AAC5-677BBF0F8FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3266eba5d9402cce0c1ff357a1346ab1558f7dad","datavalue":{"value":{"entity-type":"item","numeric-id":3584886,"id":"Q3584886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$F46F2908-7FD5-4A44-A5FB-8E8C185919D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$BE2A8D1A-FD4F-4EB9-8860-54050D3F4DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75bf341fa579432f9191bf21013949163173b88a","datavalue":{"value":{"entity-type":"item","numeric-id":2711324,"id":"Q2711324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$6246188B-0868-43C0-B2D3-09F0F91C6085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$89443093-7E1D-4189-82A1-B295855DC3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$8517113D-20B1-43D9-AA56-572160CA7FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c40bf792f48dba5fa959568e11244e0afca811d","datavalue":{"value":{"entity-type":"item","numeric-id":1602554,"id":"Q1602554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073622$AB6CBC60-119A-417D-91E0-3CAB95F8E064","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"038d284f7f513b61d7fcad54728bad5301d4393a","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7bd61dd8081a715e6aa57fccd659464e56d7f7","datavalue":{"value":{"amount":"+0.8141809105873108","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":"Q3073622$42552E49-02D8-4109-802C-FACA174924A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6349d66e021a1e6726afbeeee476c8cdbc49c62","datavalue":{"value":{"entity-type":"item","numeric-id":2915138,"id":"Q2915138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650c015b77b312c9ce4270a5ec27c413da4cc2b2","datavalue":{"value":{"amount":"+0.78531813621521","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":"Q3073622$648CFA38-DA11-4892-BD35-B9273C9A6331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89771217e4db2ee421236642d679d5d4ebc1d5c3","datavalue":{"value":{"entity-type":"item","numeric-id":4596644,"id":"Q4596644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445cad8ef373145dd17f9540fc356d2b95ae2dbe","datavalue":{"value":{"amount":"+0.7762147188186646","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":"Q3073622$50A00085-9094-4917-9008-9BA76051567F","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":"bb2f2e86e4092a00e9163df9d52312dd236cf15b","datavalue":{"value":{"amount":"+0.7756535410881042","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":"Q3073622$D6701DF1-FCF8-4FAF-A048-C534C4F3E658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9fa717f795626b9d9a2a393dcd6c5f8a2208ee","datavalue":{"value":{"entity-type":"item","numeric-id":2881083,"id":"Q2881083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297dcfe86edcb8dedd1e04ec082ea50a4b5f1700","datavalue":{"value":{"amount":"+0.771114706993103","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":"Q3073622$D8B7D1DB-9C8D-4858-9DFC-ED0541431BD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3073622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3073622"}}}}}