{"entities":{"Q2829280":{"pageid":2840018,"ns":120,"title":"Item:Q2829280","lastrevid":44699304,"modified":"2025-11-25T05:25:26Z","type":"item","id":"Q2829280","labels":{"en":{"language":"en","value":"Cardinalities of Finite Relations in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644761"}},"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":"Q2829280$1FCF68C4-5845-4C29-A785-B648F5D88E9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c80b51cb12dc2dd666208a80b15261ad987b049c","datavalue":{"value":{"text":"Cardinalities of Finite Relations in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829280$59C6E005-9253-406A-8E90-903CDE0301AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d44374bbbc7f2dfa75f1b95643908af4d72fa86","datavalue":{"value":"1478.68436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829280$E924FDB8-8AB1-47DB-9EFE-168BB876E046","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08ced19e87a1266b3aa1f3edd07b3c18ada54ae8","datavalue":{"value":"10.1007/978-3-319-43144-4_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829280$CA359C77-590B-4A5F-B761-A607E50DBE82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fffcc49ccf08288968257b20f203206e3f67d8a","datavalue":{"value":{"entity-type":"item","numeric-id":299192,"id":"Q299192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$F0733BA6-DDC7-4C2F-9D55-DC617FB42AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$D66A2BCF-7FCF-4C22-B39D-696B72A1A100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e340cc0c1484f747cc53f9eda4f19c78a10991fc","datavalue":{"value":{"entity-type":"item","numeric-id":246440,"id":"Q246440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$C1670A41-78C6-4A5F-8C9E-A37AD5D2C943","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":"Q2829280$4CA019CC-61D2-4E5C-B792-C79321998894","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829280$B90985F8-43BF-4A3D-96AC-7692BFAFD6C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829280$032D5A5C-27F1-477E-AD1A-FCD96B3B458B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829280$FD19FA83-A605-4642-BE0D-F8BD5345F715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829280$4164DD86-97E6-4799-A6B5-6C62E288F2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829280$622DCDE1-A471-415C-8265-07657D31F6A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ce508fd31ac72d00ed0ed53cd9e4d16a25a6ff9","datavalue":{"value":"6644761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829280$402D229F-2250-45D0-9593-D2602D14339F","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":"Q2829280$DB095ED1-78F8-40EE-AE31-4688E0D22D2C","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":"Q2829280$CDBB8A52-88E6-42B4-848F-97D68D58E7A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f56d26bf9c36be8c40426a69cc657229fa3c818","datavalue":{"value":"https://doi.org/10.1007/978-3-319-43144-4_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829280$92EFEA6A-498A-4E28-A4D8-2D18A037A67A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc9fcd8f59e4ebaf4f90ba692c24a9b2cb6de75a","datavalue":{"value":"W2500632430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829280$099F4681-1D0D-4D9B-9FDC-5A1E63E1DB08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66a0889ac39cf406c35639cbf3bc8add8e2a39c","datavalue":{"value":{"entity-type":"item","numeric-id":3460631,"id":"Q3460631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$1F3907F3-B7BE-49B5-94EB-018524EBED79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ac5145b837c44fc104f5d99a02a8d42138c53a","datavalue":{"value":{"entity-type":"item","numeric-id":3460630,"id":"Q3460630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$C9F64742-13EC-4394-9B42-577239EB0ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284bca2eab6807888353e6047e0bdd0c97abea3b","datavalue":{"value":{"entity-type":"item","numeric-id":2829280,"id":"Q2829280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$4F945524-DF45-4F16-9335-4570D2D066B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$C015B410-4468-489D-B445-3C170C99D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd3ad63d4e6ab20a377a01d92d178d9cb68c64e","datavalue":{"value":{"entity-type":"item","numeric-id":5712431,"id":"Q5712431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$3BA3D98F-5D84-4DBB-B5A7-C99D94A5AB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf22f682016f944ff79f619b0dece60771cb1f03","datavalue":{"value":{"entity-type":"item","numeric-id":3007580,"id":"Q3007580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$EF31A605-D0F8-413D-AC06-CB44D41C76F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551681d017f4f47c8c95263caf4b8f4e168dd7da","datavalue":{"value":{"entity-type":"item","numeric-id":5459186,"id":"Q5459186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$1FBD06D5-2853-4EC2-AB30-11EDE4B435C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30913205e97beb5c571c720f15fb23e67f5add3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$3EBE7FD5-B9D9-421F-B6C7-82AC10D50967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39bd2ee292f1ef9bb837fcb02787034e66618cee","datavalue":{"value":{"entity-type":"item","numeric-id":1063597,"id":"Q1063597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$6F5AE92D-C889-42CD-AB8D-EFBE7D419575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$52208381-132E-4CDB-913F-EFBE6E1923DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc734969332adab85b3154962e23089626b98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$48F0FA1F-46AC-40D3-BCFD-40E25EAE9713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829280$F5ED7E55-7346-47B7-A6A7-28827BD224FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7f24183b68ebc695bbe96ffcc90df20eaf5698","datavalue":{"value":{"entity-type":"item","numeric-id":738869,"id":"Q738869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a295c5e13e0dd9b1ad153141d82ddf82433ebba0","datavalue":{"value":{"amount":"+0.8830386","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":"Q2829280$B08F7C76-C8BD-44E0-B347-2901397AF2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b15a1d579b81d6735bf6d889d2307d718e1444","datavalue":{"value":{"entity-type":"item","numeric-id":4237678,"id":"Q4237678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0d8dc3d0734afe4f27694671051a172e5ac2ad","datavalue":{"value":{"amount":"+0.8807961","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":"Q2829280$09692C41-A9F3-4779-86AA-700A899ACB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f032ba122d3fd5d9a26110254d3f3f988dabc893","datavalue":{"value":{"entity-type":"item","numeric-id":5459186,"id":"Q5459186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1cb333ef12366ee3c7f6a7f7fe7ef444462331","datavalue":{"value":{"amount":"+0.87981355","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":"Q2829280$8EAC72B0-6C4D-4B9D-B62F-9756853F4D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b801f147e0a1d83732abebcdbf2f01169d2e90e","datavalue":{"value":{"entity-type":"item","numeric-id":5283218,"id":"Q5283218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3268bc8b6e77d5286b707a192a8f08d59636c716","datavalue":{"value":{"amount":"+0.8755987","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":"Q2829280$76CBB402-4160-4646-82CD-B1643DCFDAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806bb45f968d17e3daaea21ec32f01cc1d94f9e1","datavalue":{"value":{"entity-type":"item","numeric-id":4277390,"id":"Q4277390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b112bab09b59fe1dbdb73724aca00552454b471","datavalue":{"value":{"amount":"+0.87432307","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":"Q2829280$373A4AE2-C29B-4AC9-841B-F273D312FC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71311bbc97b8cd094f48d826fda6ed059fd4f12f","datavalue":{"value":{"entity-type":"item","numeric-id":1772272,"id":"Q1772272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0844156ecacc8f32cfb6997011f2a33b3cf072","datavalue":{"value":{"amount":"+0.8634752","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":"Q2829280$92769C5C-7BFB-4CC0-B237-E72CA09953D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b65ba6b28218c919aa02953d2522ab9306c20b","datavalue":{"value":{"entity-type":"item","numeric-id":4202177,"id":"Q4202177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c59c858826ffbede1d2a8577932c7d04ee5448","datavalue":{"value":{"amount":"+0.8545963","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":"Q2829280$1F646CBE-B4BB-4C6D-9990-DFE8A74799B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf293c5c23c79b1813efb239c0a3d05e092d5072","datavalue":{"value":{"entity-type":"item","numeric-id":2510771,"id":"Q2510771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6507b83c9fd705443f207222300d6975032d114","datavalue":{"value":{"amount":"+0.8520506","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":"Q2829280$213415FF-6873-497D-9ECC-E4FA312D1068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d2cbe51cc44bf9eb56ff290373b1900b5947eb","datavalue":{"value":{"entity-type":"item","numeric-id":2759845,"id":"Q2759845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d551494a4b504202c90fb18896cc95b01c2258","datavalue":{"value":{"amount":"+0.84985757","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":"Q2829280$F2DD2D25-3EB3-464C-82E1-E8ED97F64430","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829280"}}}}}