{"entities":{"Q5875441":{"pageid":7904992,"ns":120,"title":"Item:Q5875441","lastrevid":39654641,"modified":"2024-12-30T16:43:27Z","type":"item","id":"Q5875441","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649978"}},"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":"Q5875441$4A3DBCFA-EA60-48B9-8EAF-8D8469DFC874","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$2AB84815-189D-4973-8D77-880FB1FF5FC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875441$FC0D5C30-D552-47C9-BEDD-A013E0A7AED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875441$3C2D30FB-6947-4AAF-B309-4EFA7684073A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c74906158c4e182f036c607841cd882709c438ae","datavalue":{"value":"7649978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875441$C0AFD290-1343-4995-94EF-58FD29FA4314","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875441$5978D14C-5A04-458D-BEE0-F1769DC9D914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09bc3e06e17a36cf6c2cee313f85f4ede69f0738","datavalue":{"value":"containers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875441$26922C3F-303D-499B-80CF-33F13C73C419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875441$5ADEE3DE-EA25-4DFC-999F-DE637CDB0629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a594203ff63d26f65fb9a5750028e8ab2ca736fe","datavalue":{"value":"equality test","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875441$4BA0045D-9A16-4420-8870-FCFBD6C20814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54a92fdc711d2e21adcf30f8633f9b9692f5c4b","datavalue":{"value":"parametricity translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875441$62895960-146B-4FE1-AD88-A26938B097F6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$7834BC8B-501A-4476-A62A-F2E6FB1E592C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$FD5C2CA9-5A78-450C-BFBF-BC47207D094C","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":"Q5875441$805E511E-9D3C-4784-933A-454E7CFEA4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$C0FC1312-1A8F-4831-9D02-E3C2E5BC1A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfc4b80b3c48044062741dc3f6116ad79929c84e","datavalue":{"value":{"entity-type":"item","numeric-id":40235,"id":"Q40235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$01AD9802-E1E6-4A2F-A989-210A8421B914","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":"Q5875441$EA65023C-9EC6-4B14-A84A-E9E28FC82F80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53981ee945d1daafa78321b5dd26edc0bcd5d3d","datavalue":{"value":{"entity-type":"item","numeric-id":923883,"id":"Q923883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$C1DA128A-B9C0-463A-89CF-F2514F85ABD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe1455cc5dda38390654a9baeba09eedb655d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5200015,"id":"Q5200015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$0C60B1FF-AA09-4ADE-833B-238813C512F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b77c50b47b4c19657d295ea46a35a19d800721","datavalue":{"value":{"entity-type":"item","numeric-id":5387897,"id":"Q5387897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$EA012DA7-B3C1-45A9-8F66-5B3221E933E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$E98E300B-C039-47E0-B372-FA5B5BDC00DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$650276A5-9948-43BB-A306-53EB92E9ED56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8458337cd3a4cd3d74d2907223943a8275b818","datavalue":{"value":{"entity-type":"item","numeric-id":4993350,"id":"Q4993350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$F2B7DFE0-1DC8-41AF-AE34-58F9DA04C9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d846b8bf5f70f8173a63633f62a284d17757aea","datavalue":{"value":{"entity-type":"item","numeric-id":4649560,"id":"Q4649560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$A5AF29F1-A2F1-430A-9695-1B41140AAB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398600f288655ed58072c0fe96a764c48f633a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5327334,"id":"Q5327334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$E40F82CB-0BEE-421E-B3BE-461D918055F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa8922a322eec9ac24d4cd96385bb93451cd7b0","datavalue":{"value":{"entity-type":"item","numeric-id":5897607,"id":"Q5897607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$9BAE3D6F-0C38-4908-92C4-D1E462C2DE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a4e2ac46cb6ad5ef3b3f7a6520d11cd08fe439","datavalue":{"value":{"entity-type":"item","numeric-id":2767057,"id":"Q2767057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$7E75004F-1847-4CA6-8380-6DFA9254BDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$ADBC454A-EB0E-44C4-8515-B9E5F6485D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$C7E97E8C-2BB4-428C-8D48-80F7D807B8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7181965704e473c064c7d95f9f7f0b397f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$5518D86E-AB08-446A-8A0E-A3B845D450EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa401b3f58fb4c2bc9ea2f71ee0d728db11587","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875441$F530F2D0-E237-4EF2-A167-EC51248064D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bad8523a3fae0cbe31362482149ce681be103534","datavalue":{"value":"10.4230/LIPICS.ITP.2019.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875441$7CC7A7E2-096B-44B2-A30D-2DBA5177591C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875441"}}}}}